Configuring GNU Emacs for Standard ML

As mentioned on a previous post, I’ve been writing quite a bit of Standard ML on the past few weeks. This also involved setting up GNU Emacs for development.

The first thing you need is sml-mode, you can install and configure it with the following:

(use-package sml-mode
  :defer t
  :mode ("\\.\\(sml\\|sig\\)\\'" . sml-mode))

Now, the cool part is that Standard ML has a Language Server called Millet. You can use it with eglot, the builtin Language Server Protocol client for GNU Emacs.1

(use-package eglot
  :ensure t
  :hook ((sml-mode . eglot-ensure))
  :config
  (add-to-list 'eglot-server-programs '((sml-mode) "millet-ls")))

  1. Since GNU Emacs 29. ↩︎


Articles from blogs I follow around the net

Simpler encapsulation with immutability

A worked example. I've noticed that many software organizations struggle with encapsulation with 'bigger' problems. It may be understandable and easily applicable to define a NaturalNumber type or ensure that a minim…

via ploeh blog June 12, 2024

Update on our infrastructure plans

Now that Drew has provided an update on the general state of SourceHut, I would like to follow up with one focusing on our infrastructure. Much has happened under the hood, a lot has not happened, and plans come and go as reality changes its mind every now a…

via Blogs on Sourcehut June 12, 2024

OpenBSD extreme privacy setup

# Introduction This blog post explains how to configure an OpenBSD workstation with extreme privacy in mind. This is an attempt to turn OpenBSD into a Whonix or Tails alternative, although if you really need that level of privacy, use a system from this…

via Solene'% June 10, 2024

Generated by openring