型推論に関する最近の話題への雑感 by kmizu https://qiita.com/kmizu/items/2ace816340e8553bd278 #Qiita #型理論 #型推論 #型システム
型推論のこと少しだけわかった気になれた
Conversation
Notices
-
よっしー (blhsrwznrghfzpr@qiitadon.com)'s status on Thursday, 26-Jul-2018 10:57:13 JST 
よっしー
senooken JP Socialはsenookenの専用分散SNSです。
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.