InfoQ ホームページ dependendtypes に関するすべてのコンテンツ
ニュース
RSSフィード-
Racket 6.11で篩型(refinement type)と依存関数型(dependent function type)が安定機能に
Racket 6.11では、Typed Racketに篩(ふるい)型(refinement type)と依存関数型(dependent function type)が追加されている。
最新技術を追い求めるデベロッパのための情報コミュニティ
寄稿
QCon San Francisco
Level up your software skills by uncovering the emerging trends you should focus on. Register now.
QCon London
Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.
InfoQ Dev Summit Boston
Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.
The Software Architects' Newsletter
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.