関数型プログラミング言語Haskell Part34

**デフォルトの名無しさん** · 2021/12/17(金) 12:57:26.37

関数型プログラミング言語 Haskell について語るスレです。

Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part33
https://mevius.5ch.net/test/read.cgi/tech/1581326256/

**デフォルトの名無しさん** · 2021/12/17(金) 12:57:57.45

過去スレ一覧
32) https://mevius.5ch.net/test/read.cgi/tech/1548720347/
31) https://mevius.5ch.net/test/read.cgi/tech/1506447188/

**デフォルトの名無しさん** · 2021/12/17(金) 12:58:25.90

**デフォルトの名無しさん** · 2021/12/17(金) 12:58:57.67

関連サイト
(英語)
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

1 · 2021/12/19(日) 03:10:48.56

あの伝説の岡部健が復活！！
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)

**デフォルトの名無しさん** · 2021/12/20(月) 09:52:21.45

https://qiita.com/mod_poppo/items/a6317294ba1e39b1c3b3

コメント欄に毛の壁現る

**デフォルトの名無しさん** · 2021/12/20(月) 12:58:58.75

>>6
また実名っぽいの出して荒らしてんのかあいつ

**デフォルトの名無しさん** · 2021/12/20(月) 20:14:33.16

自分で召還しといて荒らしとかいうのやめようや。

**デフォルトの名無しさん** · 2021/12/20(月) 20:19:16.57

Haskellの話じゃないんだからどこか他でやってくれ

**デフォルトの名無しさん** · 2021/12/20(月) 20:33:12.76

Excel VBAのスレでやるのか？

**デフォルトの名無しさん** · 2021/12/20(月) 21:06:24.55

毛の壁から国民を守る党 72議席目
https://lavender.5ch.net/test/read.cgi/net/1615613906/

**デフォルトの名無しさん** · 2021/12/20(月) 23:17:06.32

72スレ目って。
自分では気が狂ってることがわからないんだろな。
国民を守らなければ！って使命感があふれ出して72スレ。

**デフォルトの名無しさん** · 2021/12/21(火) 00:08:10.53

ご本人？

**デフォルトの名無しさん** · 2021/12/21(火) 06:55:32.78

a :: Int -> Int
a 0 = 50^2
a n = round (sqrt (realToFrac n):: Float)
型変換なみだでてきた
ghciプロンプトだと
round (sqrt 50)
7
ちゃんと出るじゃねーか...

**デフォルトの名無しさん** · 2021/12/21(火) 10:17:23.12

>>6
酷すぎる

**デフォルトの名無しさん** · 2021/12/21(火) 11:09:52.33

>>14
ghci 上で :t round . sqrt として
a :: Int -> Int との違いを比べてみるとよいよ (あとリテラルの50はIntではない)
数(特に浮動小数点数)まわりの関数でなみだ出てくるのは多少同意

**デフォルトの名無しさん** · 2021/12/21(火) 15:10:59.44

>>6
こ、これはもしや・・・・あの！？

**デフォルトの名無しさん** · 2021/12/23(木) 17:28:45.18

ken80297274

岡部さんのサブアカウント発見

**デフォルトの名無しさん** · 2021/12/23(木) 20:30:31.33

どんな人生を生きたら実名でこんな攻撃的な調子でtwitter上で不特定多数に絡みに行こうと思えるんだ
実際実社会で会ったらどんな感じの人なんだろう

**デフォルトの名無しさん** · 2021/12/23(木) 21:25:57.12

岡部健さんはアメリカのUCLA卒業と書いていたらしいので、情報技術の素養はあるんじゃないか？

https://twitter.com/ohagiya/status/226163166067949568

http://archive.ph/1oA1C
>>「まああれでUCLAとかよく嘘こけるよねー。」
>とは、これも、僕が学歴詐称しているという野田憲太郎の妄想にはじまる
>「バッシングに用いる好物のネタ」であり、もちろんそのような学歴詐称の事実などないし、それも名誉毀損として刑事告訴の要件に入っている。
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2021/12/23(木) 21:27:02.59

Twitterで

ohagiya UCLA

で検索すると岡部健さんの学歴にけちを付けてる人が出てくるね

**デフォルトの名無しさん** · 2021/12/23(木) 23:57:52.67

ハリウッド映画でよくある、酒場でのウィットに富んだ大人の会話の一種では？
0時を過ぎると、酒瓶を割って拳で語り合う・・・いまその状態では？
夜が明けると、互いを理解し絆が深まる。
そして生涯の友となるのでは？

**デフォルトの名無しさん** · 2021/12/27(月) 09:38:29.17

https://ken-okabe
.hatenablog
.com/entry/2021/12/20/134121

『結局は、あろうことか、当時のQiita運営がこういう匿名炎上目的のアカウントの思惑に乗っかる形で、僕の反論コメントを消してしまったので』

と書いてるので、当時nonstarterさんの記事のコメント欄に出没していたのは岡部健本人だったのかな。
ことあるごとに「岡部氏」って別人のように書いてたのにね

**デフォルトの名無しさん** · 2021/12/28(火) 01:15:18.08

高度IT人材、富士通は最大年収3500万円へ

「富士通年収3500万！」日本のIT企業の年収も、高額化してきました

AI人材の獲得に超本気　NECが新人事制度を9人に適用、富士通は最大年収3500万円へ

【年収３５００万円も】富士通、「ジョブ型」人事制度を導入幹部社員から高度IT人材

来年度から副業解禁　人材多様化へ―大同生命次期社長

副業・兼務の解禁から４年、ロート製薬流で進めるキャリア支援

ロート製薬が副業をいち早く導入した「超人間的」な理由

ロート製薬会長が「副業を受け入れない会社は発展しない」と断言する理由

**デフォルトの名無しさん** · 2021/12/28(火) 08:27:45.42

https://mobile.twitter.com/matusita2012/status/172883696091791361
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2021/12/31(金) 02:20:27.03

シンプルなワードカウント書いたけど関数合成でワードカウントが組めません
" 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"
みたいな書き方がしたい

**デフォルトの名無しさん** · 2021/12/31(金) 03:53:55.07

自己解決したけどデータが多いとスタックが...
>countword . countchars . map chkspand $ " 1313 13 111 rfr fdf"
>5

**デフォルトの名無しさん** · 2021/12/31(金) 14:45:34.52

