サクサク読めて、アプリ限定の機能も多数!
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.
lEDfm4UE のブックマーク 2014/12/25 03:02
The Ur Programming Language Family[*あとで][software][development][programming][languages]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 03:02
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.impredicative.com2008/10/27
38 人がブックマーク・8 件のコメント
\ コメントが サクサク読める アプリです /
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.
このブックマークにはスターがありません。
最初のスターをつけてみよう!
The Ur Programming Language Family
38 人がブックマーク・8 件のコメント
\ コメントが サクサク読める アプリです /