型推論が完璧で変数の型を書くのが単なる作業でしかなかったとしても、その言語の型モデルの理解を促進するという点で有用なんだろうな。とはいえモデルを完璧に表現する表記法が常にあるわけでもないか。

altaraltar のブックマーク 2019/10/27 11:38

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

ウワサのBlawnを触ってみた - Qiita

    program = block block = lines lines = line | lines line line = line_content EOF | line_content END | definition | import import = "import" STRING_LITERAL EOL line_content = expression definition = ...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう