[過去ﾛｸﾞ] 次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
529: 2018/07/31(火)19:00 ID:zoworXJJ(8/8) AAS
うっかりミスを訂正：
>>525
X：>（なぜなら n=1 または n=2 の直積は、一般的には形式的に定義できない為）
O：>（なぜなら n=1 または n=0 の直積は、一般的には形式的に定義できない為）
530: 2018/07/31(火)19:04 ID:zfxDeDFf(3/4) AAS
定義するのに集合と同じ定義では同じでは駄目というルールはないから間違っては無いｗｗｗ
ちなみにｎ=０の直積は１元集合として定義できるとWikipediaにかいてあるｗｗｗ
531: 2018/07/31(火)19:12 ID:x816LWzK(1) AAS
ウィキペに書いてあるとか言っちゃう人って・・・
532: 2018/07/31(火)19:36 ID:zfxDeDFf(4/4) AAS
正式な定義だと、直積の要素はペアの中にペアがある構造じゃないと駄目ｗｗｗ
A × B × C = { <x, y, z> | x <- A, y <- B, z <- C }
↑の定義があってるのは日本のWikipediaだっけでしたｗｗｗｗ
これを使うにはn-fold Cartesian productという直積を拡張した奴じゃないとだめでした残念ｗｗｗ
とくにｎ＝１の時はそのままA＝Aとちゃんとした本に書いてあるｗｗｗｗ
533: 2018/07/31(火)19:38 ID:xC1/ia91(1) AAS
今までの流れをまとめるとpythonはクソ。
TypeScriptが最強。という理解でよいでふか？
534: 2018/07/31(火)20:41 ID:CfkG900T(1/6) AAS
rustが最強
が正しい
535: 2018/07/31(火)21:51 ID:vpErkqT1(1/2) AAS
メソッドチェーンでもリスト内包でも異常なまでのテンポラリ変数嫌悪を感じるのだが、
無理にそんな書き方するくらいならテンポラリ変数使えや。
536: 2018/07/31(火)22:05 ID:CfkG900T(2/6) AAS
メソッドチェーンは無理なく書けるでしょ
変数はバグの餌だから忌諱するのは当然
537: 2018/07/31(火)22:09 ID:4i5flEMB(1) AAS
変数があって嬉しいのはデバッガでステップイン実行するときだけだな
そろそろステップの概念を卒業した新発想のデバッガが必要な時期にきてると思う
538: 2018/07/31(火)22:10 ID:/w6/tE8P(1) AAS
一時的な内部処理でまでステートを毛嫌いする純粋病の関数型信者と似ている
539(1): 2018/07/31(火)22:14 ID:hpcufxDD(1/2) AAS
お前らみたいなドカタなら兎も角、数学者がn=0やn=1に自然に拡張できる定義をn>=2に限定するわけないじゃん
ドカタここに極まれりだな
540(1): 2018/07/31(火)22:17 ID:10MH4XIN(1/3) AAS
メソッドチェーンってワンライナーと同類だろ
541(2): 2018/07/31(火)22:23 ID:CfkG900T(3/6) AAS
プログラマならバグの素を毛嫌いするのは当たり前じゃん
あくまでリーダビリティを損ねない範疇でだけども
542(1): 2018/07/31(火)22:24 ID:omk/SwPI(1/3) AAS
>>540
途中でクラスが変わるようなメソッド呼び出しを10個も20個もチェインするヤツは知らんが
コレクションに対する操作を数個チェインするぐらいは別に普通じゃね
543(1): 2018/07/31(火)22:27 ID:10MH4XIN(2/3) AAS
>>539
ちゃうやろおっさん
型理論的にはn>=2に拡張するために持ち出すのがpair
なのでn=0,1にpairを持ち出す必要がない
別の言い方をすると型理論的にはAと<A>は同じ
そこを区別するのがアドホックにpairを導入した言語ということ
組み込みの土方より
544(1): 2018/07/31(火)22:35 ID:omk/SwPI(2/3) AAS
>>541
たとえばコレクションのフィルター関数を実装するようなときに
一時的にミュータブルなコレクション作ってループ回して最後にイミュータブルにして返せばいいようなものを
最初の要素が条件満たさなかったらそれを落とした新しい不変コレクション作って返す関数の再帰で書くようなゴミが純粋病
545(1): 2018/07/31(火)22:37 ID:vpErkqT1(2/2) AAS
>>541
バグの元の一番大きなものは可読性のなさだぞ。
測りにくいものを一切無視するのがこの手の輩のダメなとこだな。
546: 2018/07/31(火)22:39 ID:CfkG900T(4/6) AAS
>>544
なにそれこわい
それってなんというテクニックなの？
547: 2018/07/31(火)22:39 ID:CfkG900T(5/6) AAS
>>545
だから可読性を損ねてはならないって書いてるじゃん
俺のレスは可読性低かったか？
548(1): 2018/07/31(火)22:43 ID:10MH4XIN(3/3) AAS
>>542
コレクションの操作ってのが具体的にどういうのかしらんけど
(おもちゃのような例は勘弁)
初見のコードだと返り値が何なのか副作用のありなしもよくわかんないのが嫌い
組み込み屋なんでそういうのに神経質なんですわ
549: 2018/07/31(火)22:46 ID:hpcufxDD(2/2) AAS
>>543
お前みたいなドカタには同じに見えるんだろうけど
違うものだよ
550(1): 2018/07/31(火)22:58 ID:omk/SwPI(3/3) AAS
>>548
おもちゃのような例とやらがなんだか知らんが
「配列にフィルタかけてマップしてソート」みたいなのはメソッドチェインで書くのが普通だし
プロダクトコードで頻出するし
言語組み込みとか標準ライブラリの範囲なので仕様知らないのは知らないほうが悪いで終了
551: 2018/07/31(火)23:33 ID:CfkG900T(6/6) AAS
組み込み屋だからコードが読めないって言い分が通用するのか
552(1): 2018/08/01(水)03:26 ID:KaW6n03Q(1/2) AAS
b=a.filter(hoge).sort(piyo)はaが変化しないけど
b=a.sort(piyo).filter(hoge)はaが変化するJavaScriptとかもあるし
気持ちがわからんでもない
553: 2018/08/01(水)04:53 ID:52qTUS9q(1) AAS
メソチェ嫌い
554(1): 2018/08/01(水)05:46 ID:Lge0gQj8(1) AAS
c=a
b=a.sort(piyo).filter(hoge)
a=c
555: 2018/08/01(水)06:24 ID:KofKD7jP(1/2) AAS
jsのsortはソート結果を戻り値でも返すからよくないんだよね
rustは関数が破壊的な操作をするか一目で分かってよいんだよね
556: 2018/08/01(水)07:33 ID:4GZUmxRn(1) AAS
関数の副作用や純粋性が気になるなら
関数型の言語さわるのも良いぞ
F#は宗教論争に発展せず
現場でも実用十分的
557: 2018/08/01(水)08:04 ID:mJtUlzgh(1) AAS
>>552
マジかー。副作用あるかないかわかるようにしてほしいわ
558: 2018/08/01(水)08:39 ID:hzuJqRKu(1/2) AAS
JavaScriptはうんこだから仕方ない
上下前次1-新書関写板覧索設栞歴
あと 444 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.033s