次世代言語11[Rust Swift TypeScript Dart]at TECH次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト471:デフォルトの名無しさん 18/06/16 11:35:20.13 zhL2QVJX.net 逆に言うと、建設的なことをやらない理由は、やったら差別されるから 差別があるから非効率的になる 472:デフォルトの名無しさん 18/06/16 11:42:05.87 nddTsUkO.net ド型ﾜﾛﾋﾟｵ大草原パークwwwwwwwwwwwwwwwwwwwww 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 どうしてポンコツになったのか 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch