関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
249: デフォルトの名無しさん [sage] 2023/09/22(金) 13:06:36.18 ID:8SLDLfd5 https://jutememo.blogspot.com/2008/06/haskell-join-listdata-intersperse.html http://mevius.5ch.net/test/read.cgi/tech/1639713446/249
250: デフォルトの名無しさん [sage] 2023/09/22(金) 14:01:02.50 ID:NjV4q9P3 putStrLn $ intercalate " " $ map show l これでいけました http://mevius.5ch.net/test/read.cgi/tech/1639713446/250
251: デフォルトの名無しさん [sage] 2023/09/22(金) 14:01:12.58 ID:W8j4O+ex 泥臭いだけで罪があるかのように日常的に刷りこまれてるから 本当の有罪確定したやつは絶対許してもらえないよな そりゃそうだよな http://mevius.5ch.net/test/read.cgi/tech/1639713446/251
252: デフォルトの名無しさん [sage] 2023/09/27(水) 15:30:51.70 ID:9Ywamwi5 {-# LANGUAGE BinaryLiterals #-} この拡張をいれても let t = read "0x111" :: Int -- 16進数にパースできる 273 let s = read "0b111" :: Int -- 2進数にはパースできない 微妙に不便だ http://mevius.5ch.net/test/read.cgi/tech/1639713446/252
253: デフォルトの名無しさん [sage] 2023/09/27(水) 17:59:16.99 ID:k7PwLxD8 readが定義されたモジュールは別のLANGUAGEってこと？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/253
254: デフォルトの名無しさん [sage] 2023/10/11(水) 15:16:15.28 ID:1pnnvG+R groupBy (\a b -> snd a == snd b) これを括弧を使わずにかけますか groupBy ((==)<$>snd<*>snd)だと(a,b)->Boolとなって(a,b)->(c,d)->Boolとは型があいませんでした http://mevius.5ch.net/test/read.cgi/tech/1639713446/254
255: デフォルトの名無しさん [sage] 2023/10/11(水) 17:39:54.48 ID:Fikp0OWy >>254 import Data.Function groupBy ((==) `on` snd) 結局かっこは使うのだけど、これがあなたの求めるものでしょうか http://mevius.5ch.net/test/read.cgi/tech/1639713446/255
256: デフォルトの名無しさん [sage] 2023/10/11(水) 22:05:36.63 ID:1pnnvG+R 括弧を使わずにじゃなくてラムダを使わずにでした まさに欲しかったのそれです ありがとうございました!! http://mevius.5ch.net/test/read.cgi/tech/1639713446/256
257: デフォルトの名無しさん [sage] 2023/10/18(水) 05:38:40.90 ID:vCrdR6l9 QuickCheckを勉強しているんですが Runtime Errorを検出したくて次のように書きました anの要素は2以上n以下で複数回出現します testcaseがほとんどdiscardされるのですがリストをchoose (2,n)とかで生成するには どうしたら良いのでしょうか verboseCheckを指定してみるとskippedだらけなのですが スキップしたやつは表示しないで欲しい prop :: Positive Int -> [Int] -> Property prop (Positive n) an = all (>=2) an && length an == n ==> monadicIO $ do a' <- run (solve n an) assert True http://mevius.5ch.net/test/read.cgi/tech/1639713446/257
258: デフォルトの名無しさん [sage] 2023/11/16(木) 18:41:54.01 ID:wXoixzgD 岡部健、復活したよ！ エックス内を “Ken140291“ で探してみて下さい。 最近登録したばかりの様です。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/258
259: デフォルトの名無しさん [sage] 2023/11/18(土) 16:03:54.22 ID:sLhTkQlu 自分で書き込んでいるのでは・・・。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/259
260: デフォルトの名無しさん [sage] 2023/11/19(日) 15:31:44.23 ID:/inwpH7b >>248 init $ folfl (\a x -> a++[show x]++“ “) ““ [3,10,1] でOK http://mevius.5ch.net/test/read.cgi/tech/1639713446/260
261: デフォルトの名無しさん [sage] 2023/11/20(月) 09:46:08.35 ID:sZ0M6Dsh >260 打ち間違えた! lnlt$foldl(\a x->a ++show x++" ")[][1,10,3] が正解。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/261
262: デフォルトの名無しさん [sage] 2023/11/20(月) 14:32:44.66 ID:4MiKC4cJ >>258 ぎゃははははははは http://mevius.5ch.net/test/read.cgi/tech/1639713446/262
263: デフォルトの名無しさん [sage] 2023/11/20(月) 21:45:30.49 ID:Jf1v4QK8 https://github.com/ken-okabe/functional-programming-from-scratch-ja#before > Unkown（気づいてない） ウンコウンわろた。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/263
264: デフォルトの名無しさん [sage] 2023/11/20(月) 23:57:47.37 ID:N43MAaAU スレチ http://mevius.5ch.net/test/read.cgi/tech/1639713446/264
265: デフォルトの名無しさん [sage] 2023/11/21(火) 12:01:48.14 ID:MS7pneIs 毛の壁くん復活してたのか！！ http://mevius.5ch.net/test/read.cgi/tech/1639713446/265
266: デフォルトの名無しさん [sage] 2023/11/21(火) 12:21:46.16 ID:W0g+S6dW https://archive.md/m7008 毛の壁（岡部健）についてはここが詳しい http://mevius.5ch.net/test/read.cgi/tech/1639713446/266
267: デフォルトの名無しさん [sage] 2023/11/22(水) 15:27:17.26 ID:1OepVPCl こんなコードがあるのですが cumsum k = unfoldr next . (,) 0 where next :: (Int, [Int]) -> Maybe (Int, (Int, [Int])) next (acc, x : xs) | acc <= k - x, acc' <- acc + x = Just (acc', (acc', xs)) next _ = Nothing acc <= k-xはわかるのですが、acc' <- acc + xというのはどういう文法なのですか？ リスト内包表記でもないですし条件式の部分でモナドを扱ってるわけではないですよね？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/267
268: デフォルトの名無しさん [sage] 2023/11/22(水) 16:31:30.12 ID:PuIW3qrN >>267 パターンガードかな https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%BC%E3%83%89_(%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0) http://mevius.5ch.net/test/read.cgi/tech/1639713446/268
269: デフォルトの名無しさん [sage] 2023/11/23(木) 07:24:43.49 ID:WRBO39fy <-はパターンガード修飾子と呼ぶのですね 初めて知りました ありがとうございました http://mevius.5ch.net/test/read.cgi/tech/1639713446/269
270: デフォルトの名無しさん [sage] 2023/11/24(金) 17:42:26.91 ID:V3Fz2AWZ 毛の壁のTwitterの新しいアカウントは Ken140291 FPFSstutorial leadmove3648637 です！！ http://mevius.5ch.net/test/read.cgi/tech/1639713446/270
271: デフォルトの名無しさん [] 2023/12/04(月) 12:27:24.28 ID:GjmDAseS >>270 ぎゃっはっはっはっはw http://mevius.5ch.net/test/read.cgi/tech/1639713446/271
272: デフォルトの名無しさん [sage] 2024/01/01(月) 20:17:21.69 ID:DcfOChZv mapAccumL/Rの使いどころがよくわからないのですが どういう時に使うとかの指針ってありますか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/272
273: デフォルトの名無しさん [] 2024/01/09(火) 22:50:44.14 ID:3mg8b04T ここ5年で発売されたHaskellの書籍で最も優れたものを紹介してください http://mevius.5ch.net/test/read.cgi/tech/1639713446/273
274: デフォルトの名無しさん [] 2024/01/12(金) 10:55:28.35 ID:cAhPSGjh オワコン http://mevius.5ch.net/test/read.cgi/tech/1639713446/274
275: デフォルトの名無しさん [sage] 2024/02/29(木) 01:38:01.78 ID:d2gqoSk4 windowsにインストールできんみたいだなcabalがエラー？ まあwindowsでやるなってことだな http://mevius.5ch.net/test/read.cgi/tech/1639713446/275
276: デフォルトの名無しさん [] 2024/03/03(日) 23:47:35.89 ID:9XAeTkis モナドについて、床下配線に例えられたり、世界を受け取って副作用後の世界を返すと（IOモナドについて）語られたりするのが当時は分からなくて、考えた結果 何かから値を取り出し、関数適用して（その関数が）何かに値を戻す「動き」をモナドという。 って結論になっていたのだが、IOモナドも含めてもっと良い例えはないかと考えた結果、 モナドとは、アウトソーシング（外部依頼）を数学的に表現したもの。 という結論に至った。 アウトソーシング先が（数学の）外の世界だとIOモナドで、同じ数学の世界だとその他のモナド。 それならHaskell自身は「この関数実行しておいて～」って依頼出して結果を受け取るだけだから、 副作用はないと言う主張に矛盾はない（のか？） （もしくは、IOモナドはHaskellが受け取れる形の値を返すような入出力の「マシン語」を返してる？） そう考えると、数学が「数学の外とのやり取り」という概念を獲得したと思うと凄い。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/276
277: デフォルトの名無しさん [sage] 2024/03/04(月) 00:46:59.53 ID:XMYw3zR0 箱の中に処理したいデータが入ってるけど一緒にIOウイルスも入ってて 普通に箱を開けるとIOウイルスが外界に漏れて困るから もう一回り大きい箱を用意してその中に箱とデータ処理装置を入れて 密封した上で内側の箱を開けてデータを処理する そうすると箱の中に処理されたデータとIOウイルスが入った状態になる これを延々と繰り返すのがIOモナド ずっと前に毒ガスで考えた比喩だけど最近だとこっちだな http://mevius.5ch.net/test/read.cgi/tech/1639713446/277
278: デフォルトの名無しさん [] 2024/03/04(月) 01:02:22.82 ID:vyClhVzf ふーむ。 仮にアセンブラと1対1に対応したCの関数を全部Haskellから呼べるようにすると、出来ちゃうわけで。 （do形式だとまるっきりアセンブラコードに見えるHaskellコードの出来上がり） そう考えて私のアウトソーシング説が出来た感じですね。 Haskellがモナドを採用したのは数学（関数型言語だったっけ？）の敗北ってどっかで読みましたし。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/278
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 389 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s