マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは？ 複雑な型ってなんだろう？ 複雑な型システ…

整数を受け取って整数を返す関数のつもりで、私が以下の関数を書いたとします。 // 仕様：この関数は整数を受け取って整数を返す関数だよ！ let my_clever_function x = "hello!" 上のプログラムは当然コンパイルできますし、私は仕様どおり正しい実装を書け…