型システム

書いてみる

関連タグ

#型理論 (6)
#プログラミング (195,422)
#ComputerScience (32)
#ProgrammingLanguage (2)
#QuantumProgramming (2)
#TOPOS (66)

型理論はフェルミ推定や論理的思考より仕事に役立つからみんな学ぼう

kasatate
2か月前

型の自己増殖

Atori Tsubasa
2か月前

圏論と型システムとサイバネティクス　〜圏論とサイバネティクス①〜

kasatate
7か月前

TOPOS-Ξ：位相幾何学的構造と量子計算を統合したプログラミング言語の設計

キャプテン・バーレナン😆🌈🎶したらばと野沢菜で構築された人型好酒猿
2か月前