108 lines
4.2 KiB
Org Mode
108 lines
4.2 KiB
Org Mode
#+title: Emacs OCaml Integration
|
||
#+author: Howard X. Abrams
|
||
#+date: 2022-08-24
|
||
#+tags: emacs ocaml
|
||
|
||
A literate programming file for integrating the [[https://ocaml.org/][OCaml programming language]].
|
||
#+begin_src emacs-lisp :exports none
|
||
;;; ha-programming-ocaml --- integrating OCaml -*- lexical-binding: t; -*-
|
||
;;
|
||
;; © 2022-2023 Howard X. Abrams
|
||
;; Licensed under a Creative Commons Attribution 4.0 International License.
|
||
;; See http://creativecommons.org/licenses/by/4.0/
|
||
;;
|
||
;; Author: Howard X. Abrams <http://gitlab.com/howardabrams>
|
||
;; Maintainer: Howard X. Abrams
|
||
;; Created: August 24, 2022
|
||
;;
|
||
;; While obvious, GNU Emacs does not include this file or project.
|
||
;;
|
||
;; *NB:* Do not edit this file. Instead, edit the original literate file at:
|
||
;; ~/other/hamacs/ha-programming-ocaml.org
|
||
;; And tangle the file to recreate this one.
|
||
;;
|
||
;;; Code:
|
||
#+end_src
|
||
|
||
* Introduction
|
||
After reading [[ https://batsov.com/articles/2022/08/19/learning-ocaml/][Batsov's OCaml overview essay]], I became intrigued with learning more about it. Like him, I’ll probably start learning OCaml using the following resources:
|
||
* [[https://ocaml.org/docs/up-and-running][Getting Started]]: At the primary ocaml website.
|
||
* [[https://dev.realworldocaml.org/][Real World OCaml]]: A free book about OCaml, that's considered one of the best starting points in the community.
|
||
* [[https://cs3110.github.io/textbook/cover.html][Cornell University's course on OCaml]]: It's taught at the university, but the textbook and the video lectures are freely available online.
|
||
* [[https://ocamlverse.github.io/][OCamlverse]]: An OCaml community wiki.
|
||
|
||
As these [[http://dev.realworldocaml.org/install.html][installation instructions state]], the primary binary to install is the /package manager/, like:
|
||
#+begin_src sh
|
||
brew install opam
|
||
#+end_src
|
||
|
||
Initialize the opam package database by running:
|
||
#+begin_src sh
|
||
opam init
|
||
#+end_src
|
||
|
||
The book suggests installing utop:
|
||
#+begin_src sh
|
||
opam install core core_bench utop
|
||
#+end_src
|
||
|
||
The book also mentions that opam comes with a user-setup package to install Emacs configs. You can install it as follows, along with some related packages:
|
||
#+begin_src sh
|
||
opam install user-setup tuareg ocamlformat merlin
|
||
opam user-setup install
|
||
#+end_src
|
||
But I won’t be doing that, as I can configure it.
|
||
* Basics
|
||
I kicked off this code by following with [[https://batsov.com/articles/2022/08/23/setting-up-emacs-for-ocaml-development/][these instructions]] from Batsov.
|
||
|
||
Use the [[https://github.com/ocaml/tuareg][tuareg package]] for OCaml programming:
|
||
#+begin_src emacs-lisp
|
||
(use-package tuareg
|
||
:mode (((rx ".ocamlinit" eos) . tuareg-mode)))
|
||
#+end_src
|
||
|
||
Use [[https://github.com/ocaml/dune/blob/main/editor-integration/emacs/dune.el][dune.el]] to edit Dune project files:
|
||
#+begin_src emacs-lisp
|
||
(use-package dune)
|
||
#+end_src
|
||
|
||
[[https://github.com/ocaml/merlin][Merlin]] provides advanced IDE features:
|
||
#+begin_src emacs-lisp
|
||
(use-package merlin
|
||
:config
|
||
(add-hook 'tuareg-mode-hook #'merlin-mode)
|
||
;; we're using flycheck instead
|
||
(setq merlin-error-after-save nil))
|
||
|
||
(use-package merlin-eldoc
|
||
:hook ((tuareg-mode) . merlin-eldoc-setup))
|
||
#+end_src
|
||
|
||
The flycheck package uses Merlin internally:
|
||
#+begin_src emacs-lisp
|
||
(use-package flycheck-ocaml
|
||
:config (flycheck-ocaml-setup))
|
||
#+end_src
|
||
|
||
If I get into [[https://opam.ocaml.org/blog/about-utop/][utop]], I can also setup some integration with it like this:
|
||
#+begin_src emacs-lisp
|
||
(use-package utop
|
||
:config
|
||
(add-hook 'tuareg-mode-hook #'utop-minor-mode))
|
||
#+end_src
|
||
* Technical Artifacts :noexport:
|
||
Let's =provide= a name so we can =require= this file:
|
||
#+begin_src emacs-lisp :exports none
|
||
(provide 'ha-programming-ocaml)
|
||
;;; ha-programming-ocaml.el ends here
|
||
#+end_src
|
||
|
||
#+description: integrating OCaml
|
||
#+property: header-args:sh :tangle no
|
||
#+property: header-args:emacs-lisp :tangle yes
|
||
#+property: header-args :results none :eval no-export :comments no mkdirp yes
|
||
|
||
#+options: num:nil toc:t todo:nil tasks:nil tags:nil date:nil
|
||
#+options: skip:nil author:nil email:nil creator:nil timestamp:nil
|
||
#+infojs_opt: view:nil toc:t ltoc:t mouse:underline buttons:0 path:http://orgmode.org/org-info.js
|