2017-10-31から1日間の記事一覧
C++勉強ネタです テンプレートを使って、関数型言語の型情報を生成してみます(やっつけなのでバグがあるかも) 値型はValue, λ抽象はArrowになっています。 とりあえずValueには設定された文字列を格納し、Arrowは単にリストを作ってるだけです。 型Tが関数型…
C++勉強ネタです テンプレートを使って、関数型言語の型情報を生成してみます(やっつけなのでバグがあるかも) 値型はValue, λ抽象はArrowになっています。 とりあえずValueには設定された文字列を格納し、Arrowは単にリストを作ってるだけです。 型Tが関数型…