System F をHaskellとPythonで実装した - -

テクノロジーカテゴリーの変更を依頼記事元:

yu-i9.hatenablog.com

29 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

System F をHaskellとPythonで実装した - -

無事夏休みに突入して時間ができたので再びTaPLを読み始めました．半年触っていなくても進行，保存の証... 無事夏休みに突入して時間ができたので再びTaPLを読み始めました．半年触っていなくても進行，保存の証明が書けるあたり，春の自分はずいぶんしっかりと勉強していたようです．春は22章の型再構築まで読んでいたので，ひとまず23章のSystem Fから読んでサクッと実装しました．Pythonが書きたかったので，パーサーだけHaskellで書いてそれ以外をPythonで書くというよく分からない構成で実装していますが，いろいろと学びがあったのでそれを記していきます． System Fとは変数，抽象，適用からなる単純型付きラムダ計算に型抽象と型適用を加えて拡張した計算体型のことを指します．パラメータ化した型による計算ができることから多相ラムダ計算とも呼ばれます．この体型のみでは基本型が存在せず型の具体化が十分にできないので，Bool型の構文を追加してそれらしい操作ができるようにしています．単純型付きラ

ブックマークしたユーザー

rin512015/09/03
peketamin2015/09/03
clavier2015/08/12
uehaj2015/08/12
yukimori_7262015/08/12
gomi_ningen2015/08/11
komlow2015/08/11
soy-curd2015/08/11
tototot_o2015/08/11
milk772015/08/11
toshi_itoujp2015/08/11
Pocket7878_dev2015/08/11
lotz842015/08/11
emmeleia2015/08/11
flyingbird12015/08/11
no84102015/08/11
manabou2015/08/11
terazzo2015/08/11

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx