InfoQ ホームページ dependendtypes に関するすべてのコンテンツ
ニュース
RSSフィード-
Racket 6.11で篩型(refinement type)と依存関数型(dependent function type)が安定機能に
Racket 6.11では、Typed Racketに篩(ふるい)型(refinement type)と依存関数型(dependent function type)が追加されている。
最新技術を追い求めるデベロッパのための情報コミュニティ
寄稿
AIオールスターズ2025
“AI活用”をキーワードに「AIを使い倒し／使いこなす」企業の最前線をお届けします。
QCon AI New York 2025
Go from AI demos to real engineering impact. Learn to embed LLMs, govern & scale securely.
SOLD OUT!
QCon London 2026
Learn what works in AI, architecture, data, security & FinTech.
Early Bird ends Dec 9.
QCon AI Boston
Learn how leading engineering teams run AI in production—reliably, securely, and at scale.
Launch pricing ends Dec 9.