関数型プログラミング言語Haskell Part31©2ch.net

**デフォルトの名無しさん転載ダメ©2ch.net** · 2017/09/27(水) 02:33:08.70

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

haskell.org (公式サイト)
https://www.haskell.org/

前スレ
関数型プログラミング言語Haskell Part30
http://mevius.2ch.net/test/read.cgi/tech/1484491434/

**デフォルトの名無しさん** · 2017/12/07(木) 20:30:31.60

>>326
>>327
おお、ありがとうございます
重ね重ね申し訳ないのですが、これによるとIOモナドの(>>=)はbindIOでbindIOは
bindIO :: IO a -> (a -> IO b) -> IO b
bindIO (IO m) k = IO (\ s -> case m s of (# new_s, a #) -> unIO (k a) new_s)
となっているのですが、ここでcase式を使っているのはどういった意図があるのでしょうか
letと同じ使い方ですか？

**デフォルトの名無しさん** · 2017/12/08(金) 00:03:17.81

caseは先に式を評価してからパターンに含まれる変数を束縛する

でもletには再帰があるかもしれないから先に変数束縛する
その変数を含むかもしれない式は遅延評価する

**デフォルトの名無しさん** · 2017/12/08(金) 00:12:07.08

>>329
なるほど、そうだったんですね
勉強になりました、ありがとうございます

**デフォルトの名無しさん** · 2017/12/09(土) 22:36:37.66

Stack の LTS 9.17 に repa って無いのな

**デフォルトの名無しさん** · 2017/12/10(日) 00:28:18.35

rapeならあるかも

**デフォルトの名無しさん** · 2017/12/13(水) 13:00:04.55

stackでパッケージをインストールする時にコンパイルしなくなったって話を聞いたけど本当ですか？
バイナリをダウンロードしてインストールするみたいな？
化石スペックの俺のパソコンでshellcheckのインストールで8時間以上かかった悪夢は解消されるの？

**デフォルトの名無しさん** · 2017/12/13(水) 13:14:20.26

【葬儀】たくさんの人があっけなく死んでいく
https://rio2016.5ch.net/test/read.cgi/sousai/1511694073/l50
【応報】藤原さやか『放射脳は恥ずかしい』→急死ｗ
https://medaka.5ch.net/test/read.cgi/csaloon/1511952872/l50
【内乱罪】フクイチで核ミサイルを製造していた疑惑
http://rio2016.5ch.net/test/read.cgi/disaster/1511410332/l50

**デフォルトの名無しさん** · 2017/12/16(土) 19:22:25.34

abc予想の解決で再び圏論が注目を浴びそうだ

**デフォルトの名無しさん** · 2017/12/16(土) 19:57:24.58

Haskell->圏論って流れはあるけど
圏論やっててHaskellに興味を持つ人もいるのかな

**デフォルトの名無しさん** · 2017/12/16(土) 21:07:33.28

圏論が何に役立つのか知らんけど、苦労して学んだ人が振り上げた拳の行き場が見当たらなくて
たまたま目についたHaskellをぶん殴ったんじゃないの
それは道端の石ころを蹴っ飛ばすように

**デフォルトの名無しさん** · 2017/12/16(土) 21:27:51.46

数学は案外行き当たりばったりに問題が解決されている
圏論で判明した同型について、ある分野で解決されていて
ある分野においてすっぽ抜けているところがあれば、その問題は解決できるとみなせる
このように現状のとりとめのない数学を整理するために圏論はあると言えるかもしれない
よって圏論自身から新たに得られる情報はあまりないだろう
だからあまり研究も進まない・・・

**デフォルトの名無しさん** · 2017/12/16(土) 22:31:29.81

Ekmettさんとかはどういうスタンスなんだろう

**デフォルトの名無しさん** · 2017/12/17(日) 08:25:26.21

圏論自体はものの見方とそのための記号だから、
圏論使ってる時点で、自分の応用分野もってるでしょう。
その場合、
圏論 -> universal algebra
圏論 -> functional programming
圏論 -> categorical stochastic relations
圏論 -> haskell
のように興味の対象が増える程度でhaskellだということに意味はなさそう。
圏論的アプローチは他の言語でもライブラリ群いろいろあるしね。

**デフォルトの名無しさん** · 2017/12/19(火) 05:44:21.31

プログラム・プロムナード／Haskellプログラミング-情報処理学会
http://www.ipsj.or.jp/magazine/promenade.html

**デフォルトの名無しさん** · 2017/12/19(火) 13:25:55.10

bakeの開発が終了したようですが、
同じ趣旨のライブラリは他にありますか？

**デフォルトの名無しさん** · 2017/12/19(火) 23:53:10.07

この会社って言うたらそこまでの規模じゃないだろうし実態もよく分かってない感じなのに
なんつーか、『ある傾向の人間性』の社員が現時点ですら目立ち過ぎだろ…

こぃぬ㌠‏ @Altalinux
スパコンに詳しくない人間がスパコンを語って
つい昨日PEZYを知ったような人間が補助金やら助成金やらを語るんですねえ地獄のような構図ですねえ

Hideyuki Tanaka‏ @tanakh
まじで特捜は「詳しい技術者」が「使い物にならないスパコン」に「巨額の資金」が流れてるというタレコミだけで、
オッそれは絶対におかしいなとか先走ったけど、調べても思ったようなのが出てこなくて困ってるんじゃないのか。

山田てるみ‏ @telmin_orca
つまりこの件は、アベガーとかカネノナガレガーとか言っておけば良いのであって、
技術的にどうとか言った瞬間に全力で殴られる案件だということだ

Hishinuma‏ @Hishinuma_t
例のPEZYが100億円不正受給の記事が何の謝罪もなく差し変わっている。

http://www.data-max.co.jp/291219_dm1545_2/ …

**デフォルトの名無しさん** · 2017/12/20(水) 00:50:37.50

まずはお前が騙し取った金返して謝罪しろよ

**デフォルトの名無しさん** · 2017/12/20(水) 18:40:30.98

tanakhさんはhaskellの日本での普及に貢献された方かもしれませんが
tanakhさんが勤める会社PEZY computingはhaskellとは関係ないのでは

**デフォルトの名無しさん** · 2017/12/20(水) 20:26:50.59

二位じゃダメなんですか陣営に失脚させられたかな

**デフォルトの名無しさん** · 2017/12/20(水) 20:29:03.05

初心者なのでtanakhさんって方を知らないのですがどんな方なんですか？

**デフォルトの名無しさん** · 2017/12/21(木) 00:28:08.74

tanakhさんは『すごい Haskell たのしく学ぼう！』の翻訳者の1人の田中英行さんのハンドルネームだよ　https://twitter.com/tanakh
ちなみにもう1人の翻訳者の村主崇行さんは今年亡くなられた　http://www.asj.or.jp/tennet/archives/msg07622.html

**デフォルトの名無しさん** · 2017/12/21(木) 00:42:32.53

tanakhは簡単に言うとプログラミングが得意な屑

**デフォルトの名無しさん** · 2017/12/21(木) 00:46:16.46

>>348
今すごいHaskellの訳者紹介見直したら村主さんのコメントがめっちゃ真面目で泣きそう
大損失だな……

**デフォルトの名無しさん** · 2017/12/21(木) 03:19:48.25

それでは本日の出場者を紹介してまいります。
先ずは田中英行。

tanakhでお馴染みのアカウント名は、大学時代、フルネームだかtanakahだかの取得に、被ったか弾かれたかで妥協してつけたのがその由来です。
高校の時にファミコンだかスーファミだかのエミュレーションソフトをネットワーク対戦可能な機能をつけて開発した（当時ネットワーク対戦機能を持つエミュは世界初）人で
この時学んだだろう、ファミコンの処理の仕様には一家言あり。
京都大学工学部（後期日程で合格）卒、東大院卒
競技プログラミングでは全盛期にTopCoderにてレッドコーダーまで登ったことがあり、
大学時代に大学対抗競技プログラミングの世界大会へ国内代表権を勝ち取って出場歴あり、
その頃知り合ったエリート達と Preferred Infrastructure（PFI）を創業。
後に体調不良で休職しPFIを辞めた後、Haskellで株式を取り扱うソフトウェアを開発するベンチャー（？）に就職も半年強でまた転職。その転職先がPEZY Computingであります。

Twitterではふざけてばかりおりますが、あれは頭のいい人特有の余裕みたいなもので
本当の彼は日夜PEZYのスパコンで最高のパフォーマンスを叩き出して世界ランキングを塗り替えるべく
ループ毎に20ナノ秒を削るカリカリチューニングコードを書き続けている本物のプログラマです
社長の詐欺疑惑の件で社内の様子が新聞に載った際、『5000兆FLOPS欲しい！』のパロネタを壁に掲示していたのも彼の仕業であります

すごいHaskell楽しく学ぼうの翻訳者の一人

夢はこの世からプログラマ（という職を自動化技術によって）消し去ること

猫が大好き。Haskellマスター田中英行──

**デフォルトの名無しさん** · 2017/12/21(木) 03:46:15.12

つよい

**デフォルトの名無しさん** · 2017/12/21(木) 04:49:39.43

京大首席合格(後期)

**デフォルトの名無しさん** · 2017/12/21(木) 06:35:36.91

プログラミングに関係ないプログラマの話は余所でやってほしい

**デフォルトの名無しさん** · 2017/12/21(木) 11:23:12.31

諸君、議論したまえ

**デフォルトの名無しさん** · 2017/12/21(木) 12:28:48.94

競プロに出てくるような座標がコロコロ動いたり表を作るような問題をHaskellで上手く解くにはどうしたらいいでしょうか
手続き型では二次元配列を更新しまくればいいのですが
さすがに毎回takeとdropでリストを作り直すのは悪手ですよね？

**デフォルトの名無しさん** · 2017/12/21(木) 12:52:34.50

悪手かどうかはコンパイラに聞いてみればいいんだろ
配列を更新しまくったらコンパイルエラーになるのか？
コンパイラが信用できないならLispとかErlangとかを使えばいい

**デフォルトの名無しさん** · 2017/12/21(木) 12:55:55.14

関数型っぽく解決するにはどうすればいいかを聞いてるのでは

**デフォルトの名無しさん** · 2017/12/21(木) 12:59:59.71

競プロは時間・空間計算量にシビアだから

**デフォルトの名無しさん** · 2017/12/21(木) 13:17:02.58

競技プログラミングと関数型プログラミングの両立を目指すのは良いと思うよ
ついでに手続き型と関数型も両立すればもっと良い

**デフォルトの名無しさん** · 2017/12/21(木) 14:20:53.11

C++でギリギリな問題でもない限りMapとかでもいけるけど
Mapで書きやすいかというとそうでもない

**デフォルトの名無しさん** · 2017/12/21(木) 15:30:56.14

>>356
具体的な例を挙げてくれないか？

**デフォルトの名無しさん** · 2017/12/21(木) 16:35:55.75

少なくとも報道をソースとするなら、斎藤社長は「詐欺を働いた」に等しいのよ。
平たく言うと「自分の意思で嘘をついた」と言い換えてもいい。

それを、「開発の失敗」だの「誤りやミス」だのと一緒にしようとする
ぺジー連中が馬鹿だと言ってるのよ。

失敗やミスによるものと、虚偽によるものでは明らかに
社会や法のあつかいが異なる、そんなことも知らないのか、
知ってて敢えて誤魔化そうとしてんのかよぺジーのスパコン馬鹿は、って話。

**デフォルトの名無しさん** · 2017/12/21(木) 18:27:40.50

>>363
Haskellと関係ない話だろ
>>354を読めない人か

**デフォルトの名無しさん** · 2017/12/21(木) 18:36:28.75

釣られるな

**デフォルトの名無しさん** · 2017/12/21(木) 19:45:14.05

お前はスレチの馬鹿

**デフォルトの名無しさん** · 2017/12/21(木) 20:21:25.77

最近毛の壁みないな

◆QZaw55cn4c · 2017/12/22(金) 06:04:00.73

>>367
あの情熱はぜひとも獲得したいと思っているのですが…

**デフォルトの名無しさん** · 2017/12/22(金) 12:35:38.59

情熱だけで正しい知識が伴ってないとダメ

**デフォルトの名無しさん** · 2017/12/22(金) 12:46:49.98

f = reverse . reverse

main = print $ f [1..10]

みたいに書いたときって、reverse関数が2回実行されますか？
結果が変わらないからされないですか？

**デフォルトの名無しさん** · 2017/12/22(金) 13:27:52.08

そのままではされてしまいます。しかしメタプログラミングを用いて reverse . reverse を静的に除去可能です

**デフォルトの名無しさん** · 2017/12/22(金) 13:46:49.38

そういう除去って、reverseは逆順だっていう知識をアプリオリに与えておくの？
それとも定義から解析して無意味じゃんって判断できるの？

**デフォルトの名無しさん** · 2017/12/22(金) 15:11:53.84

RULES プラグマです。

**デフォルトの名無しさん** · 2017/12/22(金) 16:02:02.05

りょ。
サンクス

**デフォルトの名無しさん** · 2017/12/22(金) 16:36:48.40

>>371
ありがとうございます
さすがに出来ないだろと思ってたんですが方法はあるのですね
プラグマはまだ明るくないのでもっと勉強します

**デフォルトの名無しさん** · 2017/12/22(金) 19:53:35.68

foldl f a . reverse → foldr (flip f) a
みたいなルールはあってもいいかもね
reverse = foldl (flip (:)) [] だから
reverse . reverse == foldr (:) [] == id
後者の変換はghc標準でflipは簡約で消えると思う

**デフォルトの名無しさん** · 2017/12/23(土) 14:41:19.28

pezyは嘘ついて補助金だまし取って、一部を私的に流用したから逮捕されたのに、
まるで開発が計画通り進まなかったから逮捕されたかのように
印象操作しているから悪質

**デフォルトの名無しさん** · 2017/12/23(土) 15:19:44.84

べつに誰も何も言ってないだろ
おまいがそう解釈しただけでは

**デフォルトの名無しさん** · 2017/12/23(土) 15:21:59.98

Haskellと関係ない話なんだよな

**デフォルトの名無しさん** · 2017/12/23(土) 16:45:07.96

Haskell で開発されたアプリケーションのソースで、こういう形のものがある。

---[ Main.hs ]---
module Main where
import Application (runApp)

main :: IO ()
main = runApp

---[ Application.hs ]---
module Application (runApp) where

runApp :: IO ()
runApp = do
　ほりゃらら

つまり、Main モジュールにはできるだけ何も書かず、別のモジュールに仕事を移譲している。
中には runApp 関数を一つ持つ Application クラスと、そのインスタンス型が一つだけ定義されている事もある。

このような実装の runApp 関数が実際に担っているロールはどれもアプリのエントリポイントだ。
しかし、これはまさに main 関数のロールではないだろうか。
main 関数が本来担う仕事を他の関数に丸投げする事にどのような意味やメリットがあるのだろうか。

**デフォルトの名無しさん** · 2017/12/23(土) 17:10:50.49

PEZYのスレ立ててそっちでやってください

**デフォルトの名無しさん** · 2017/12/23(土) 17:47:20.71

>>380
runAppとは別の処理をrunAppの前後に入れるときにmainに書き足すだけで楽とかじゃね？

**デフォルトの名無しさん** · 2017/12/23(土) 19:57:22.35

おれはmainに直接書くわ。Haskell以外でもそうしてる。

**デフォルトの名無しさん** · 2017/12/23(土) 20:06:53.43

stackで新規プロジェクト作成するとmainからsomeFuncに飛んでるよね

**デフォルトの名無しさん** · 2017/12/23(土) 20:30:46.09

そう…（無関心）

**デフォルトの名無しさん** · 2017/12/23(土) 22:07:15.33

Advent Calendar催促おばさんが面白い

**デフォルトの名無しさん** · 2017/12/23(土) 23:15:34.86

>>380
runAppの処理を別のモジュールやアプリに組み込みたいとき、名前がmainだと困る、とか

**デフォルトの名無しさん** · 2017/12/23(土) 23:54:48.18

>>382
楽かどうかという視点ならば、前後に入れるだけなら、
その手間は runApp 関数の中に入れるのと同程度ではないか？

別の処理だからという視点ならば、確かに一見理にかなっていそうたが、
アプリが立ち上がった直後、エントリポイントのロールよりも前に仕事をするものとは、
いったいどのようなロールなのだろう？
私が見てきたアプリでは、runApp 関数の中でコマンドライン解析や設定ファイルの読み込み、
ログシステムの構築なども行っていた。
要するにアプリを動かす準備だ。
準備をする前にすべき事とは？

>>387
runApp 関数内にそのアプリ専用のエントリポイントが書かれたものしか見たことがなく、
それを別のモジュールやアプリに組み込むという状況が想像できないのだが、
具体的にどういう事なのだろう？
その場合、関数名が main だとなぜ困るのだろう？

**デフォルトの名無しさん** · 2017/12/24(日) 02:26:59.79

>>378
社員が総出でtwitterで開発が上手くいかなかったから詐欺にされたって
デマ流しまくっているじゃん

**デフォルトの名無しさん** · 2017/12/24(日) 07:27:03.02

最近毛の壁みないな

**デフォルトの名無しさん** · 2017/12/24(日) 13:10:48.98

壁毛ならマ板にスレあるよ

**デフォルトの名無しさん** · 2017/12/25(月) 01:09:51.28

pythonにはxonshとかいうシェル言語があるらしい
http://vaaaaaanquish.hatenablog.com/entry/2017/11/30/175236
これのHaskellバージョンがあれば便利じゃないか。
Haskellとの親和性は高いと思う。シェルスクリプトって要はコマンドのコンビネータだし、コマンド呼び出しの構文は関数適用によく似てる。

**デフォルトの名無しさん** · 2017/12/25(月) 01:12:38.31

ただ、ls -a -l -d hoobar みたいなのをシームレスに書くのはチャレンジングな課題だ。
引数の文字列リテラルのリストなどをコマンドラインにイチイチ打ち込むのは面倒くさい。
RebindableSyntaxでマイナスを定義し直して、、いや、悪手っぽいか。
なるべくHaskellを書いていきたい。いちばん身近なところを置き換えられたなら、とても良い。

**デフォルトの名無しさん** · 2017/12/25(月) 05:14:44.74

haskellバージョンのイメージわかないけど
haskellシェルは何がどう便利になるというの？

**デフォルトの名無しさん** · 2017/12/25(月) 12:02:29.99

pythonの真似だから便利さもpythonと同じになる計画なんだろ
同じにならなかったら、計画通りに行動しなかった奴が戦犯で、計画立てた奴は無罪

**デフォルトの名無しさん** · 2017/12/25(月) 12:28:50.13

Haskellシェルだとhsshとかになるん？

**デフォルトの名無しさん** · 2017/12/26(火) 01:06:43.66

シェルスクリプトを使えばいいと思う
なぜコマンドの実行にHaskellを使う必要があるのか

**デフォルトの名無しさん** · 2017/12/26(火) 11:29:24.52

まあconfigureスクリプトにはm4とかいうプリプロセッサがあるから意外と難しいよな

**デフォルトの名無しさん** · 2017/12/29(金) 04:23:00.56

EzoeがいつHaskellに飽きて堂々とディスり始めるのか楽しみ

**デフォルトの名無しさん** · 2017/12/29(金) 05:30:43.56

ガチC++erから見たHaskellというのに少し興味が湧いている

**デフォルトの名無しさん** · 2017/12/29(金) 05:56:52.00

仕様壊れてるC++に慣らされきった人間にHaskellの厳格さの価値がわかるのかねぇ
静的型不要論的な妄言吐きそう

**デフォルトの名無しさん** · 2017/12/29(金) 13:11:23.08

江添っぽさがふんだんに盛り込まれていてよい

**デフォルトの名無しさん** · 2018/01/01(月) 12:12:22.18

この人は本当にプログラム書けるのかと不安になることがあるよな。
はっきり言ってc++普及に関しては逆効果をあげてるとしか思えん。

**デフォルトの名無しさん** · 2018/01/01(月) 16:00:21.64

芸人だと思って見てるわ

**デフォルトの名無しさん** · 2018/01/01(月) 16:42:32.16

老害の見本

**デフォルトの名無しさん** · 2018/01/01(月) 16:44:34.98

ローカルマシンにある jenkins において、haskell コードのビルドに stack を使いたいのですが、
その際に環境変数として HOME が設定されていないと使えません。

そこで、ビルド時に使うシェルスクリプト内で HOME を JENKINS_HOME に設定しましたが、
このディレクトリでは何か問題あるでしょうか。
取りあえずやってみましたら、今のところ特に問題なくビルドできていますが・・・

スレチでしたらすみません。

**デフォルトの名無しさん** · 2018/01/01(月) 18:03:12.68

>>406
jenkinsはわからないがstackはどうやら $HOME 直下に .stack ディレクトリを作って
そこに(必要なら)ghcとかをインストールするらしい。
例えばconfig.yamlもそこに入っているので、普段の$HOMEにそれがある場合は、jenkinsでのビルドと設定が変わってしまう。
とはいえ、このファイルが働くのは特定のプロジェクトに属さない動作のとき(stack newとか)だけっぽいので、
ディスクの容量が切迫してるとかでない限り、問題ないんじゃないかな。

**デフォルトの名無しさん** · 2018/01/02(火) 00:37:55.48

C#しか知らない大学生なんだが関数型を理解したいんだが何すれば

**デフォルトの名無しさん** · 2018/01/02(火) 01:13:22.41

H本を読む

**デフォルトの名無しさん** · 2018/01/02(火) 01:16:32.50

F#と比べてどれがいい？

**デフォルトの名無しさん** · 2018/01/02(火) 01:21:41.45

は？勉強目的なら言語名でググって検索件数が多いやつのほうが解決策見つけやすいだろHaskell一択だろぉ

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

まずHの練習からしたほうがいい

**デフォルトの名無しさん** · 2018/01/02(火) 01:59:58.11

>>411
そうなんですか

**デフォルトの名無しさん** · 2018/01/02(火) 02:11:04.88

F#もいいけどまずはHaskellの純粋さに感動してからの方が良いよ

**デフォルトの名無しさん** · 2018/01/02(火) 08:11:19.29

言語仕様はもちろんとして純粋関数型のデータ構造やアルゴリズムも合わせて学習しないと手詰まりになる

**デフォルトの名無しさん** · 2018/01/02(火) 13:53:49.75

状態マシンでなく関数合成に持ち込む為の定番手法，
例えばiteratee？とかの知識も知りたい。

**デフォルトの名無しさん** · 2018/01/03(水) 00:36:59.01

なぜ関数プログラミングは重要か
http://www.sampou.org/haskell/article/whyfp.html

**デフォルトの名無しさん** · 2018/01/03(水) 00:53:21.23

関数型脳を鍛えるにはHaskellがよい

**デフォルトの名無しさん** · 2018/01/03(水) 01:24:32.28

プラグマとかシンタックスシュガーのオプションがやたらあって、
古い構文がデフォルトでなくなったり、いまだに安定してないイメージが強い

**デフォルトの名無しさん** · 2018/01/03(水) 03:21:56.48

安定してるプログラミング言語ってあんの？

**デフォルトの名無しさん** · 2018/01/03(水) 04:47:00.22

拡張の数は標準の安定性と関係ないし非推奨になった構文も知る限り２，３個程度しかないし言うほど安定してなくはないと思うよ
主要な拡張の破壊的変更も多ければ不安定だがそこは知らん

安定してる言語の話題たまに出るけどどの言語もそれなりに不安定という結論以外になったとこ見たことない

**デフォルトの名無しさん** · 2018/01/03(水) 10:58:30.19

>>420
そらLispよ

**デフォルトの名無しさん** · 2018/01/03(水) 13:51:49.16

枯れ

**デフォルトの名無しさん** · 2018/01/03(水) 19:39:52.12

そういや使用安定してるからで極地でCLが使われてたな

**デフォルトの名無しさん** · 2018/01/03(水) 19:43:20.34

x86アセンブラ、めっちゃ枯れてますよ。

**デフォルトの名無しさん** · 2018/01/04(木) 01:39:52.22

https://i.imgur.com/uOo7sWV.gif

**デフォルトの名無しさん** · 2018/01/05(金) 10:31:44.65

>>407
アドバイスありがとうございました。
参考にします。

**デフォルトの名無しさん** · 2018/01/06(土) 13:51:16.58

再帰ってわかりにくくないですか？
実際によく使われているんですか？