このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

Moflのキーワード

  • Minimum and Optimistic Functional Language

はやめて、

  • Multi-Objective Fragile Languate

にするか。手続き的機能 while, for, 破壊的代入 とかも入れたいから。fragileの解釈は「イイカゲンでチャンとしてない」。

  1. if -- if式
  2. then
  3. else
  4. end
  5. find -- find式
  6. in
  7. by
  8. st
  9. function -- 関数定義
  10. recfunction
  11. predicate
  12. recpredicate
  13. type -- 型定義
  14. rectype
  15. let -- 補助構文
  16. its
  17. where
  18. case
  19. of
  20. matches -- パターンマッチ

便宜上の約束

  1. predicateのときは、:= の代わりに :⇔ を使ってもよい。
  2. function, recfunction, predicate, recpredicate, type, rectypeの前に、強調の意味で、def, Defを付けてもよい。
  3. endを付け忘れても大目に見る。

*1