Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Similar to Nullable型
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (computer science)
ラムダ・キューブ
Lambda cube
リスコフの置換原則
Liskov substitution principle
prev
1
2
...
31
32
33
34
35
36
37
Categories
型理論
日本語版記事がリダイレクトの仮リンクを含む記事
翻訳直後
Share
Twitter
