[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
907(3): 2021/09/26(日)07:18 ID:m/60KM4j(1/2) AAS
Stack Overflow に面白い質問が投稿されていた。
要約すると return 1 getLine という式の型は Num t => t で、その値は 1 らしいんだが何で？ というもの。
質問者は勘違いして、何で return と getLine が互いに打ち消し合うのかと訊いていたが。
外部ﾘﾝｸ:stackoverflow.com
なかなか興味深い。
考えてみると haskell の理解がいっそう深まる。
913: 2021/09/29(水)15:57 ID:lU7q1h04(1) AAS
>>907
そこで関数モナドが出てくるのは知らないと思い至らないなあ
勉強になった
914: 2021/09/30(木)07:09 ID:N1l0weLI(1) AAS
>>907
セミコロンを書かない言語ではすべからく改行直後に
(getLine)と書くとどうなるか問題が出てくる
919(1): 2021/10/05(火)23:20 ID:75xrYyRf(1) AAS
>>907
型注釈してないのに、インスタンスとして関数モナドが選択されるのはどうしてですか？
getLineが影響していますか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s