関数型プログラミング言語Haskell Part34 (694ﾚｽ)
上下前次1-新
250: 2023/09/22(金)14:01 ID:NjV4q9P3(2/2) AAS
putStrLn $ intercalate " " $ map show l
これでいけました
251: 2023/09/22(金)14:01 ID:W8j4O+ex(1) AAS
泥臭いだけで罪があるかのように日常的に刷りこまれてるから
本当の有罪確定したやつは絶対許してもらえないよな
そりゃそうだよな
252: 2023/09/27(水)15:30 ID:9Ywamwi5(1) AAS
{-# LANGUAGE BinaryLiterals #-}
この拡張をいれても
let t = read "0x111" :: Int -- 16進数にパースできる 273
let s = read "0b111" :: Int -- 2進数にはパースできない
微妙に不便だ
253: 2023/09/27(水)17:59 ID:k7PwLxD8(1) AAS
readが定義されたモジュールは別のLANGUAGEってこと？
254(1): 2023/10/11(水)15:16 ID:1pnnvG+R(1/2) AAS
groupBy (\a b -> snd a == snd b)
これを括弧を使わずにかけますか
groupBy ((==)<$>snd<*>snd)だと(a,b)->Boolとなって(a,b)->(c,d)->Boolとは型があいませんでした
255: 2023/10/11(水)17:39 ID:Fikp0OWy(1) AAS
>>254
import Data.Function
groupBy ((==) `on` snd)
結局かっこは使うのだけど、これがあなたの求めるものでしょうか
256: 2023/10/11(水)22:05 ID:1pnnvG+R(2/2) AAS
括弧を使わずにじゃなくてラムダを使わずにでした
まさに欲しかったのそれです
ありがとうございました!!
257: 2023/10/18(水)05:38 ID:vCrdR6l9(1) AAS
QuickCheckを勉強しているんですが
Runtime Errorを検出したくて次のように書きました
anの要素は2以上n以下で複数回出現します
testcaseがほとんどdiscardされるのですがリストをchoose (2,n)とかで生成するには
どうしたら良いのでしょうか
verboseCheckを指定してみるとskippedだらけなのですが
スキップしたやつは表示しないで欲しい
省4
258(1): 2023/11/16(木)18:41 ID:wXoixzgD(1) AAS
岡部健、復活したよ！
エックス内を
“Ken140291“
で探してみて下さい。
最近登録したばかりの様です。
259: 2023/11/18(土)16:03 ID:sLhTkQlu(1) AAS
自分で書き込んでいるのでは・・・。
260(1): 2023/11/19(日)15:31 ID:/inwpH7b(1) AAS
>>248
init $ folfl (\a x -> a++[show x]++“ “) ““ [3,10,1] でOK
261: 2023/11/20(月)09:46 ID:sZ0M6Dsh(1) AAS
>260 打ち間違えた!
lnlt$foldl(\a x->a ++show x++" ")[][1,10,3]
が正解。
262: 2023/11/20(月)14:32 ID:4MiKC4cJ(1) AAS
>>258
ぎゃははははははは
263: 2023/11/20(月)21:45 ID:Jf1v4QK8(1) AAS
外部ﾘﾝｸ:github.com
> Unkown（気づいてない）
ウンコウンわろた。
264: 2023/11/20(月)23:57 ID:N43MAaAU(1) AAS
スレチ
265: 2023/11/21(火)12:01 ID:MS7pneIs(1) AAS
毛の壁くん復活してたのか！！
266: 2023/11/21(火)12:21 ID:W0g+S6dW(1) AAS
外部ﾘﾝｸ:archive.md
毛の壁（岡部健）についてはここが詳しい
267(1): 2023/11/22(水)15:27 ID:1OepVPCl(1) AAS
こんなコードがあるのですが
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というのはどういう文法なのですか？
省1
268: 2023/11/22(水)16:31 ID:PuIW3qrN(1) AAS
>>267
パターンガードかな
外部ﾘﾝｸ:ja.wikipedia.org
269: 2023/11/23(木)07:24 ID:WRBO39fy(1) AAS
<-はパターンガード修飾子と呼ぶのですね
初めて知りました
ありがとうございました
270(1): 2023/11/24(金)17:42 ID:V3Fz2AWZ(1) AAS
毛の壁のTwitterの新しいアカウントは
Ken140291
FPFSstutorial
leadmove3648637
です！！
271: 2023/12/04(月)12:27 ID:GjmDAseS(1) AAS
>>270
ぎゃっはっはっはっはw
272: 2024/01/01(月)20:17 ID:DcfOChZv(1) AAS
mapAccumL/Rの使いどころがよくわからないのですが
どういう時に使うとかの指針ってありますか？
273: 2024/01/09(火)22:50 ID:3mg8b04T(1) AAS
ここ5年で発売されたHaskellの書籍で最も優れたものを紹介してください
274: 2024/01/12(金)10:55 ID:cAhPSGjh(1) AAS
オワコン
275: 2024/02/29(木)01:38 ID:d2gqoSk4(1) AAS
windowsにインストールできんみたいだなcabalがエラー？
まあwindowsでやるなってことだな
276: 2024/03/03(日)23:47 ID:9XAeTkis(1) AAS
モナドについて、床下配線に例えられたり、世界を受け取って副作用後の世界を返すと（IOモナドについて）語られたりするのが当時は分からなくて、考えた結果
何かから値を取り出し、関数適用して（その関数が）何かに値を戻す「動き」をモナドという。
って結論になっていたのだが、IOモナドも含めてもっと良い例えはないかと考えた結果、
モナドとは、アウトソーシング（外部依頼）を数学的に表現したもの。
という結論に至った。
省5
277: 2024/03/04(月)00:46 ID:XMYw3zR0(1/2) AAS
箱の中に処理したいデータが入ってるけど一緒にIOウイルスも入ってて
普通に箱を開けるとIOウイルスが外界に漏れて困るから
もう一回り大きい箱を用意してその中に箱とデータ処理装置を入れて
密封した上で内側の箱を開けてデータを処理する
そうすると箱の中に処理されたデータとIOウイルスが入った状態になる
これを延々と繰り返すのがIOモナド
ずっと前に毒ガスで考えた比喩だけど最近だとこっちだな
278: 2024/03/04(月)01:02 ID:vyClhVzf(1) AAS
ふーむ。
仮にアセンブラと1対1に対応したCの関数を全部Haskellから呼べるようにすると、出来ちゃうわけで。
（do形式だとまるっきりアセンブラコードに見えるHaskellコードの出来上がり）
そう考えて私のアウトソーシング説が出来た感じですね。
Haskellがモナドを採用したのは数学（関数型言語だったっけ？）の敗北ってどっかで読みましたし。
279: 2024/03/04(月)01:22 ID:XMYw3zR0(2/2) AAS
doの場合は１行ごとに新しい箱が作られてる
順序はたまに前後するけど内側の箱のデータは外側の箱でしか使えないから
必要な順序は保証される
外界の予測不能な状態を全部１つの箱の中に押し込んで
箱の外側の処理装置製造工場は全部予測可能（純粋）にしてる感じ
数学の敗北の意味はよく分からないけど
実用性のために予測不能な状態を持ち込んだことかな
280: 2024/03/06(水)10:29 ID:Yy7OLBEk(1) AAS
なんか大げさな例えを使いたがるやつが増えたなぁ
コーディングの上でなんの役に立つんだが
281: 2024/03/06(水)15:29 ID:soRPwZI7(1) AAS
「末尾呼び出ししたい関数をデータコンストラクタで置き換える」という仮説は役に立つけれども
(>>=)はコンストラクタではないという事実を見ただけで仮説を捨ててしまうことは科学的によくあること
282: 2024/04/10(水)04:46 ID:+L19CyUd(1) AAS
WindowsでghcupをインストールするのにWSLが不要になって
PowerShellだけで導入できるようになってる
283: 2024/04/13(土)09:43 ID:p3ysjEUv(1/2) AAS
rustスレで知ったけどhaskellを正格にして依存型を入れたidris(idris2)つー言語があるんだな
284: 2024/04/13(土)10:37 ID:VEwLcqlL(1) AAS
idrisまで興味があるのならHaskell/Elm/Rust/Zigの流れで開発されているRoc-langも見ておくと良い
特にstatic reference counting周り
285: 2024/04/13(土)22:46 ID:p3ysjEUv(2/2) AAS
色々知らないのがあった、ありがとう
static reference countingつーのが流行りなの
最近のhaskellもrustみたいな1回しかつかえない線形型(linera haskell?)が導入されてるね
286: 2024/04/14(日)08:32 ID:ZXz6cRZI(1) AAS
IOモナドの入力関数も、引数のない関数＝変数と捉えると、実質線形型と同じ。
let x = 0 in return (x + 1) >>= x -> print x
こうすると変数ｘはシャドーイングによって同名の別の変数が生成される。
getLineとかの入力関数はHaskell（数学）の外で初期化される変数とも考えられる。
287: 2024/05/17(金)10:56 ID:kEVlBeR0(1) AAS
参照カウントは0になれば即座にデストラクタを呼び出す
つまり呼び出しを遅延しない
正格にすることと参照カウントを入れることは実質的に同じこと
288: 2024/05/18(土)22:55 ID:HEnIptqp(1) AAS
cabalのバージョン上がってたので
windowsで試したらちゃんと動いたわ
気にかけてくれてたんやな
289: 2024/06/11(火)20:46 ID:zqrBHeqN(1) AAS
IOモナドを拡張して、副作用をDBだけに限定したモナドとか作れないの？
290: 2024/06/20(木)02:22 ID:s4SRXQdp(1) AAS
いつの間にかHaskellがC#より速くなってた…。
外部ﾘﾝｸ:nshinchan01.hateblo.jp
291: 2024/06/23(日)11:34 ID:1+Xj+JzS(1/2) AAS
すみません
GHCのWindows11対応についての質問ですが
「9.2」以前のGHCはWindows11をサポートしていないとの事ですが
外部ﾘﾝｸ:gitlab.haskell.org
これはプログラムコンパイルをして
アプリケーションを生成できないだけで
コンソール内での実行や学習をする分には
省2
292: 2024/06/23(日)21:13 ID:1+Xj+JzS(2/2) AAS
度々すみません。
GHCのWindows11対応についての質問の件
Windows11機にGHC8.xをインストールして試した所
問題なくコンソールから実行して
結果のデータファイル生成できました。
取り敢えずはこれでやってみます。
293: 2024/07/03(水)21:32 ID:FVo2vRsM(1) AAS
Functorってf : value -> valueの関数をfmap f : computation -> computationの関数に拡張してあれこれするけど、
そもそもvalue -> value関数がいらなくない？
わざわざvalue とcomputationを区別するから難しくなるのであって、
全部Functor適用した体で computation -> computationの拡張関数だけ使うように
設計しなおせばもっと普及するんじゃない？
294: 2024/07/03(水)23:29 ID:XPii5wC3(1) AAS
何を言っとるんじゃw
295(1): 2024/07/04(木)00:05 ID:CIK9cQRa(1/2) AAS
computationにしたら理論的にカプセル化されるから、例えばT computationで専用に作った関数はU computationでは使いまわしできない。
だから一般的にvalue -> valueで作ることでT computationでもU computationでも使いまわしできるようにしてるというのはわかる。
でも、そういうところが使いにくくて普及してないんじゃないかと思うから、T computationで専用で作った関数も特に何もせず
U computationの関数として使えるようになったらもっと使いやすくなると思う。
というかHaskellにはcomputationの概念は百害あって一利なしなんじゃまいか。
296: 2024/07/04(木)14:17 ID:PVQ//B0J(1) AAS
>>295
君の言うcomputationってどういう定義？
297(1): 2024/07/04(木)19:36 ID:CIK9cQRa(2/2) AAS
しらんがな。
一応マジレスすると、valueと似ているけどなんか違いがあるもの、ぐらいだろう。
自分の意図としては、”計算機”上で生成されたデータ。
計算機というのは電子計算機に限定されない。
電卓でもいいし、そろばんでもいいし、計算するときのもととなる
数の表現とかをcomputationと呼んでも差し支えないと思ってる。
たとえば、
省8
298(1): 2024/07/04(木)23:38 ID:iUDrYol2(1) AAS
>>297
computationはvalueの一つ
`5 + 3`がcomputation
`Just 8`もcomputation
299(1): 2024/07/05(金)00:05 ID:b38yqPqv(1/2) AAS
>>298
computationがvalueの一つだったら
概念的に computation ⊆ value
になるけど。
少なくとも拡張しているのだから
computation ⊇ value
にならないとおかしくない？
省3
300(1): 2024/07/05(金)00:53 ID:DkqpNxkH(1) AAS
>>299
おかしくないよ
OOPでクラスAを継承してクラスBを作った場合(B extends A)を考えてみたら？
`九九を唱えてゴサンジュウゴの結果を導き出す`のがcomputation
導き出された結果と導き出す計算を区別して
301: 2024/07/05(金)02:03 ID:b38yqPqv(2/2) AAS
やっぱりHaskellスレにcomputationネタわかる人いたんだね。
>>300
>OOPでクラスAを継承してクラスBを作った場合(B extends A)を考えてみたら？
ここは納得。
>導き出された結果と導き出す計算を区別して
なにか f: value -> computation型の関数を念頭に置いて
`f ()`はcomputationと言っているのでは？
省6
302(1): 2024/07/25(木)23:56 ID:zdgCFOr2(1) AAS
stateやioモナドってHaskell以外でも使われてるの？
maybeやeitherは関数型でない言語でも同等のものがあるから分かるけど、stateやioはいまいち便利そうな感じがしない
303(1): 2024/07/26(金)05:41 ID:JmafwQnp(1/3) AAS
>>302
それはそうで、IOモナドは他の言語例えばC言語系列だとhoge();の";"部分を数学的に表現しただけだから。
見た目だけなら
x = x + 1;
printf("%d\n", x);
を
return (x + 1) >>= \x -> print x
省13
304(1): 2024/07/26(金)05:47 ID:JmafwQnp(2/3) AAS
そこまで気づくと、Gtk2hsとかWin32とかのC/C++からのラッパーライブラリを関数型言語っぽくない！って拒否する気持ちが分からなくなる。
305(1): 2024/07/26(金)06:16 ID:JmafwQnp(3/3) AAS
あ、IOモナドの利点一応あった。
入力関数が他の関数の引数になったり、他の関数に関数合成出来ない。
Pythonのprint(input())みたいなコードや、len(input())みたいなコードは無理。
ここをしっかり分けることで、そういう変な使い方でのエラーは出ない。
もっと広い視点で言えば、入出力がIOモナドという型で分かれているのでネストの深いループの中でも入出力時に型を意識する必要があるので、そういうバグが大分減る。
手続き型関数型関係なく、ネストの深いループの中のデータが今どんな状態かを頭の中で把握出来る人はそう多くない。
だから、デバッグ時に解きほぐしていくんだが、関数型の方が切り分けしやすいかも？
306(1): 2024/07/26(金)06:20 ID:EERDttnJ(1) AAS
Halkellのその先が見たい？
Rustにその答えが全て詰まっている
307(4): 2024/07/26(金)08:11 ID:3P5OnSpM(1) AAS
どなたか教えてください。
数学の構成や命題の証明に使うならば、HaskellとOCamlはどちらがよいでしょうか。
308: 2024/07/26(金)12:15 ID:f34zQmtT(1) AAS
Rustは、メモリが見えすぎるのがイヤだー
大したもの書かないから、GCありでお願いしたい
309: 2024/07/26(金)17:24 ID:HoH4md/R(1) AAS
>>307
漠然としすぎ
やり直し
310: 2024/07/26(金)17:58 ID:dth0vnjc(1) AAS
数学の構成？
311(1): 2024/07/27(土)00:29 ID:r3Qeb3es(1/4) AAS
>>307
Coqという証明支援プログラミング言語をお使い下さい。
Haskellでも型プログラミングでゴリゴリ自力で命題の証明出来るそうですが、ある程度自動化されている専用言語の方が良いでしょう。
Coqはその中でも日本語情報が多いです。
312(1): 2024/07/27(土)00:43 ID:r3Qeb3es(2/4) AAS
>>306
実用言語、特に組み込み分野を置き換えるのに期待されてる。
特集記事が無くてもお題スレ見たいな、Rustで問題を解こう的な連載が続いてる辺り、
特にinterfaceの編集陣の熱量は感じる。
Haskellも先駆者の記事によればWeb向けとしては神言語だそうだ。
ただ、周辺環境が未整備なだけで。
（なので、自分で全部作るという茨の道を進む「覚悟」が必要だとか）
省1
313(2): 2024/07/27(土)00:53 ID:r3Qeb3es(3/4) AAS
>>307
数の構成の方は、代数的型と基本的な方だと（一部）derivingで自動生成してもらえるから、Haskellはとても楽。
print関数で表示する部分だけでも自動生成してもらう価値はある。
(Read,Enum,Ordで生成されるのは確認済み)
data Nat = Zero | Succ Nat deriving (Show)
連続関数はPCそのものの限界で無理。
代数的型でメモリの続く限りの範囲なら少数も作れるかもしれない。
省1
314(1): 2024/07/27(土)13:46 ID:f/jP9uGd(1) AAS
>>307
結局こいつがなんの返信もしてない時点で適当に書き込んでたってことがわかるよ
真面目に相手をしないほうがいい
315: 2024/07/27(土)16:19 ID:Z663WedI(1) AAS
>>313
ありがとうございます。
316(1): 2024/07/27(土)17:29 ID:sW1zoNGb(1) AAS
>>311-313と>>314は同一人物だよ
騙されないで
317: 2024/07/27(土)21:26 ID:wvv58UYW(1) AAS
知ってた
318: 2024/07/27(土)23:34 ID:r3Qeb3es(4/4) AAS
>>316
他人を語ったつもりもないけどね？（ID見れば分かるんだし）
ちなみに>303-305も私だ。
1日2-3回くらいしか見に来ないから、書き込めることはまとめて書き込んだ結果です。
319(1): 2024/08/01(木)12:24 ID:XzWUPxYY(1) AAS
プロセッサメーカはAIブームと見るやこぞってAI処理特化プロセッサの開発競争
関数型言語に特徴的な処理に特化したプロセッサは誰も作ってくれない
320: 2024/08/01(木)16:36 ID:rWBa8MOA(1) AAS
それ必要か？
321: 2024/08/04(日)23:21 ID:y1wQ9MUm(1) AAS
>>319
スタックコンピューターは、Lispの時にぽしゃった。
322: 2024/08/05(月)21:33 ID:FcOscapW(1) AAS
日本企業がLisp専用マシン作ったが第五世代コンピュータプロジェクトが💩で何らまともな成果をあげられなかったからね。
323(1): 2024/08/11(日)17:42 ID:7wNJGHOt(1) AAS
麓から山頂を目指す
foldl: 徒歩で登り切ったら滑り台で向こう側へ降りてゴンドラで再び山頂へ戻りゴール
foldr: ゴンドラでいきなり山頂へ。そこから向こうの麓まで滑り台で降り、そこから山頂へ徒歩で戻る。但しある場合は滑り台を途中で降りてそこから山頂へ徒歩で戻ってゴールにしてもよい
こういうこと？
324(1): 2024/08/12(月)21:44 ID:EAbaqMlq(1) AAS
Preludeのライブラリドキュメントのページが最新のChromeでよく応答なしになるんですが！
現代PCでもプチフリを起こすページとか凄いですね！（怒）
325: 2024/08/13(火)01:44 ID:3Ko8/FbA(1/2) AAS
>>324
hoogle使いんさい。
326: 2024/08/13(火)01:45 ID:3Ko8/FbA(2/2) AAS
>>323
foldl = 末尾再帰を高階関数化
foldr = 普通の再帰を高階関数化
327: 2024/08/15(木)10:15 ID:oieuoNWz(1/2) AAS
yesod を導入しようとして調べているのですが、今は stack 前提で cabal での利用は考えられていないのでしょうか？
導入記事では cabal の記述がありますが、
yesod init すると stack new 使えと表示が出ます。
328: 2024/08/15(木)10:30 ID:oieuoNWz(2/2) AAS
yesod-bin 1.6.2.3 です
329: 2024/08/19(月)21:35 ID:CkMOJkdv(1) AAS
rambda.jsのfold相当の関数を教えてください
330: 2024/08/24(土)05:56 ID:WHJg2+SV(1) AAS
今ってghcupの時代じゃないの？
久しぶりにHaskell書こうと戻ってきた浦島太郎がstackを最新にしようと思ったら
ghcupとか紹介されてミーハーだから飛びついたわ
上下前次1-新書関写板覧索設栞歴
あと 364 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s