環境構築

エディタ: GNU Emacs 29.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.38, cairo version 1.17.8)

OS

> uname -a
Linux hoge 6.6.1-arch1-1 #1 SMP PREEMPT_DYNAMIC Wed, 08 Nov 2023 16:05:38 +0000 x86_64 GNU/Linux

compose.yml

version: "3.8"

services:
  haskell:
    image: haskell:latest
    tty: true
    volumes:
      - ./src:/src
    working_dir: /src

latestでいいかはまだわからん。

ディレクトリ

> tree -a -I .git
.
├── compose.yml
├── .gitignore
└── src
    ├── sample
    ├── sample.hi
    ├── sample.hs
    └── sample.o

.gitignore

/src/*
!/src/*.hs

西島ボルバルザーク健吾

Emacsの初期起動に5分近くかかる設定

コピペ

haskell部分だけ抜粋。

PCスペックとかも関係あるかも。

(use-package haskell-mode
  :ensure t
  :init
  (progn
    (add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
    (add-hook 'haskell-mode-hook 'turn-on-haskell-indent)
    (add-hook 'haskell-mode-hook 'interactive-haskell-mode)
    (setq haskell-process-args-cabal-new-repl
	  '("--ghc-options=-ferror-spans -fshow-loaded-modules"))
    (setq haskell-process-type 'cabal-new-repl)
    (setq haskell-stylish-on-save 't)
    (setq haskell-tags-on-save 't)
    )
  )


(use-package flycheck-haskell
  :ensure t
  :config
  (add-hook 'flycheck-mode-hook #'flycheck-haskell-setup)
  (eval-after-load 'haskell-mode-hook 'flycheck-mode)
  )


;; (use-package flymake-hlint
;;   :ensure t
;;   :config
;;   (add-hook 'haskell-mode-hook 'flymake-hlint-load))

(use-package lsp-haskell
  :ensure t
  :config
  (add-hook 'haskell-mode-hook #'lsp)
  )

西島ボルバルザーク健吾

しばらくファイルが開かずにEmacsが固まってしまってもC-gで逃げる前に5分くらいは一度待ったほうがいいかもしれない。

西島ボルバルザーク健吾

...
cabal install hlint  1681.94s user 94.33s system 210% cpu 14:05.17 total

低スペックPCは辛い

西島ボルバルザーク健吾

replで複数行入力する

https://tnomura9.exblog.jp/23586727/

ghciの複数行入力時には:{:}でくくる

ghci> :{
euc :: Int -> Int -> Int
euc 0 b = b
euc a 0 = a
euc a b
    | a == 0 = b
    | b == 0 = a
    | otherwise = if a > b then euc b (a - b) else euc a (b - a)
ghci> :}

西島ボルバルザーク健吾

関数合成

Clojureでいうところの->が近いか？

> map (\x -> negate (abs x)) [5, -3, -6, 7, -3, 2, -19, 24]
[-5,-3,-6,-7,-3,-2,-19,-24]
> map (negate . abs) [5, -3, -6, 7, -3, 2, -19, 24]
[-5,-3,-6,-7,-3,-2,-19,-24]