普段日常生活を営んでいると何となくコンパイラを作りたくなる事はありませんか?僕はあります。 演算子順位構文解析を用いることでStandard MLで行なわれているような演算子の順序の入れ替えを実現できるのではないかと思い、試しに実装してみました。
続きを読むLCF MLについて
この記事はML Advent Calendar 2014 24日目のために書かれました。
Standard MLをはじめとするML系言語の始祖として、よくLCF MLの名前が挙げられます。 ここでは、LCF MLの言語機能について解説しつつ後の言語に与えた影響について思いを馳せたいと思います。
続きを読むSMLでソート
この記事はML Advent Calendar 2014 8日目のために書かれました。
多くの言語においてソートは標準ライブラリで提供されていますが、Standard ML Basis Libraryにはソートを行う関数が存在しません。 処理系依存で良ければSML/NJのListMergeSort.sortの様に用意されている場合もある様ですが、 ここでは別の方法を考えたいと思います。
続きを読むニュートン法とDKA法の実装
大学でニュートン法とDKA法で方程式の解を求める課題が出たので、今回は趣向を変えてStandard MLで実装しました。
続きを読む