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を使い倒し／使いこなす」企業の最前線をお届けします。
InfoQ Architect Certification
Join Luca Mezzalira for this 5-week online cohort. Master socio-technical architecture leadership.
Save your spot.
QCon London 2026
Learn what works in AI, architecture, data, security & FinTech.
Early Bird ends Feb 10.
QCon AI Boston
Learn how leading engineering teams run AI in production—reliably, securely, and at scale.
Early Bird ends Feb 10.