リストみたいなただのデータコンストラクタだったら、いくら長くてもスタック関係ないのに
リストをfoldrしたような物が出てくるとスタックでみんな躓く

**デフォルトの名無しさん** · 2021/12/31(金) 14:58:51.96

スクラッチで書くなら(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"

**デフォルトの名無しさん** · 2021/12/31(金) 16:30:35.01

>>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

上手く行きました
イテレータのパターンマッチ目からウロコ

**デフォルトの名無しさん** · 2021/12/31(金) 20:42:25.11

>>30のこれ
iterator (0:1:xs) = 1 + (iterator xs)
内部で
1+1+1+1+...が積みあがって最後に計算されるの？

**デフォルトの名無しさん** · 2021/12/31(金) 20:58:03.01

>>31
それは処理系のimplement依存だから一概には言えないけど多分stack上に(1+)関数が乗っていって最後に確定した0が入ってから計算しそうな気がする

**デフォルトの名無しさん** · 2021/12/31(金) 21:10:21.51

>>32
了解しました

**デフォルトの名無しさん** · 2022/01/02(日) 20:44:02.99

>>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が積みあがらないはず

**デフォルトの名無しさん** · 2022/01/02(日) 21:09:40.82

ghciで確認
>>30はスタックオーバーフローで止まった
>>34は止まらないからctr-Cで止めた

**デフォルトの名無しさん** · 2022/01/03(月) 00:17:58.15

OOPでも、整数を他のオブジェクトとは全然違う形式にしないと
計算が遅過ぎてダサくなるよね

逆にオブジェクトの方を整数と同じようなGC非依存みたいな構造にする手もあるか

**デフォルトの名無しさん** · 2022/01/03(月) 08:08:25.82

まぁコレは趣味による
Haskellでは性能面より可読性を重視するからな
それも使う人次第だけど
>>34のようにすればメモリも時間も節約できるけど可読性は失われる
どこまで我慢するかだけどオレは計算時間もメモリも線形までなら我慢して可読性を重視する
>>34だと入力に比例して要求されるスタック量が増える
線形までならしょうがないと思う
どのみち入力が大きくなるにつれてシステムが大きくなるのは元々しょうがないんだしその時の比例定数の違いまでなら我慢する
今具体的にやりたいことがあってその線形オーダーの無駄すら許されない状況なら考えるけど

**デフォルトの名無しさん** · 2022/01/03(月) 11:20:12.64

>>37
今回のお題はワードカウント、ファイルサイズがギガになる場合を想定
スタックなりヒープなりを消費しない手法は？です
Cなどで実装した場合、ループでカウントして再帰なしスタックもヒープも消費なしとか(可読性は...)

他にマルチスレッドで分割カウントした時の手法とか(ディスクのIOで律速か)

**デフォルトの名無しさん** · 2022/01/03(月) 12:59:34.38

今回の場合１ワード消費するたびにスタック一個消費するから必要なメモリリソースが倍以上になる可能性もあるから意味はあるかな
特にコレは>>34の方法だと必要なメモリリソースがデータ保持する分を除けばlogオーダーになるからな
しかも読み込んだデータは順次捨てていけるし(そこまでのカウント結果を保持しないといけないので有限オートマトンでは無理だけど有限オートマトン以上、チューリング完全以下、こういう計算クラスは名前ついてるのかな？)
個人的にはこういうときメモリ線形、時間線形までは許さないと大した事できないことが多いのでそれ以上のこだわりは持たないようにしてる
数学的研究対象とかにするなら別だけど

**デフォルトの名無しさん** · 2022/01/03(月) 15:29:08.17

>>39
今回なにを確認したのか
それは、Cで組むような単純繰り返しを同じ感覚でヒャッハーとhaskellの遅延評価で行うと
ヤバイと言う教訓とそれを回避する手法

**デフォルトの名無しさん** · 2022/01/04(火) 16:11:04.31

Haskellを身に付けた人は他の言語も使えると予想しますが、いくつもの言語の中からHaskellを選んで
プログラムを書くのはどんな課題、問題を解決したいときなんでしょうか

**デフォルトの名無しさん** · 2022/01/04(火) 16:44:18.80

課題が「ガベージをコレクトしたい」だけだったとしても
じゃあ静的型は不要だとかジェネリクスは不要だとはならない
だから課題と関係ない部分を作り込む

**デフォルトの名無しさん** · 2022/01/05(水) 10:28:01.47

Twitterの検索で

@ohagiya @kenokabe

と入れると楽しいよな

**デフォルトの名無しさん** · 2022/01/11(火) 17:47:50.88

>>43
ひどすぎるだろこれ
可哀想に

**デフォルトの名無しさん** · 2022/01/14(金) 10:48:22.13

最新の怪文書も読んだけどさ、毛の壁は毎回毎回威勢だけは良いんだよなw
たとえば「ちくわは民事でもやる！」「ちくわはもう詰み」（9年前）
「ちくわはもう死に体」（7年前）とかさ。
死に体なのに、つい最近もブログで恨み節w
ネズミ一匹、始末できないなんてだらしがないな

**デフォルトの名無しさん** · 2022/01/15(土) 18:49:30.83

質問です
array と List の性能の差がいまいちピンと来ません
何か「この例ではどう考えてもarray、ほらこんなに性能に差が出る」って例ご存知ないですか？

**デフォルトの名無しさん** · 2022/01/16(日) 12:22:44.80

質問です
何かの文章で

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の結果を自分で勝手に“メモ化”してよきにはからってくれているんでしょうか？

**デフォルトの名無しさん** · 2022/01/16(日) 13:40:56.61

メモ化は独自実装ではなく仕様

何かの文章は嘘
でも騙されたことがないので被害が存在しないし、加害者も存在しない

**デフォルトの名無しさん** · 2022/01/16(日) 14:36:08.72

>>48
仕様なんですか？
Language Reportかなんかに書いてありますか？

**デフォルトの名無しさん** · 2022/01/16(日) 14:39:15.35

何かの文章は "ウォークスルー　Haskell" というやつでした

http://walk.northcol.org/haskell/eval-strategies/

3 ではなく 1 + 2 でやってました

**デフォルトの名無しさん** · 2022/01/16(日) 18:39:45.50

seqだと結果はどうなるんですか？

**デフォルトの名無しさん** · 2022/01/16(日) 18:54:16.95

>>51

square x = x * x

を

square x = seq x $ x * x

にして明治的に“xを評価してからx*xを計算せよ”に変えるともちろん*ひとつです
それは納得いきます
ウォークスルーHaskellにもそうなると書いてあるしHaskell Language Report 2010にもseqで正格評価になると書いてあります
なのでコレは納得いくんですがseqなしの場合の動作が文書と異なるように見えます
もちろん参照透過性があるので一度計算した結果をメモ化して再利用しても同じ答えにならないといけないので答え自体は同じになるわけですけど
コレはたまたまGHCの開発者が優秀でHaskellの標準動作としては保証されない事までやってくれてるだけなのか、標準動作としてメモ化しないといけないことになってるのかどっちだろうと
今のところ今自分が勉強してるプログラムにはseq入れて明治的に正格評価してもらってるんですけど標準でメモ化してくれるなら消せるしスッキリするし、あるいは明示しないと他の処理系だとしてくれないなら残しとかないといけないし

**デフォルトの名無しさん** · 2022/01/17(月) 04:24:56.47

銀の弾丸のHaskellをIT企業が採用したら市場を席捲できるのでは？？？

実際そうなると思う？

**デフォルトの名無しさん** · 2022/01/17(月) 13:17:04.94

Windows10にVSCode入れて、Haskellを遊ぼうとしたけど上手く入らない。

コマンドラインで細かく入れて遊ぶしかないかな。

**デフォルトの名無しさん** · 2022/01/18(火) 00:23:47.53

https://www.haskell.org/ghcup/
>GHCup is an installer for the general purpose language Haskell.

**デフォルトの名無しさん** · 2022/01/27(木) 08:50:29.18

https://qiita.com/lucker_summer/items/baa68e681872de44d5f8

コメント欄ひどすぎだろ
@stken2050（これ岡部健）が非道いので皆さん通報してほしい

**デフォルトの名無しさん** · 2022/01/27(木) 10:10:34.06

毛さんは昔から色々酷いが
>>56のコメ欄の流れだけでいうと単に@Zuishinが分が悪いわ
珍妙な独自用語は早めに芽を摘まないといけない

**デフォルトの名無しさん** · 2022/01/27(木) 11:59:44.42

岡部さんこんにちは

**デフォルトの名無しさん** · 2022/01/27(木) 12:03:44.88

https://twitter.com/mutamac/status/322296035147935744

引用
「Linuxの元になったMINIXが復権中。期待。」という自称ギークとの話』の魚拓を取りました http://nmuta.dip.jp/~muta/toog237.pdf
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2022/01/27(木) 23:00:32.74

そうじゃなくて、PHPやHaskellごときが偉そうにすんなって事だろ。
質問者が来たらお茶菓子くらい出せ。
底辺やマイナー言語はそうするべき。

**デフォルトの名無しさん** · 2022/01/28(金) 01:07:24.72

誰かをディスるよりも、こういう話の方が面白くない？
https://www.reddit.com/r/haskell/comments/s7p29y/letin_vs_function_application_space_leaks/

**デフォルトの名無しさん** · 2022/01/28(金) 09:50:56.34

>>60
そもそも質問者が来たと思ってないんだろう
強いて言うなら「命令者」が来たと思われてるね

**デフォルトの名無しさん** · 2022/02/01(火) 14:44:50.86

Qiitaの運営どうなってんのこれ

https://qiita.com/lucker_summer/items/baa68e681872de44d5f8#comment-ceab8639f8275f297563

**デフォルトの名無しさん** · 2022/02/01(火) 15:19:04.39

https://twitter.com/kuratan/status/114732100682391552
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2022/02/01(火) 18:35:16.11

>>56
どいつも誰だか知らんしどーでも良いが
見た感じ、＠Zuishinの記事は確かにしょぼい記事だが、@stken2050の反論にも無理があるな

＠Zuishinに関しては、大きな主張をしている割に根拠がかなりしょぼいせいで、記事として価値が低くなっているように思える

対する@stken2050の反論だが、「排他的ではないので反対ではない！」云々は無理がありすぎ
「反対」という自然言語の単語が元々ガバガバなのは誰だって知ってるんだから、それに対して自分で勝手に厳密な定義を与えて、その定義に基づいて矛盾を指摘したって、そりゃ「日本語わかりますか」言われるわ

さらに＠stken2050の反論ではwikipediaと異なる高階関数の定義を使っているが、それならwikipedia以上に信憑性の高いソース出して、英語版wikipediaに書かれている高階関数の定義に疑問を呈するのが筋
それをしてないせいで論理的にぶっ飛んで見える

**デフォルトの名無しさん** · 2022/02/02(水) 12:32:50.68

>>63
無事、記事が凍結されたね

**デフォルトの名無しさん** · 2022/02/04(金) 08:30:39.02

完全に荒らしやろあれ

**デフォルトの名無しさん** · 2022/02/08(火) 08:58:59.73

Haskellって日本人に受けそうで実際一時期話題になったけど
結局下火になっちゃったね
なんでだろう

**デフォルトの名無しさん** · 2022/02/08(火) 12:34:20.88

haskellでしばらく何かを学んだら、元いたところに帰っていくんじゃないかな

**デフォルトの名無しさん** · 2022/02/09(水) 10:14:27.54

型とGCが下火になったから
型無しならPython
GC無しならRustに行く

**デフォルトの名無しさん** · 2022/02/09(水) 10:49:56.61

型下火になることなんてある？

**デフォルトの名無しさん** · 2022/02/09(水) 13:51:00.40

>>70の中では下火になったんだろ

**デフォルトの名無しさん** · 2022/02/09(水) 14:32:04.90

両方なしならどこへ行けばいい？

**デフォルトの名無しさん** · 2022/02/09(水) 16:30:45.01

両方ないならAPIと言語が無関係なクラウドみたいな感じになりそう

**デフォルトの名無しさん** · 2022/02/09(水) 19:00:25.72

Cじゃだめなん？
あと、型なしじゃなくて、動的型で良ければ、
Objective-Cがかなり自由度高かった気がする。

**デフォルトの名無しさん** · 2022/02/10(木) 14:08:35.36

単純に難しいからだろ
元の言語仕様はシンプルなのに、ソフトウェア工学的なノウハウに基づいてOOPと同等以上の実装を実現しようとすると、とたんに大量のGHC拡張と難解な型が出てきてわけわからんくなる

**デフォルトの名無しさん** · 2022/02/10(木) 17:05:47.42

lensの型とか複雑すぎる

**デフォルトの名無しさん** · 2022/02/11(金) 01:01:15.27

setterの存在自体がマナー違反ということにすればある意味単純なんだよ
マナー違反したせいで複雑すぎるのは自己責任、言語のせいにするなってね

**デフォルトの名無しさん** · 2022/02/12(土) 14:38:21.43

岡部健

**デフォルトの名無しさん** · 2022/02/12(土) 14:59:18.26

>>79
こいつに“Ｈ“はムリ（爆）

“三擦り半“で昇天するよw

**デフォルトの名無しさん** · 2022/02/13(日) 02:50:13.95

GHC方言とかの知識が豊富な奴ってどちらかといえば反抗的な性格だと思う
それなのに、オリジナルの仕様への忠誠心が高ければ高いほど有能みたいな誤解がある

その上更にいかにも忠誠心なさそうなキャラまで作られてるし

**デフォルトの名無しさん** · 2022/02/14(月) 11:54:21.19

最近数値計算の勉強してるんですけど、よく最近高速フーリエ変換を用いた乗算の高速化なんて話が出てきます
サイズの大きい整数の掛け算とかを高速化する手法で桁数n同士の乗算のコストをn log(n)に抑えるのだとか
これGHCのInteger型の乗算には応用されてますかね？
やっぱりそこまで速さに拘りたいならご自分でのスタンス？
GHCのソースが読めるほどのスキルはないのでよくわからない
そもそもGHCのソースってどこに転がってます？

**デフォルトの名無しさん** · 2022/02/14(月) 20:10:36.04

>>82
ghc haskell ソースでググれば見つかる

**デフォルトの名無しさん** · 2022/02/14(月) 20:56:01.04

ソースを1行も読まなくても分かることがいくつかある
IntとIntegerの二刀流ができるなら三刀流もできること
第二第三の型を追加するだけのためにコンパイラをコンパイルするのは無意味過ぎること

**デフォルトの名無しさん** · 2022/02/14(月) 21:36:02.36

>>82
見つからないorz

>>83
ちょっと数値計算の練習したいんですよ
例えば円周率10万桁とか
さすがに10万桁とかだとghcはデフォルトでは対応してくれないのかなと
仮にできるにしても10万桁×10万桁の計算で桁数^2オーダーで計算したのではその一個の掛け算で何年もかかってしまうことになりかねません
ただのarrayやlistなら10万要素位は扱ってくれそうですけど
ただHaskellでその手の大量データを扱うのは色々難しい問題があるらしいと言う話は聞いてたので今までは「そういうのはHaskellは向かない、そういう時はC」とか使い分けてました
しかしやはりHaskellでできないのは面白くないのでHaskellでもそういうでかいデータを扱えるスキルを身につけたいなぁというのもあります
まぁまだFFTでの掛け算プログラム勉強し始めたばっかりなので先は長そうですけど
とりあえず[Double]のFFTと逆FFT作ったとこまではやったんです
でもそこまで作って「アレ？もしかしてこんなの自作しなくてもそもそもHaskellのIntegerが最初からFFTで掛け算してるとかあるかも？GHCの開発者メチャメチャ優秀っぽいし」と思った次第

**デフォルトの名無しさん** · 2022/02/14(月) 21:36:29.77

あら、アンカー一個ずれ

**デフォルトの名無しさん** · 2022/02/14(月) 21:54:21.41

GMP使ってるかもしれないし使ってないかもしれないらしい[1]
GMP使ってるならFFTベースのSchonhage-Strassenが働くしGMP使いたいならライブラリ[2]がある
[1]https://stackoverflow.com/questions/57688078/what-is-the-algorithm-used-in-integer-multiplication
[2]https://hackage.haskell.org/package/integer-gmp

**デフォルトの名無しさん** · 2022/02/14(月) 23:13:34.14

>>87
おお、thx
なるほどGMPというのを使ってるんですね

--Stack excangeより
GMP appears to use Schonhage-Strassen, but not until you start dealing with numbers with 10s of thousands of decimal digits.

GMPではSchonhage-Strassenを使用しているようですが、小数点以下が何万桁もあるような数字を扱うようになるまでは、このようなことはないようです。

--wikiより
GMPは、どんなオペランドの大きさでも他の多倍長整数ライブラリよりも高速であることを目標としている。このために、以下の点を重視している。

基本算術型としてフルワードを使う。
オペランドの大きさによってそれぞれ異なるアルゴリズムを使う。非常に大きな数に有効なアルゴリズムは、小さい数では遅いことが多い。

----
要するに自分でわざわざSchonhage-Strassenのアルゴリズム実装しなくてもそもそもintegerで実装済みという事ですね
そうじゃないかと思ったw
そりゃそうでしょうねぇ、こんな優秀なソフトが数値計算理論の最新の成果取り入れてないわけがないw
10万桁とかIntegerで扱えるのかな？
実はData.FixedにあるFixed aで100桁くらいは余裕というのは確認済みなんです
週末にでも桁数増やして実験してみます
ありがとうございました

**デフォルトの名無しさん** · 2022/02/15(火) 00:40:37.96

Haskellの多倍長計算、昔は大変だったけど今はよくなった、みたいな記事が10年前くらいに書かれてた
http://tanakh.jp/posts/2012-03-08-pi.html

**デフォルトの名無しさん** · 2022/02/15(火) 19:39:32.71

>>89
おお、先人がいたww
いや〜Haskellって速さ求めるならあんまりいい選択肢ではなさそうですけどやっぱり挑戦してみたくなりますね
その人のページのリンク先がすごく参考になりました
ようやくChudnovskyの公式とかいうのがなんで最速なのかわかりました
収束速度そのものはどう考えてもAGMの方が早いのになんでChudnovskyの方が早いんだと
Binary Splittingという技使ってまとめて計算していく方法があるんですね
ちょっと感動しました
まぁともかくInteger型の計算で10億桁くらいまで実用的な？速度で計算できるもんなんですね
ボチボチやってみます

**デフォルトの名無しさん** · 2022/03/28(月) 00:29:30.89

Haskell昔は日本でも人気あったのにどうしてこうなった

**デフォルトの名無しさん** · 2022/03/28(月) 00:37:16.39

人気ないって事？
そりゃそうでしょ？
お世辞にも使いやすいとは言えない

**デフォルトの名無しさん** · 2022/03/28(月) 17:03:01.17

>>92
使いにくいと感じるところを教えてください

**デフォルトの名無しさん** · 2022/03/28(月) 18:04:03.42

文字列操作のパッケージを作っている。
１文字づつ評価して処理するのは出来るけど
ループで実現しようとすると、上手くいかない。
[Char]型とString型で混ぜて作ったせいか
ボトムアップ方式で作るのが間違えなのか。

まだまだ初心者の愚痴。

**デフォルトの名無しさん** · 2022/04/07(木) 21:21:24.28

Stringは[Char]の別名だが

**デフォルトの名無しさん** · 2022/04/08(金) 04:13:38.57

Haskell-jp slackってどうなの？

**デフォルトの名無しさん** · 2022/04/08(金) 13:18:29.82

とりあえず入ってみたら？

**デフォルトの名無しさん** · 2022/05/25(水) 23:07:08.21

>>91
純粋関数型といいつつ実際にはそうではないし
結局はモナドも使わなきゃ実用的なものは作れない
よく例題に上がるようなシンプルな書き方すると遅いし
Lispでも同じようにあった問題で綺麗な書き方よりも早い書き方が重視される
そうこうしているうちにどんどん人は離れていったよ
理念が現実に負けたのだと思う・・

**デフォルトの名無しさん** · 2022/05/25(水) 23:31:09.11

あとそうだ
なによりもデバッグがあまりに困難すぎるし
デバッグのために型制約とか何バカやってんだろな・・って思うことしばしば

作業環境が悪いのがまるで改善されないから嫌になる

**デフォルトの名無しさん** · 2022/05/27(金) 23:36:10.66

型はコンパイル時にしか存在しない
モナドクラスもコンパイル時にしか使わない
実行時に使われているのはモナドのインスタンスのみ
そのインスタンスは任意の言語で再発明できる
どの言語でデバッグしても困難は同じ

結局は再発明をやらなきゃ実用的な知識が身につかない

**デフォルトの名無しさん** · 2022/05/27(金) 23:58:56.33

今だにprintfデバッグに頼ってるなんてHaskellくらいのものかもね・・

**デフォルトの名無しさん** · 2022/05/28(土) 00:21:10.26

Cのライブラリに丸投げする効率化を考えれば
デバッグの効率化にはこだわらない方が丸投げしやすい

**デフォルトの名無しさん** · 2022/07/18(月) 03:26:49.61

なんでここまで人気なくなったんだろうな

**デフォルトの名無しさん** · 2022/07/18(月) 14:14:58.82

声の大きい人たちが使わなくなっただけでは

**デフォルトの名無しさん** · 2022/07/19(火) 17:39:52.93

個人が言語を自作できるレベルになってる説
団体は必須ではない

**デフォルトの名無しさん** · 2022/08/07(日) 20:06:46.56

ハマりました
次のコード通らん理由が分からん

import Data.Ratio

[[ a,b],[c,d]] *** [[ p,q],[r,s]] = [ [ a*p+b*r, a*q+b*s], [c*p+d*r],[c*q+d*s]]

i [[ a,b],[c,d]] = [[d,-b],[-c,a]]

a :: [[Rational ]]
b:: [[Rational ]]

a = [[1%1,99],[0,100]]
b = [[100,0],[-99,1]]

main = do
mapM_ print $ [ a, b , i a , i b]
print $ (( i b ) *** ( i a ) ) *** b

実行時エラーで
prog: prog.hs:4:1-79: Non-exhaustive patterns in function

になる
一項目のprintの出力

[[1 % 1,99 % 1],[0 % 1,100 % 1]]
[[100 % 1,0 % 1],[(-99) % 1,1 % 1]]
[[100 % 1,(-99) % 1],[0 % 1,1 % 1]]
[[1 % 1,0 % 1],[99 % 1,100 % 1]]

を見てもどう見てもパターンマッチしてるのに？
何故？

**デフォルトの名無しさん** · 2022/08/08(月) 19:26:19.73

>>106
リストの長さがマッチしてない
長さが2でないリストをどこで作ったのかはソースを読めば分かる
***は長さが3のリストを返す

**デフォルトの名無しさん** · 2022/08/09(火) 10:46:53.89

>>107
あ、ホントだ
コピペミスかなんかか
thx

**デフォルトの名無しさん** · 2022/08/11(木) 18:04:41.32

おまいらこのクソ暑い夏をどうにかするCOOLなコードをHaskellで簡潔に書けんのか？

**デフォルトの名無しさん** · 2022/08/25(木) 11:20:55.19

ttps://hackage.haskell.org/package/mtl-2.3/docs/src/Control.Monad.Writer.Class.html#tell

listen ~(w, a) = (w, (a, w))
この~はどういう文法なの？

**デフォルトの名無しさん** · 2022/08/25(木) 21:14:39.81

https://www.sampou.org/haskell/tutorial-j/patterns.html#tut-lazy-patterns

**デフォルトの名無しさん** · 2022/08/25(木) 21:15:08.79

stack でwxHaskell インストールしようとしたんだが、
> stack install wxHaskell
とすると
Unknown package: wxhaskell
とでてインストールできない。
StackだとwxHaskellインストールできないの？んなわけないと思うんだが。
公式見てもstackの場合の方法が書いてない。

**デフォルトの名無しさん** · 2022/08/29(月) 23:25:47.74

stackage に入っていないからじゃないかな？

最近アップデートされていないし
並行処理も問題ありそうだし…

stack と GUI で検索したらこんな記事があった
https://www.stackbuilders.com/blog/gui-application/

**デフォルトの名無しさん** · 2022/08/30(火) 19:30:33.33

みんな中央集権クラウドに騙されてる

**デフォルトの名無しさん** · 2022/09/10(土) 21:18:15.99

ボトルネックは事実上バグと変わらないから
結局パフォーマンスを考えると
Haskellはバグが混入しやすい言語と言える
しかも入出力は正しいから解決がクッソ厄介で実用性はない

**デフォルトの名無しさん** · 2022/09/10(土) 23:20:56.83

ロマン思考言語_

**デフォルトの名無しさん** · 2022/09/11(日) 00:14:39.94

まあ合ってるな

**デフォルトの名無しさん** · 2022/09/20(火) 01:04:13.74

ghci --show-options | wc -l
Output: 1200

**デフォルトの名無しさん** · 2022/09/24(土) 01:20:51.22

書き込んでいた専門家たちが書き込みをやめたので下火になっている感が出ているわけですね。

**デフォルトの名無しさん** · 2022/09/24(土) 02:26:09.94

イヤ、でも実際した火なんじゃない？
やっぱりHaskellで“性能”と“可読性”の両立を図るのはかなり難しい
やっぱり言語の生い立ちというか、性格というか、性能面、特に速度面の性能面はどうしても優先順位が低い、しかし実務上はもちろんそこは最重要factorだからそこがでないとした火になるのもやむを得ないかと

**デフォルトの名無しさん** · 2022/09/24(土) 03:13:03.66

仕組みはわからんが計画的だろ。
言い換えると、騒ぐ奴らがうざいから騒がなくなるまで下火なんだろう。

**デフォルトの名無しさん** · 2022/09/24(土) 03:21:31.25

てか元々世界のメジャーな言語に躍り出ようというつもりなんかHaskellコミュニティにはないのかもね
Haskellコミュニティなんて学者の集合体でしょ？
実務になんか元々興味ないんじゃない？

**デフォルトの名無しさん** · 2022/09/24(土) 17:34:21.27

StackでGUIプログラミングしたいのですが、stackでインストールできるライブラリで
おすすめのものはありますか。

**デフォルトの名無しさん** · 2022/09/27(火) 18:16:48.82

haskellで作ったチェスゲームありますか
コマとボードはきれいなグラフィックで
マウスでコマを動かすチェス

**デフォルトの名無しさん** · 2022/09/27(火) 19:10:55.70

来年のRustがこの状態。

**デフォルトの名無しさん** · 2022/09/27(火) 19:55:55.43

Haskellに飛びつく層は
Rustには飛びつかんよね
Rustには面白みが無い

**デフォルトの名無しさん** · 2022/09/27(火) 20:30:27.34

とにもかくにももう少しHaskellは速度性能を出すための方法の標準化について詰めてほしい
Haskell2010の文章のメモ化の部分の詰めがダメすぎる
実情のGHCとかで提供されてるものと差がありすぎて意味がわからん
GHCでの研究成果をもっと標準仕様に取り入れてほしい
何をどうやったら確実にドレコレはメモ化されるかハッキリ文書化してほしい

**デフォルトの名無しさん** · 2022/09/28(水) 02:23:18.14

整理する気がないからな
どんどんカオスになって行く

**デフォルトの名無しさん** · 2022/09/29(木) 03:37:20.42

いまだにGHCというとGuarded Horn Clausesの方のGHCを先に思い出す

**デフォルトの名無しさん** · 2022/10/01(土) 19:53:52.72

1番実用的な関数型言語やその影響が強い言語って何になるの？

**デフォルトの名無しさん** · 2022/10/01(土) 20:00:27.14

Cじゃね

**デフォルトの名無しさん** · 2022/10/01(土) 22:58:35.36

標準規格を一番忠実に実装した奴が優勝みたいな考え方は全然数学的ではない

**デフォルトの名無しさん** · 2022/10/03(月) 18:02:59.08

lisp系やocamlとか。

**デフォルトの名無しさん** · 2022/10/04(火) 08:48:04.42

ルールがない状態からルールが守られている状態へ誘導するか
何もしてないのに持続するルールを拾い集めるかの違い

**デフォルトの名無しさん** · 2022/10/07(金) 20:15:05.17

F#では。

**デフォルトの名無しさん** · 2022/10/07(金) 20:28:34.11

Erlang

**デフォルトの名無しさん** · 2022/10/14(金) 22:28:23.68

ラムダや <- や case で束縛される変数の値は二回以上計算されない
seqは計算のタイミングを変える効果しかない

難しいのは = で定義される名前だが
= の右辺で頑張ってseqを使っても報われない

**デフォルトの名無しさん** · 2022/10/14(金) 23:54:06.57

でもhaskell 2010 reportには評価順を変える方法はseqしか規定されていない
GHQなどの実際の処理系でそれ以外のタイミングでメモ化されたりするのはあくまで処理系の独自仕様でしかない
ある処理系でメモ化されて早かったプログラムが別の処理系で同じ速度で処理してくれる保証などどこにもない

**デフォルトの名無しさん** · 2022/10/15(土) 08:05:01.19

>>138
もしかして、個人の感想のようなものを悪と思ってるのかね
そして客観的事実 (ようするに絶対正しい事実) と称するものが正義だと

個人の感想を排除するべきという思想はどこにも規定されてないでしょ

**デフォルトの名無しさん** · 2022/10/15(土) 09:49:59.76

メモ化に関しては俺も>>138と同じような感想持ってるな

**デフォルトの名無しさん** · 2022/10/15(土) 10:11:19.74

ある人の感想が別の人の感想と同じになる保証はどこにもない
保証がなくても特に問題ないと判明したならそれでいい

**デフォルトの名無しさん** · 2022/10/15(土) 10:19:45.48

一番嫌なのはネットに転がってるすごいスッキリしたプログラムがあって「おお、すげぇ」と思っても結局それはGHCのメモ化の恩恵でしかなくHaskell本来のそれではないので別の処理系では通用しないものであったりする事
事実上GHCが標準なのでGHCで早ければ「早いプログラムが書けない事はない」のではあるけど、じゃあGHCはどんな時は気をきかせてメモ化してくれるのか、どんな時はその事を利用して早い、しかし短い、わかりやすいプログラムを書けるのかはHaskell 2010 reportではなくGHCの方の仕様書を読むか、実験してみるかしかない、しかし前者はそもそもGHCの仕様書そのものどこにあるかわからないんだけど見つけてもおそらくメモ化の理論は相当に難しい論文レベルの話、さりとて実験で詰めていくのはデバッグと同じレベルのかなり苦痛な作業で、しかも完成したものは大概速さのために可読性をかなり犠牲にしないといけないものになる、当然可搬性も落ちてる
GHCがやってくれてる事全てでなくてもいいけどネットによく転がってるフィボナッチ数列とか素数生成とかのGHCの良きに計らってくれる機能を利用したスッキリした、けど早いプログラムくらいまでは標準化して全ての処理系で動くようにしてほしいけどね

**デフォルトの名無しさん** · 2022/10/15(土) 11:46:05.26

まあ実際のところメモ化を考え出したら
Lispと同じように可読性を犠牲にした速度重視のコードしか生まれないので・・
メモ化は考えないのが筋だけどそうすると実用性は皆無であってつまり

**デフォルトの名無しさん** · 2022/10/15(土) 15:59:55.52

LispとHaskellの違いで重要なのは
モジュールの定義をインタラクティブにやらないこと
ghci起動時に全てのモジュールが定義され最後に
mainや他の式を評価・実行するところだけがインタラクティブ

そもそもmodule Main whereとかいうのは式ではない
式ではないから評価順序という考え方がそこでは通用しない

**デフォルトの名無しさん** · 2022/11/03(木) 00:12:52.63

GHCがデファクトだしこだわりがなければ他のコンパイラを使うこともないでしょ
とはいえ関数型言語って速度を重視するタスクには向かないでしょ
速さを求めるのが間違い

**デフォルトの名無しさん** · 2022/11/03(木) 01:14:31.73

Symbolicsが失敗した事例を思い出す
あれも理想を追求したはいいけど何をやってもひたすら遅く
他社はそれより早く安い機材を次々と繰り出していた
当然惨敗は必然だった

**デフォルトの名無しさん** · 2022/11/03(木) 06:02:33.84

静的な型付けによる頑健性だとrustがあるしなぁ

**デフォルトの名無しさん** · 2022/11/03(木) 11:53:42.15

結局のところHaskellの言語策定をしてるコミュニティは学者さんのコミュニティで実用的な性能を向上させる事にそもそも興味ないから実務面での有用性を期待するのは無理やね

**デフォルトの名無しさん** · 2022/11/04(金) 01:33:00.25

まあそうだろうな

**デフォルトの名無しさん** · 2022/11/05(土) 10:09:23.49

>>142 の指摘って他の言語のGCにもそのまま当てはまると思う。

**デフォルトの名無しさん** · 2022/11/06(日) 14:53:18.67

Haskellで開発している会社ってどこがあるの？
検索するとHERPやTuruCapitalしか出てこない…

**デフォルトの名無しさん** · 2022/11/06(日) 16:00:47.05

GHC9.4.3 リリース

**デフォルトの名無しさん** · 2022/11/06(日) 16:35:55.22

Haskell wikiに載ってるやつ見るに、部分的にHaskellを使うって感じかなぁ

**デフォルトの名無しさん** · 2022/11/06(日) 18:08:25.72

>>151
一時期富士通が募集してたことがあったような
もうないからやめたのだろうけど

**デフォルトの名無しさん** · 2022/11/06(日) 19:47:21.37

あと朝日ネットの募集要項はHaskellがありました
朝日ネットに応募してみようかなぁ。
HERPはリファレンスチェックが面倒…（上司とかと会話したくない）

**デフォルトの名無しさん** · 2022/11/07(月) 00:00:47.60

facebookも使ってた気がする。

**デフォルトの名無しさん** · 2022/11/07(月) 00:41:59.56

Haskellの求人、あまり見つからないんですが、言語として微妙な感じなんでしょうか…？
HaskellでできることはPython、Java、Go、Scalaでできる、みたいな…
あえてHaskellを使う意味がない、みたいな…

**デフォルトの名無しさん** · 2022/11/07(月) 11:14:09.19

オーバーヘッドを気にせず頑健性を取りたいとき
うーん、具体例が出てこない

**デフォルトの名無しさん** · 2022/11/07(月) 12:17:58.82

>>157

> Haskellの求人、あまり見つからないんですが、言語として微妙な感じなんでしょうか…？
> HaskellでできることはPython、Java、Go、Scalaでできる、みたいな…
> あえてHaskellを使う意味がない、みたいな…
かきか

**デフォルトの名無しさん** · 2022/11/07(月) 12:18:26.38

誤操作スマソ

**デフォルトの名無しさん** · 2022/11/08(火) 09:36:33.50

消費者目線ではGHCはフリーソフトだからコストが高いとは言えない

コストという物差しが万能ではない具体例がいま出た

**デフォルトの名無しさん** · 2022/11/09(水) 01:51:03.18

まあ学者さんたちのお遊びだからね・・

**デフォルトの名無しさん** · 2022/11/09(水) 10:38:48.12

どういう結果になるのか契約とか誓約しないのがオープンソース
お遊びにしかならないという保証もしてない

**デフォルトの名無しさん** · 2022/12/02(金) 14:29:56.51

Haskellまだイキテル？

**デフォルトの名無しさん** · 2022/12/03(土) 12:50:06.92

無生物であることは保証する
何も実験してないのに保証することを数学的と言えないこともない

**デフォルトの名無しさん** · 2022/12/12(月) 16:34:32.76

Unreal Verse
https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf
サイモンさんが関わってるからHaskellの弟分なのかな？
unreal engineに採用なら関数型プログラミングでは
一番使われることになるんだろうか

**デフォルトの名無しさん** · 2022/12/13(火) 21:33:17.94

ちょっとやってみるかと思ったら
今はHIEじゃなくてHLS使えみたいなのがぼちぼち出てくるが
じゃあHLSをemacsからどう利用すりゃいいのってなると情報なし

どうなってんのよ
haskell-modeなんて2016で止まってるし

**デフォルトの名無しさん** · 2022/12/15(木) 08:50:05.16

>>166
10年越しのビジョン実現で胸熱
https://pc.watch.impress.co.jp/docs/column/kaigai/555239.html
>プレゼンテーションを見ると、Sweeney氏はゲームコードを走らせるプラットフォームが超並列化して行くことを予見し、Unrealの場合は80%のCPUユーセージを並列化が可能だと語っている。また、(ソフトウェア)トランザクショナルメモリや、プログラミングには関数型言語(例としてHaskellを挙げていたが、同時にHaskellに好ましくない点もあると説明している)がフィットすることなどを語っている。

それにしてもSPJを引き抜くなんてゲーム業界はすごい

**デフォルトの名無しさん** · 2022/12/15(木) 11:15:36.01

いや15年越し
https://game.watch.impress.co.jp/docs/20080911/epic.htm

>Sweeney氏は純粋関数型言語のもつ並列処理安全性に着目しており、将来的にゲームプログラミングはそういった処理系に移行していくべきだとした。Sweeney氏はそのひな形として言語“Haskel”を挙げているが、ゲーム開発のメインストリームたり得る言語はまだ登場しておらず、将来に期待しているという。

**デフォルトの名無しさん** · 2022/12/17(土) 23:16:08.75

HaskellでWebシステムのバックエンドを開発したときのメモリ使用量は
GoやPythonと比較してどの程度でしょうか？多いですか？少ないですか？

**デフォルトの名無しさん** · 2022/12/23(金) 15:37:27.80

サーバとクライアントのサンプルプログラムを練習で書いたのだけど
toSend <- T.getLine
sendAll sock (E.encodeUtf8 toSend)
日本語文字列を出力するのにByteStringを経由しなきゃいけない
もしかして任意の型でやりとりがしたいとき
自分でByteStringにパック&アンパックしなきゃいけない？
多分、C言語のFFIがベースになってるからこんな風になってるんだよね？

**デフォルトの名無しさん** · 2022/12/23(金) 20:44:32.65

>>171
明示的に変換しなきゃいけないのは事実だがその原因はC言語じゃない
言語と無関係だからこそHaskell2010でもC言語でも同じデータ構造が使える

>>170
データだけ見ればメモリ使用量を同じにすることは可能

**デフォルトの名無しさん** · 2022/12/29(木) 17:00:27.04

モノイド、関手は習得できたけど
自然変換で躓いてる

**デフォルトの名無しさん** · 2022/12/29(木) 23:24:37.93

今haskellでguiを作るなら何がいい？
できれば低レベル層のライブラリは使いたくないけど
wxはもうめんてされてない
fugets?threepenny?webviewhs?どれもarchのパッケージにない
実用言語としてhaskellを使いたいのに使えないのばかりで悲しい

**デフォルトの名無しさん** · 2022/12/30(金) 12:18:58.51

ところでwxHaskellが流行らないのはなぜ？
wxが流行ってないからかな？

**デフォルトの名無しさん** · 2022/12/30(金) 13:53:40.82

本当に必要なのはドリルの大量生産ではなくドリルでもなく穴だからかな

**デフォルトの名無しさん** · 2022/12/30(金) 19:21:21.60

Haskellはすでに見放されてる感ある

**デフォルトの名無しさん** · 2023/01/02(月) 01:15:52.75

>>177
そうなの？それは実務的な意味で？

**デフォルトの名無しさん** · 2023/01/02(月) 03:01:15.30

ステマが酷すぎた。

**デフォルトの名無しさん** · 2023/01/02(月) 03:01:59.29

言いなおそう。
某出版社のステマが酷すぎた。

**デフォルトの名無しさん** · 2023/01/03(火) 00:10:20.46

見放されるようになったのは、
モナドってなに？というミステリアスで興味深い問いがいつのまにか
白けた話になったからじゃないか。もうどうでもいいというか。

**デフォルトの名無しさん** · 2023/01/03(火) 04:29:29.65

技術評論社のせいでは？

**デフォルトの名無しさん** · 2023/01/04(水) 05:08:58.65

メンテナーが次々と逃げ出してるのが象徴的・・
わかりやすいコードを書くとすこぶるパフォーマンス悪いし
だからといって頑張ると一体これは何をしたいのだってなる

遅延評価がデフォルトなのも非常にまずいし
正格評価と切り分けて結局は書かなければならずまだまだ発展途上だと感じる
いっそのこと正格評価はなしとした方がいっそ清々しい

**デフォルトの名無しさん** · 2023/01/04(水) 18:10:50.86

PureScriptに移行しようぜ
正格評価で使いやすいし

**デフォルトの名無しさん** · 2023/01/05(木) 03:59:19.12

しかし無限数列とか表現できなくなるのがなぁ

**デフォルトの名無しさん** · 2023/01/05(木) 12:24:48.41

あんなもの現実には扱えないからな
適当な数値を上限にしとけばいいだけ

**デフォルトの名無しさん** · 2023/01/05(木) 13:19:36.00

イヤ、“表現できる”ってとこに意味があるんだよ

**デフォルトの名無しさん** · 2023/01/05(木) 14:40:58.83

その割にデメリットの方が大きすぎる
やはりいらないよ

**デフォルトの名無しさん** · 2023/01/14(土) 23:43:44.49

PureScriptと被ってるかな？
[GHC 9.6.1-alpha1 is now available - Announcements - Haskell Community](https://discourse.haskell.org/t/ghc-9-6-1-alpha1-is-now-available/5585)

**デフォルトの名無しさん** · 2023/01/17(火) 00:55:50.42

無限の長さの [a] を仮に廃止して他の言語と同じような方式に変えたら IO a のような型になる

生物学とか好きそうな人達は [a] と IO a の差が致命的 (つまり一方は死ぬが他方は生き残る)
と決めつける傾向がある

**デフォルトの名無しさん** · 2023/01/17(火) 01:31:37.81

生物学関係ないな

**デフォルトの名無しさん** · 2023/01/17(火) 03:13:49.00

言語は死なないとか復活させればいいだけとか思うならもう生物学関係ない
そう思わないなら関係ありそう

**デフォルトの名無しさん** · 2023/01/17(火) 08:07:29.90

無意味な比喩表現

**デフォルトの名無しさん** · 2023/01/19(木) 01:20:46.84

クラウドは中に人がいるのか無人なのか調べられないので
人間と機械を混同したのではなく不確実にした

**デフォルトの名無しさん** · 2023/01/19(木) 07:47:39.45

意味不明
もう少し文章を書く練習をしろ

**デフォルトの名無しさん** · 2023/01/19(木) 17:42:25.26

嘘を書くのをやめろって言われない努力はしてる
現に、嘘だと言われない

**デフォルトの名無しさん** · 2023/01/19(木) 20:45:58.03

間違ってさえいない文章
真偽以前に中身がない

**デフォルトの名無しさん** · 2023/01/19(木) 20:49:17.03

それっぽいだけで少し読めば大したことすら書かれてないのがわかる

**デフォルトの名無しさん** · 2023/01/19(木) 21:18:32.97

「わかる」と「意味不明」は矛盾しそう
どっちかが嘘ついるのでは

**デフォルトの名無しさん** · 2023/01/19(木) 21:33:25.41

>>199
お前読解力もないのか
もうこのスレ来るなよ