SML#に欲しい機能

[2222-42]

why

DXとしてきついものがあるから

[2222-42]

静的解析機能:

• smiとsmlとで一致しているか
• 型不一致が起きていないか

    datatype ('key, 'value) dict
        = EmptyDict
    | Node of ('key * 'value)
    * ('key, 'value) dict
    * ('key, 'value) dict;

が正しいとして

    datatype ('key, 'value) dict
        = EmptyDict
    | Node of ('key * 'value)
    * ('key * 'value) dict
    * ('key * 'value) dict;

を間違えている、dictの型を間違えている、と指摘してくれると嬉しい。

[2222-42]

充実したsnippetsやライブチェックが欲しい

[2222-42]

テストコードを書いたことがないが、テストコードが書きづらい。

build-inなtest 関数は用意されていなさそう。

[2222-42]

結構ライブラリはありそう

テストについて: https://github.com/smlsharp/SMLUnit

Formatterについて: https://github.com/smlsharp/SMLFormat

[2222-42]

emacsでflychecker-smlsharp使うと、smlとsmiとの方の不一致を検出するようだ

[2222-42]

DB連携に関しては、テーブル名やカラム名の間違えが頻発するので、そのチェックができるようになること

cf https://github.com/2222-42/studyingSMLSharp/issues/11#issuecomment-846322687

あとは、テーブル名とかの入力をどこかで吸収できるような形になっていることが期待される。