次世代言語18 Go Rust Elixir Kotlin TypeScript
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドの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 プログラミングが必要なくなればもっと良いです。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
272日前に更新/225 KB
担当:undef