Idris: A Language for Type-Driven Development

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

www.idris-lang.org

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

コメント

4

記事へのコメント4件

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

yohshiy 依存型の純粋関数型言語。ほぼ Haskell に近いけど、依存型が特徴かな。

プログラミング言語

2014/04/14 リンク

Nyoho A Dependently Typed Functional Programming Language

2013/12/21 リンク

nitro_idiot HaskellとMLに影響受けた言語

2013/09/05 リンク

xrekkusu idrisってなんだー？ - Idris - :

2013/09/01 リンク

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

Idris: A Language for Type-Driven Development

Idris: A Language for Type-Driven Development Idris is a programming language designed to encoura... Idris: A Language for Type-Driven Development Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give

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

yudukikun51202022/08/26
kurocraft75222021/04/09
petite_blue2021/01/10
sanagif2020/06/18
hxmasaki2018/12/29
Qurage2018/03/28
ishiy19932017/03/31
tetryl2017/03/16
miyakawa_taku2017/01/20
itchyny2016/08/20
takuma5102016/03/21
k0yoshitsugu2015/12/29
kdmsnr2015/12/13
yujiorama2015/09/25
tokb2015/09/24
s10611232015/08/08
nabinno2015/07/13
KatagiriSo2015/06/07

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx