次世代言語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