Write You A Scheme, Version 2

構成は、こんな風にした。

[sakae@fb /tmp/cs]$ tree .
.
├── CHANGELOG.md
├── LICENSE
├── app
│   ├── Cli.hs
│   ├── Eval.hs
│   ├── LispVal.hs
│   ├── Main.hs
│   ├── Parser.hs
│   ├── Prim.hs
│   └── Repl.hs
├── cs.cabal
└── lib
    └── stdlib.scm

appの中へhaskellファイルを全部ぶちこみ、schemeファイルは、一応分離。 cabal用のMakefileは必須。ライセンスとログファイルは形だけでも用意して おかないと、インストール時に文句を言われる。

実は、これが肝になる。こんな風になった。

cabal-version:      3.0
name:               cs
version:            0.1.0.0
synopsis:           scheme
license:            MIT
license-file:       LICENSE
build-type:         Simple
extra-doc-files:    CHANGELOG.md
common warnings
    ghc-options: -Wall
    default-extensions:
      OverloadedStrings
      StrictData

executable cs
    import:           warnings
    main-is:          Main.hs
    other-modules:    Cli, Eval, LispVal, Parser, Prim, Repl
    build-depends:    base ^>=4.16.4.0
                    , text
                    , containers
                    , mtl
                    , optparse-applicative
                    , parsec
                    , directory
                    , HTTP
                    , haskeline
    hs-source-dirs:   app
    default-language: Haskell2010

build-dependsの中でHTTPなんて、全く関係なさそうな物が入っている。どう やら、parsecが必要としてるっぽい。

それより苦労したのは、OverloadedStringsの指定。これがないと、 LispVal.hsの中で使用してる、import qualified Data.Text as T で、型が合 わないエラーが頻発。こんなGHCの都合なんて、知らんわ。 何故こんな、トンデモ・オプションに目が行ったかというと、すごいH本の付 録に解説がでてたから。

haskellの標準はStringなんだけど、これは1文字に4バイトを要求する効率の 悪い格納方法を取っている。そのかわり素直なんだけどね。で、これに変る効 率のよいのが、Textパッケージ。実用の世界ですなあ。なんでも理想的に行く 訳はない。で、理想と現実を埋める方策がGHCに用意されたんだ。

{-# LANGUAGE OVerlodingStrings #-}

ってのをファイルの冒頭に追加するのがいいんだけど、面倒なので一括有効に するって訳だ。こういう事にも出喰わすんで、いろいろやってみるものだ。

[sakae@fb /tmp/cs]$ cabal run -- cs -r
[1 of 7] Compiling LispVal          ( app/LispVal.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/LispVal.o )
[2 of 7] Compiling Parser           ( app/Parser.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/Parser.o )
[3 of 7] Compiling Prim             ( app/Prim.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/Prim.o )
[4 of 7] Compiling Eval             ( app/Eval.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/Eval.o )
[5 of 7] Compiling Repl             ( app/Repl.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/Repl.o )
[6 of 7] Compiling Cli              ( app/Cli.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/Cli.o )
[7 of 7] Compiling Main             ( app/Main.hs, /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs-tmp/Main.o )
Linking /tmp/cs/dist-newstyle/build/i386-freebsd/ghc-9.2.7/cs-0.1.0.0/x/cs/build/cs/cs ...
Repl> (cons 1 2)
(1 2)

一度buildしてあれば、こういう起動方法でもいいとな。installしないで、し た積りで実行する方法だな。

sakae@deb:/tmp/cs$ cabal exec -- cs -r
Repl> (cdr '(a b c))
(b c)
Repl> (cddr '(a b c))
Error Unbound Variable: b
Repl> (cddr '(a + c))
Error Unbound Variable: c
Repl> (cddr '(a + *))
Error Type Mismatch: numeric op (internal function)

面白いbug発見。gauche先生、正解を頼むわ。

gosh$ (cddr '(a b c))
(c)

前回xmonadの所でやった、ghciのコマンドである、:etagsの実行ができた。

[sakae@fb /tmp/cs]$ wc TAGS
      61      95    1462 TAGS

試運転で、main = Cli.cliIface の、Cli.cliface のCに照準を合わせると

cliIface :: IO ()
cliIface = execParser opts >>= schemeEntryPoint
  where
    opts = info (helper <*> parseLineOpts)
      ( fullDesc
     <> header "Executable binary for Write You A Scheme v2.0"
     <> progDesc "contains an entry point for both running scripts and repl" )

の、型宣言に飛んできた。どうやら、動いてるっぽい。 と糠喜びであった。この先は知らないと言う。

出来たTAGを眺めて気付いたぞ。

/tmp/cs/app/Main.hs,15
main^?main^A5,33
^L
app/Cli.hs,26
cliIface^?cliIface^A57,1577
^L
app/Eval.hs,289
basicEnv^?basicEnv^A50,1259
safeExec^?safeExec^A62,1675
runASTinEnv^?runASTinEnv^A72,2014
evalFile^?evalFile^A79,2243
fileToEvalForm^?fileToEvalForm^A82,2389
runParseTest^?runParseTest^A85,2540
getFileContents^?getFileContents^A102,3030
textToEvalForm^?textToEvalForm^A107,3208
evalText^?evalText^A110,3335
 :

モジュールで公開してる関数、data,newtype,instanceがTAGSに掲載されて るんだ。未公開情報は、見ちゃダメよってのを忠実に守っている。

GHC屋さんへのリクエスト -> なんでもTAGSしちゃうSWを付けて下さい。 それまでは、

[sakae@arch app]$ ctags -e *.hs
[sakae@arch app]$ wc TAGS
  222  1669 12717 TAGS

で、我慢しますから。Debianだと、どちらを試しても駄目だなあ。

sakae@deb:/tmp/cs/app$ ls -l /usr/bin/ctags-*
-rwxr-xr-x 1 root root  297316 Feb  9  2021 /usr/bin/ctags-exuberant*
-rwxr-xr-x 1 root root 1111720 Apr 24  2021 /usr/bin/ctags-universal*

ちゃんと動くArchLinux版の方。

Universal Ctags 6.0.0(p6.0.20221218.0), Copyright (C) 2015-2022 Universal Ctags Team
Universal Ctags is derived from Exuberant Ctags.
Exuberant Ctags 5.8, Copyright (C) 1996-2009 Darren Hiebert
  Compiled: Feb 24 2023, 18:05:01
  URL: https://ctags.io/

ctags –list-languages すると、色々と列挙されてるなあ。148種もある。

これでも飛んで行けない奴が多数。たとえば、

cliIface = execParser opts >>= schemeEntryPoint

execParserはダメ。でも、同一ファイル内に手掛かりが有るはず。探してみる と、

import Options.Applicative
    ( helper,
      execParser,
       :

よそのパッケージからってのが一発で判明。この場合ならhoogle様のお世話に なるべきだな。まあ、こんな具合に取り敢えずスイスイ・モードが可能になっ た。