次世代言語Part8[Haskell Rust Kotlin TypeScript]at TECH
次世代言語Part8[Haskell Rust Kotlin TypeScript] - 暇つぶし2ch422:デフォルトの名無しさん
17/12/19 04:16:57.53 6mJgSo5a.net
>>406
幽霊型や依存型って動的型付けなら普通にコードでやっていることを
静的な型で表現しようとしてがんばってる例のあれのこと?


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch