下載 Linnk AI
•
AI 研究助理
>
登入
洞見
-
セット論的型システム
プログラミングにおける和型、積型、否定型の活用
セット論的型システムを使うことで、パターンマッチング、オカレンス型推論、関数オーバーロードなどの一般的なプログラミング機能を正確に型付けできる。
1