GitHub - tarao/lambda-scala: Type level lambda calculus in Scala

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

github.com/tarao

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

コメント

0

記事へのコメント0件

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

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

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

GitHub - tarao/lambda-scala: Type level lambda calculus in Scala

Type level lambda calculus in Scala This repository demonstrates an implementation of lambda calc... Type level lambda calculus in Scala This repository demonstrates an implementation of lambda calculus in Scala types. Untyped lambda calculus import lambda._ case class Equals[A >: B <: B, B]() // this checks type equality type S = x ->: y ->: z ->: ( x @@ z @@ (y @@ z) ) type K = x ->: y ->: x type result = ( S @@ K @@ K @@ a ) # ->* Equals[result, a]

Scala

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

nabinno2015/05/06
yhara2015/05/06
nsyee2015/05/05

同じサイトの新着

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

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx