InfoQ ホームページ dependendtypes に関するすべてのコンテンツ
ニュース
RSSフィード-
Racket 6.11で篩型(refinement type)と依存関数型(dependent function type)が安定機能に
Racket 6.11では、Typed Racketに篩(ふるい)型(refinement type)と依存関数型(dependent function type)が追加されている。
InfoQ ホームページ dependendtypes に関するすべてのコンテンツ
Racket 6.11では、Typed Racketに篩(ふるい)型(refinement type)と依存関数型(dependent function type)が追加されている。