次世代言語18 Go Rust Elixir Kotlin TypeScriptat TECH次世代言語18 Go Rust Elixir Kotlin TypeScript - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1023:デフォルトの名無しさん 20/04/05 02:30:40.57 k4Q+DqWZ.net 型がいらない/めんどくさいと主張する層は、 大方自分の意図をメソッドのボディによって表現することしか知らないのだろう HaskellやらOCamlやらある程度の型システムの強度を持っている言語の経験があるプログラマは、 自分の意図の大部分を型で表現することに慣れているから、型がいらないとか正気か？となる 1024:デフォルトの名無しさん 20/04/05 02:48:33 bKlpD2Cq.net 型が無いのはとても良いことです。 1025:デフォルトの名無しさん 20/04/05 02:49:08 c8uove51.net 関数型で型が重用されるのは、高階関数によって型が至るところでアドホックに生み出されるため、 型がないとプログラムを正しく組むことが事実上不可能だからだよ 関数型では型は主にプログラムの形式的な正しさを守るためのテクニカルなツールとして用いられていて、 むしろドメインモデルを型で記述するみたいなのは意外にも関数型では重視されなかったりする 1026:デフォルトの名無しさん 20/04/05 02:49:14 bKlpD2Cq.net プログラミングが必要なくなればもっと良いです。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch