関数型プログラミング言語Haskell Part34 (676ﾚｽ)
上下前次1-新
1(1): デフォルトの名無しさん [] 2021/12/17(金) 12:57:26.37 ID:NPioGyUL(1/4) AAS
関数型プログラミング言語 Haskell について語るスレです。
Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/
前スレ
関数型プログラミング言語Haskell Part33
2chｽﾚ:tech
2(1): デフォルトの名無しさん [] 2021/12/17(金) 12:57:57.45 ID:NPioGyUL(2/4) AAS
過去スレ一覧
32) 2chｽﾚ:tech
31) 2chｽﾚ:tech
3: デフォルトの名無しさん [] 2021/12/17(金) 12:58:25.90 ID:NPioGyUL(3/4) AAS
30) 2chｽﾚ:tech
29) 2chｽﾚ:tech
28) 2chｽﾚ:tech
27) 2chｽﾚ:tech
26) 2chｽﾚ:tech
25) 2chｽﾚ:tech
24) 2chｽﾚ:tech
23) 2chｽﾚ:tech
22) 2chｽﾚ:tech
21) 2chｽﾚ:tech
20) 2chｽﾚ:tech
19) 2chｽﾚ:tech
18) 2chｽﾚ:tech
17) 2chｽﾚ:tech
16) 2chｽﾚ:tech
15) 2chｽﾚ:tech
14) 2chｽﾚ:tech
13) 2chｽﾚ:tech
12) 2chｽﾚ:tech
11) 2chｽﾚ:tech
10) 2chｽﾚ:tech
09) 2chｽﾚ:tech
08) 2chｽﾚ:tech
07) 2chｽﾚ:tech
06) 2chｽﾚ:tech
05) 2chｽﾚ:tech
04) 2chｽﾚ:tech
03) 2chｽﾚ:tech
02) 2chｽﾚ:tech
01) 2chｽﾚ:tech
4: デフォルトの名無しさん [] 2021/12/17(金) 12:58:57.67 ID:NPioGyUL(4/4) AAS
関連サイト
(英語)
Haskell - Wikibooks, open books for an open world (ページ内に内容をまとめたPDFあり)
https://en.wikibooks.org/wiki/Haskell
Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版)
http://learnyouahaskell.com/chapters
Real World Haskell (同名書籍の無料オンライン版)
http://book.realworldhaskell.org/read/
(以下、日本語)
Haskell入門 5ステップ - HaskellWiki (公式サイト内、日本語入門セクション)
https://wiki.haskell.org/Haskell%E5%85%A5%E9%96%80_5%E3%82%B9%E3%83%86%E3%83%83%E3%83%97
Haskell - Wikibooks (上記Wikibooksの同タイトル日本語版。多くの項目が未編集)
https://ja.wikibooks.org/wiki/Haskell
A Gentle Introduction to Haskell, Version 98
http://www.sampou.org/haskell/tutorial-j/
Haskell のお勉強
http://www.shido.info/hs/
お気楽 Haskell プログラミング入門
http://www.nct9.ne.jp/m_hiroi/func/haskell39.html
本物のプログラマはHaskellを使う
http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/
［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！
http://gihyo.jp/dev/feature/01/functional-prog
5(1): 1 [] 2021/12/19(日) 03:10:48.56 ID:7grgB8Yx(1) AAS
あの伝説の岡部健が復活！！
https://twitter.com/ken74047924
（おまけ情報）
Quoraでも有名だった岡部健、2021年12月にTwitterのアカウントまたまた永久凍結される。
当時のアーカイブは多少ネットに残ってるらしい
https://twitter.com/KenSmooth5
https://i.imgur.com/Ws4RM1o.png
https://twitter.com/5chan_nel (5ch newer account)
https://twitter.com/5chan_nel (5ch newer account)
6(3): デフォルトの名無しさん [] 2021/12/20(月) 09:52:21.45 ID:ZumN5JOf(1) AAS
https://qiita.com/mod_poppo/items/a6317294ba1e39b1c3b3
コメント欄に毛の壁現る
7: デフォルトの名無しさん [] 2021/12/20(月) 12:58:58.75 ID:oUGNvHUz(1) AAS
>>6
また実名っぽいの出して荒らしてんのかあいつ
8: デフォルトの名無しさん [] 2021/12/20(月) 20:14:33.16 ID:ceMzU2Ib(1/3) AAS
自分で召還しといて荒らしとかいうのやめようや。
9: デフォルトの名無しさん [sage] 2021/12/20(月) 20:19:16.57 ID:NqO2QdlG(1/2) AAS
Haskellの話じゃないんだからどこか他でやってくれ
10: デフォルトの名無しさん [] 2021/12/20(月) 20:33:12.76 ID:ceMzU2Ib(2/3) AAS
Excel VBAのスレでやるのか？
11: デフォルトの名無しさん [sage] 2021/12/20(月) 21:06:24.55 ID:NqO2QdlG(2/2) AAS
毛の壁から国民を守る党 72議席目
2chｽﾚ:net
12: デフォルトの名無しさん [] 2021/12/20(月) 23:17:06.32 ID:ceMzU2Ib(3/3) AAS
72スレ目って。
自分では気が狂ってることがわからないんだろな。
国民を守らなければ！って使命感があふれ出して72スレ。
13: デフォルトの名無しさん [sage] 2021/12/21(火) 00:08:10.53 ID:S6JYHyb7(1) AAS
ご本人？
14(1): デフォルトの名無しさん [sage] 2021/12/21(火) 06:55:32.78 ID:t7n7AMl6(1) AAS
a :: Int -> Int
a 0 = 50^2
a n = round (sqrt (realToFrac n):: Float)
型変換なみだでてきた
ghciプロンプトだと
round (sqrt 50)
7
ちゃんと出るじゃねーか...
15: デフォルトの名無しさん [] 2021/12/21(火) 10:17:23.12 ID:WtPb4PP+(1) AAS
>>6
酷すぎる
16: デフォルトの名無しさん [sage] 2021/12/21(火) 11:09:52.33 ID:+QFtbkZ1(1) AAS
>>14
ghci 上で :t round . sqrt として
a :: Int -> Int との違いを比べてみるとよいよ (あとリテラルの50はIntではない)
数(特に浮動小数点数)まわりの関数でなみだ出てくるのは多少同意
17: デフォルトの名無しさん [] 2021/12/21(火) 15:10:59.44 ID:XC3saJz0(1) AAS
>>6
こ、これはもしや・・・・あの！？
18: デフォルトの名無しさん [] 2021/12/23(木) 17:28:45.18 ID:iaSGtOUq(1) AAS
ken80297274
岡部さんのサブアカウント発見
19: デフォルトの名無しさん [] 2021/12/23(木) 20:30:31.33 ID:hyDq6lCn(1) AAS
どんな人生を生きたら実名でこんな攻撃的な調子でtwitter上で不特定多数に絡みに行こうと思えるんだ
実際実社会で会ったらどんな感じの人なんだろう
20: デフォルトの名無しさん [] 2021/12/23(木) 21:25:57.12 ID:cmpFYqPS(1/2) AAS
岡部健さんはアメリカのUCLA卒業と書いていたらしいので、情報技術の素養はあるんじゃないか？
https://twitter.com/ohagiya/status/226163166067949568
http://archive.ph/1oA1C
>>「まああれでUCLAとかよく嘘こけるよねー。 」
>とは、これも、僕が学歴詐称しているという野田憲太郎の妄想にはじまる
>「バッシングに用いる好物のネタ」であり、もちろんそのような学歴詐称の事実などないし、それも名誉毀損として刑事告訴の要件に入っている。
https://twitter.com/5chan_nel (5ch newer account)
21: デフォルトの名無しさん [] 2021/12/23(木) 21:27:02.59 ID:cmpFYqPS(2/2) AAS
Twitterで
ohagiya UCLA
で検索すると岡部健さんの学歴にけちを付けてる人が出てくるね
22: デフォルトの名無しさん [] 2021/12/23(木) 23:57:52.67 ID:MjSWMWRR(1) AAS
ハリウッド映画でよくある、酒場でのウィットに富んだ大人の会話の一種では？
0時を過ぎると、酒瓶を割って拳で語り合う・・・いまその状態では？
夜が明けると、互いを理解し絆が深まる。
そして生涯の友となるのでは？
23: デフォルトの名無しさん [] 2021/12/27(月) 09:38:29.17 ID:hZ17KgJk(1) AAS
https://ken-okabe
.hatenablog
.com/entry/2021/12/20/134121
『結局は、あろうことか、当時のQiita運営がこういう匿名炎上目的のアカウントの思惑に乗っかる形で、僕の反論コメントを消してしまったので』
と書いてるので、当時nonstarterさんの記事のコメント欄に出没していたのは岡部健本人だったのかな。
ことあるごとに「岡部氏」って別人のように書いてたのにね
24: デフォルトの名無しさん [] 2021/12/28(火) 01:15:18.08 ID:e4meyx5L(1) AAS
高度IT人材、富士通は最大年収3500万円へ
「富士通年収3500万！」日本のIT企業の年収も、高額化してきました
AI人材の獲得に超本気 NECが新人事制度を9人に適用、富士通は最大年収3500万円へ
【年収３５００万円も】富士通、「ジョブ型」人事制度を導入 幹部社員から 高度IT人材
来年度から副業解禁 人材多様化へ―大同生命次期社長
副業・兼務の解禁から４年、ロート製薬流で進めるキャリア支援
ロート製薬が副業をいち早く導入した「超人間的」な理由
ロート製薬会長が「副業を受け入れない会社は発展しない」と断言する理由
25: デフォルトの名無しさん [] 2021/12/28(火) 08:27:45.42 ID:FaceSKSV(1) AAS
https://mobile.twitter.com/matusita2012/status/172883696091791361
https://twitter.com/5chan_nel (5ch newer account)
26: デフォルトの名無しさん [sage] 2021/12/31(金) 02:20:27.03 ID:aP8qPSMg(1/5) AAS
シンプルなワードカウント書いたけど関数合成でワードカウントが組めません
" ab ccc dd "を[0,1,1,0,1,1,1,0,1,1,0]みたいなリストに変換して
ワードの数は3みたいな
以下普通に書いたワードカウント
spwc4 :: [Char] -> Int
spwc4 s = wc4 s 0 0
where
wc4 :: [Char] -> Int -> Int -> Int
wc4 [] l c = (c + (if l == 0 then 0 else 1))
wc4 (x:xs) l c
| x == ' ' || x == '\t' || x == '\n' || x == '\r' = if l == 0 then wc4 xs 0 c else wc4 xs 0 (c+1)
| otherwise = wc4 xs (l+1) c
文字列を
chkspand :: Char -> Int
chkspand c = if c == ' ' || c == '\t' || c == '\n' || c == '\r' then 0 else 1
に与えて[0,1,1,0,0,1]みたいなリストに変換
これを関数合成でカウントすると内部状態を保持する必要で困惑中
wordcount . map chkspand $ " asas df df"
みたいな書き方がしたい
27: デフォルトの名無しさん [sage] 2021/12/31(金) 03:53:55.07 ID:aP8qPSMg(2/5) AAS
自己解決したけどデータが多いとスタックが...
>countword . countchars . map chkspand $ " 1313 13 111 rfr fdf"
>5
28: デフォルトの名無しさん [sage] 2021/12/31(金) 14:45:34.52 ID:KqmzC1Ir(1) AAS
リストみたいなただのデータコンストラクタだったら、いくら長くてもスタック関係ないのに
リストをfoldrしたような物が出てくるとスタックでみんな躓く
29(1): デフォルトの名無しさん [] 2021/12/31(金) 14:58:51.96 ID:bqUePCKa(1/2) AAS
スクラッチで書くなら(0:)で0を追加して(0:1:_)をカウントしていくんだろうな
chkspand :: Char -> Int
chkspand c = if c == ' ' || c == '\t' || c == '\n' || c == '\r' then 0 else 1
wordcount = let
iterator [ ] = 0
iterator ( 0: 1: xs ) = 1 + ( iterator xs )
iterator ( x : xs ) = iterator xs
in iterator . ( 0 : )
main = do
print $ map chkspand $ " asas df df"
print $ wordcount . map chkspand $ " asas df df"
30(3): デフォルトの名無しさん [sage] 2021/12/31(金) 16:30:35.01 ID:aP8qPSMg(3/5) AAS
>>29
wc5 = let
iterator [] = 0
iterator (0:1:xs) = 1 + (iterator xs)
iterator (x:xs) = iterator xs
in iterator . ((0::Int) :)
wc5 . map chkspand $ "0 hushjuh hhuj 89 546456"
5
上手く行きました
イテレータのパターンマッチ目からウロコ
31(1): デフォルトの名無しさん [sage] 2021/12/31(金) 20:42:25.11 ID:aP8qPSMg(4/5) AAS
>>30のこれ
iterator (0:1:xs) = 1 + (iterator xs)
内部で
1+1+1+1+...が積みあがって最後に計算されるの？
32(1): デフォルトの名無しさん [] 2021/12/31(金) 20:58:03.01 ID:bqUePCKa(2/2) AAS
>>31
それは処理系のimplement依存だから一概には言えないけど多分stack上に(1+)関数が乗っていって最後に確定した0が入ってから計算しそうな気がする
33: デフォルトの名無しさん [sage] 2021/12/31(金) 21:10:21.51 ID:aP8qPSMg(5/5) AAS
>>32
了解しました
34(3): デフォルトの名無しさん [sage] 2022/01/02(日) 20:44:02.99 ID:OOMiLRw0(1/2) AAS
>>30ちょと改変
wc6 = let
iter n [] = z
iter n (False:True:xs) = let n' = n + 1 in seq n' $ iter n' xs
iter n (x:xs) = iter n xs
in (iter 0) . (False :)
wcc = wc6 . map chkspand2
これのseq n'が効けば+1+1+1+1が積みあがらないはず
35: デフォルトの名無しさん [sage] 2022/01/02(日) 21:09:40.82 ID:OOMiLRw0(2/2) AAS
ghciで確認
>>30はスタックオーバーフローで止まった
>>34は止まらないからctr-Cで止めた
36: デフォルトの名無しさん [sage] 2022/01/03(月) 00:17:58.15 ID:eS7vipFo(1) AAS
OOPでも、整数を他のオブジェクトとは全然違う形式にしないと
計算が遅過ぎてダサくなるよね
逆にオブジェクトの方を整数と同じようなGC非依存みたいな構造にする手もあるか
37(1): デフォルトの名無しさん [] 2022/01/03(月) 08:08:25.82 ID:hLrwvjQQ(1/2) AAS
まぁコレは趣味による
Haskellでは性能面より可読性を重視するからな
それも使う人次第だけど
>>34のようにすればメモリも時間も節約できるけど可読性は失われる
どこまで我慢するかだけどオレは計算時間もメモリも線形までなら我慢して可読性を重視する
>>34だと入力に比例して要求されるスタック量が増える
線形までならしょうがないと思う
どのみち入力が大きくなるにつれてシステムが大きくなるのは元々しょうがないんだしその時の比例定数の違いまでなら我慢する
今具体的にやりたいことがあってその線形オーダーの無駄すら許されない状況なら考えるけど
38: デフォルトの名無しさん [sage] 2022/01/03(月) 11:20:12.64 ID:TEX8BSo6(1/2) AAS
>>37
今回のお題はワードカウント、ファイルサイズがギガになる場合を想定
スタックなりヒープなりを消費しない手法は？です
Cなどで実装した場合、ループでカウントして再帰なしスタックもヒープも消費なしとか(可読性は...)
他にマルチスレッドで分割カウントした時の手法とか(ディスクのIOで律速か)
39(1): デフォルトの名無しさん [] 2022/01/03(月) 12:59:34.38 ID:hLrwvjQQ(2/2) AAS
今回の場合１ワード消費するたびにスタック一個消費するから必要なメモリリソースが倍以上になる可能性もあるから意味はあるかな
特にコレは>>34の方法だと必要なメモリリソースがデータ保持する分を除けばlogオーダーになるからな
しかも読み込んだデータは順次捨てていけるし(そこまでのカウント結果を保持しないといけないので有限オートマトンでは無理だけど有限オートマトン以上、チューリング完全以下、こういう計算クラスは名前ついてるのかな？)
個人的にはこういうときメモリ線形、時間線形までは許さないと大した事できないことが多いのでそれ以上のこだわりは持たないようにしてる
数学的研究対象とかにするなら別だけど
40: デフォルトの名無しさん [sage] 2022/01/03(月) 15:29:08.17 ID:TEX8BSo6(2/2) AAS
>>39
今回なにを確認したのか
それは、Cで組むような単純繰り返しを同じ感覚でヒャッハーとhaskellの遅延評価で行うと
ヤバイと言う教訓とそれを回避する手法
41: デフォルトの名無しさん [] 2022/01/04(火) 16:11:04.31 ID:h755Av8k(1) AAS
Haskellを身に付けた人は他の言語も使えると予想しますが、いくつもの言語の中からHaskellを選んで
プログラムを書くのはどんな課題、問題を解決したいときなんでしょうか
42: デフォルトの名無しさん [sage] 2022/01/04(火) 16:44:18.80 ID:HuVGMWib(1) AAS
課題が「ガベージをコレクトしたい」だけだったとしても
じゃあ静的型は不要だとかジェネリクスは不要だとはならない
だから課題と関係ない部分を作り込む
43(1): デフォルトの名無しさん [] 2022/01/05(水) 10:28:01.47 ID:imDyM2+l(1) AAS
Twitterの検索で
@ohagiya @kenokabe
と入れると楽しいよな
44: デフォルトの名無しさん [] 2022/01/11(火) 17:47:50.88 ID:rZde0CTm(1) AAS
>>43
ひどすぎるだろこれ
可哀想に
45: デフォルトの名無しさん [] 2022/01/14(金) 10:48:22.13 ID:3PF6dXYX(1) AAS
最新の怪文書も読んだけどさ、毛の壁は毎回毎回威勢だけは良いんだよなw
たとえば「ちくわは民事でもやる！」「ちくわはもう詰み」（9年前）
「ちくわはもう死に体」（7年前）とかさ。
死に体なのに、つい最近もブログで恨み節w
ネズミ一匹、始末できないなんてだらしがないな
46: デフォルトの名無しさん [] 2022/01/15(土) 18:49:30.83 ID:chCIM2fB(1) AAS
質問です
array と List の性能の差がいまいちピンと来ません
何か「この例ではどう考えてもarray、ほらこんなに性能に差が出る」って例ご存知ないですか？
47: デフォルトの名無しさん [] 2022/01/16(日) 12:22:44.80 ID:f2QwXzzi(1/4) AAS
質問です
何かの文章で
square x = x*x
print $ square $ square 3
のようなプログラムをHaskell は
square $ square 3
→ square ( square 3 )
→ ( square 3 ) * ( square 3 )
→ ( 3 * 3 ) * ( 3 * 3 )
のようになる
コレを避けるためにseqを使えばよいとあったのですが試しに
import Debug.Trace
square x = x * x
const3 = trace "*" 3
main = do
print
$ square $ square $ square $ square $ square
$ square $ square $ square $ square $ square
$ square $ square $ square $ square $ square
$ const3
みたいなプログラムで試してみました
もし説明通りならconst3が2^15回呼ばれて*がいっぱい出てきそうですが、やってみると*は一個しか出てきません
コレは何故ですか？
ちなみにghcです
ghcがconst3の結果を自分で勝手に“メモ化”してよきにはからってくれているんでしょうか？
48(1): デフォルトの名無しさん [sage] 2022/01/16(日) 13:40:56.61 ID:rC9oNTrC(1) AAS
メモ化は独自実装ではなく仕様
何かの文章は嘘
でも騙されたことがないので被害が存在しないし、加害者も存在しない
上下前次1-新書関写板覧索設栞歴
あと 628 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s