The Ur Programming Language Family

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

www.impredicative.com

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

コメント

8

記事へのコメント8件

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

windish 関数型言語らしいが

programming

2015/12/10 リンク

yuroyoro [Ur/Web][Haskell]

2015/01/05 リンク

new3 Ur/Web か…時間あるとき少し見てみる

programming

2015/01/05 リンク

lEDfm4UE Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.

2014/12/25 リンク

niku_uchi "Ur is a programming language in the tradition of ML and Haskell"

Web
language

2014/12/24 リンク

perezvon Ur is a programming language in the tradition of ML and Haskell

Ur
haskell

2014/03/12 リンク

igrep "Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types."

ML

2013/11/16 リンク

Gemma 純粋関数型　静的型付け　依存型　Web

2010/04/19 リンク

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

The Ur Programming Language Family

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

masterq2017/02/16
Bel2016/07/16
windish2015/12/10
lotz842015/09/07
tokb2015/05/06
i000i02015/01/11
skit_n2015/01/05
yuroyoro2015/01/05
new32015/01/05
inurota2015/01/05
onigra2015/01/04
peketamin2014/12/25
sol332014/12/25
wizluck2014/12/25
lEDfm4UE2014/12/25
niku_uchi2014/12/24
uemurax2014/12/01
laiso2014/10/09

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx