次世代言語11[Rust Swift TypeScript Dart]at TECH次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト473:デフォルトの名無しさん 18/06/16 11:43:12.41 nddTsUkO.net >>465 たかしに あんな惨めなポジで会社にしがみつくとか情けなさすぎて俺なら絶対できねえ 474:デフォルトの名無しさん 18/06/16 11:59:56.47 YcKtw1Mu.net >>462 静的に値チェックがカリーハワード同型対応の下で示せるのが依存型のうれしさなので動的型で簡単と言われてもそれは不完全性としか聞こえない 475:デフォルトの名無しさん 18/06/16 12:51:53.05 zhL2QVJX.net PythonもHaskell� 476:熨S部やれば完全になるのに 同型対応というなら少なくとも2つの具体例を比較する必要がある 1つでは足りない 477:デフォルトの名無しさん 18/06/16 12:55:37.34 gbp3I8hq.net どうしてポンコツになったのか 478:デフォルトの名無しさん 18/06/16 12:59:10.88 q1gUWLEE.net 人間はねぇ簡単に壊れるんだよ。 そして壊れたらまず戻せない 479:デフォルトの名無しさん 18/06/16 14:07:04.14 z7/sTfN7.net カリーハワード同型対応も知らないのに型を語るのかぁってなってる 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch