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

**デフォルトの名無しさん** · 2020/02/10(月) 18:17:36.49

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

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

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

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

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

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

**デフォルトの名無しさん** · 2020/02/10(月) 18:28:11.16

質問すると埋まりそうだったので新スレ立てさせてもらいました

Stringで長さ(文字数)ではなくUTF-8コードとしての総バイト数を知れるような関数はありますか？

**デフォルトの名無しさん** · 2020/02/10(月) 20:12:23.49

ご苦労さん。関連サイトがやや古くなっている感があるね。
追加

日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp

**デフォルトの名無しさん** · 2020/02/10(月) 20:13:34.39

>>4
:set -XOverloadedStrings
import Data.Text.Lazy (Text)
import Data.Text.Lazy.Encoding (encodeUtf8)
import Data.ByteString.Lazy (unpack)
length . unpack . encodeUtf8 $ ("あ" :: Text )
-- 3

**デフォルトの名無しさん** · 2020/02/10(月) 21:23:34.40

>>6
ありがとうございます！

>>5
リンク切れは修正したのですが全くお気楽じゃないページにリンクしてしまいましたｗｗｗ

お気楽 Haskell プログラミング入門
http://www.nct9.ne.jp/m_hiroi/func/haskell39.html
↓
お気楽 Haskell プログラミング入門
http://www.nct9.ne.jp/m_hiroi/func/haskell.html

**デフォルトの名無しさん** · 2020/02/10(月) 22:24:04.13

haskellはオワコンなの？

**デフォルトの名無しさん** · 2020/02/11(火) 11:04:03.53

universe-base パッケージに Data.Universe.Helpers.diagonals という関数があって、

diagonals [[1,2,3,4], [5,6,7,8], [9,10,11,12]] = [[1], [5,2], [9,6,3], [10,7,4], [11,8], [12]]

という、つまり行列を対角線状に走査して並べ直す計算をしてくれる。
で、これの関数定義がかなりシンプルなんだ。

diagonals :: [[a]] -> [[a]]
diagonals = tail . go [] where
go b es_ = [h | h:_ <- b] : case es_ of
[] -> transpose ts
e:es -> go (e:ts) es
where ts = [t | _:t <- b]

簡単な行列で関数を展開してみると何をやっているのかよく分かる。

これ考えたヤツ天才じゃね？
今の俺は他人のソースを展開して理解するので精一杯だけど、
いつかこんな関数定義ができるよう精進したい。

**デフォルトの名無しさん** · 2020/02/11(火) 13:36:26.72

>>9
こんな関数いつ使うん？

**デフォルトの名無しさん** · 2020/02/11(火) 14:18:49.70

J言語でも同様の操作は用意されている。
___ a =: >: i. 3 4
1 2 3 4
5 6 7 8
9 10 11 12

___ </. a
+-+---+-----+------+----+--+
|1|2 5|3 6 9|4 7 10|8 11|12|
+-+---+-----+------+----+--+

**デフォルトの名無しさん** · 2020/02/11(火) 18:22:03.26

畳み込み計算(foldじゃなくてconvolutionの方)とかやりたいときにあると便利かも？

**デフォルトの名無しさん** · 2020/02/12(水) 08:25:26.33

昔話Project Eulerをhaskellで解くのに同じ役割の関数を自作した記憶がある

**デフォルトの名無しさん** · 2020/02/12(水) 13:37:04.81

そもそも天才じゃないとやりたいことが出来ない言語ってどうなんだ

**デフォルトの名無しさん** · 2020/02/12(水) 13:53:42.16

別に他の言語でも10倍量書けば同じことが出来るんだから使わなければいいだけ
共同作業の時は困るから天才だけでチーム組んでもらえばいい

**デフォルトの名無しさん** · 2020/02/12(水) 14:24:47.66

凡才も天才もほぼ同様に書けるpythonのような素晴らしい言語より、
凡才でも拙く書けるけど天才ならシンプルに書けるhaskellのような素人お断りな言語の方が好き。

魔法みたいで中二心をくすぐられるし、学ぶ意欲がわく。

まぁ、仕事の道具としては迷わず前者を使うけど。

**デフォルトの名無しさん** · 2020/02/12(水) 20:45:42.48

>>9
Rなら同様の関数をもっと短く分かりやすく書ける。

diagonals <- function(A) lapply(2:sum(dim(A)), function(i) A[row(A) + col(A) == i])

diagonals(matrix(1:12, 3, 4, byrow = TRUE))

これで [[1], [5,2], [9,6,3], [10,7,4], [11,8], [12]] というベクトルのリストが
生成される。

>>16
そうだな。プログラミング言語は問題を解くための道具だが、Haskellの場合、
プログラミング言語自体が解くための問題になっている感じ。

**デフォルトの名無しさん** · 2020/02/12(水) 22:22:34.78

Haskellの書き方極めればC言語に匹敵する速度が出せるって聞いたんだけどマジ？

**デフォルトの名無しさん** · 2020/02/13(木) 00:18:51.95

>>18
嘘

**デフォルトの名無しさん** · 2020/02/13(木) 02:31:41.26

>>17
短さはともかく解りやすさは一概には言えないと思う。こんなのはどうかな
l = take 3 . unfoldr (Just . splitAt 4) $ [1..12]
diagonals l = map catMaybes . transpose $ zipWith (<>) (inits . repeat $ Nothing) (map (map Just) l)

> プログラミング言語は問題を解くための道具だが、Haskellの場合、
> プログラミング言語自体が解くための問題になっている感じ。
これは言い得ていると思う。Haskell の色んな所に入り込んだ抽象化のおかげで、
従来、アプリを作る末端のプログラマーが各々処理していた仕事が、ライブラリやコンパイラ側に吸い上げられる。
だから全体としての仕事の総量は少なくなる。でもそのかわり、ある程度書けるためにはベースの抽象に慣れる必要がある。
fmapってなに/モナドってなに/Foldableってなに/Lazyってなに... 学習コストは他の言語に比べてずっと高い。

>19
> Haskellの書き方極めればC言語に匹敵する速度が出せる
可能だよ
https://chrispenner.ca/posts/wc

**デフォルトの名無しさん** · 2020/02/13(木) 04:40:03.75

>>20
それ前にも紹介されてて俺もすげーなと思ったが、よく考えると、
じゃあ今wcやlsのようなLinuxコマンドをhaskellで書きたいかと聞かれれば、
べつにいいやと応える。

もっとこう、せめてSwichやPS4のインディーズゲームや、
窓の杜の人気編集ソフトレベルのアプリで、
Cと張り合う猛者は居ないのかな。

Darcsだって肝心の速度ではgitに敵わなかったわけだし。

前に、ブロック崩しでCと比較した人が居たような気がしたが、
どこのページだったかな。

**デフォルトの名無しさん** · 2020/02/13(木) 16:46:02.30

>>21
俺はコマンドラインユーティリティを Haskell で作るのイイナって思ってる。
型の恩恵でヘルプとか書き漏らさないし、単純な計算なら自動でコマンド化できるっぽい。

Haskell 製のゲームは何故かとても少ない。こちらとか
https://store.steampowered.com/app/591640/Light_It/?l=japanese

beatmaniaのような音ゲーを120行で実装するって触れ込みのチュートリアル
http://fumieval.github.io/rhythm-game-tutorial/ja.html

**デフォルトの名無しさん** · 2020/02/13(木) 17:49:26.84

>>9
Rubyだと

def diagonals(a)
m = a.size
n = a[0].size
a.flatten.group_by.with_index{|v,i| i/m+i%n}.values
end

**デフォルトの名無しさん** · 2020/02/14(金) 14:43:09.16

Haskellで書かれた他人のコードって詠みにくいと思うのは俺だけか？
型クラスやモナドが難しいというより、何がどこで定義されてるかよくわからんし、どういう動作をする関数なのかがぱっと見でわからん。

**デフォルトの名無しさん** · 2020/02/14(金) 16:56:30.18

言語というより、可読性に対する意識の問題だと思うよ
みんな薄々読みにくいと思ってるけど、互いに頭悪いと思われてマウント取られるのが怖くて言い出せないから、読みにくいコードはいつまでも読みにくいまま
実用言語では「俺が読めないのは書いた奴が悪い」が基本なので、互いに指摘しあうことで自然と改善されていく

**デフォルトの名無しさん** · 2020/02/14(金) 16:59:16.33

>>24
千差万別としか言いようがない。
Github や hackage にあるコードを見ても、分かりやすいものもあれば、そうでないものもある。
CやJava、Python などと比べて、特に差は無いように思えるが。

何かが定義されている場所は同じモジュール内か、さもなくばインポートしているモジュール内なんだから、
検索すれば見つかるでしょ。
よくわからん、という意味がよくわからん。

動作がぱっと見でわからんというのは、それこそhaskellに限った話ではないのでは？
言語の習熟度や、そのコードで解いている問題のジャンルにもよるでしょ。

**デフォルトの名無しさん** · 2020/02/15(土) 10:44:39.37

The build process was killed (i.e. SIGKILL). The typical reason
for this is that there is not enough memory available (e.g. the OS killed a
process using lots of memory).
へんなエラーが出来て今までコンパイルできなものが急にできなくなった
Haskellは最悪
もう使いたくない

**デフォルトの名無しさん** · 2020/02/15(土) 10:58:18.94

頭が悪い奴が作るとすぐメモリ不足になると死んだじっちゃんが言っていた

**デフォルトの名無しさん** · 2020/02/15(土) 12:35:42.03

テンプレートハスケルをつかったでっかいソースだからなるのかな
一つのファイルコンパイルするのに１０分位掛かるんだけど
分割するようにすればなおる？

**デフォルトの名無しさん** · 2020/02/15(土) 14:01:44.69

>>24
問題の関数を使っているモジュールをghciにロードして:iコマンド使えば、
それがどのモジュールで定義されているのか分かるが、
そう言うことではなく？

**デフォルトの名無しさん** · 2020/02/15(土) 16:54:40.60

GHC本体も重いけどhaddockもクソ重なんだよなぁ…
Haskellで実用的なプログラムは書けないということなのか、
単にhaddockの設計がアレなのか…

**デフォルトの名無しさん** · 2020/02/15(土) 17:37:02.81

ちょいとしたwebサーバーなら良いかもと思うがそれならほかの選択肢があるんだよな。。

**デフォルトの名無しさん** · 2020/02/15(土) 17:41:30.59

cabalのbaseのバージョンって指定しないとぶっ壊れてコンパイルできなくなるんだな
ハスケルには罠が多すぎる

**デフォルトの名無しさん** · 2020/02/15(土) 18:24:38.72

お前らのマシンスペックは？

**デフォルトの名無しさん** · 2020/02/15(土) 18:44:53.36

>>33
ふーむ
cabal ファイルに書くパッケージのバージョン制限は、
その範囲ならなんでもビルドできますよ、サポートしてますよってサイン。
だから base 含め妥当なバージョンを書いておくべきってのは言えるけど…

状況はリビルドしただけで依存パッケージのバージョンが上がって壊れた、みたいな感じかな？
cabalってそんな風に動作するんだっけか

**デフォルトの名無しさん** · 2020/02/15(土) 22:05:32.62

>>31
全パッケージの情報をメモリに保持してるんじゃ重くもなるよね…
全部メモリに載ればいいけどそうでなければスラッシングの嵐…
https://github.com/haskell/haddock/issues/462#issuecomment-375822456

**デフォルトの名無しさん** · 2020/02/15(土) 22:07:07.48

苦節1ヶ月ようやく一歩前進
Haskellがどういう言語か垣間見た気がする

**デフォルトの名無しさん** · 2020/02/15(土) 23:05:59.57

>>24
「読みにくい」ではなくて「詠みにくい」かｗ

**デフォルトの名無しさん** · 2020/02/17(月) 22:23:26.89

よっしゃ～
JSONパーサーが一応完成！！
長かった…TT

**デフォルトの名無しさん** · 2020/02/18(火) 01:39:25.24

おーおめでとう～

**デフォルトの名無しさん** · 2020/02/18(火) 05:30:54.79

>>39
Githubで公開しようぜ

**デフォルトの名無しさん** · 2020/02/18(火) 19:15:31.61

>>40
あざっす
>>41
コンバーターを作る前段階としてのパーサーなのでコンバーターとして完成したら公開する予定です
今はdo、コピペ多用で見苦しいことになってますしｗｗｗ

**デフォルトの名無しさん** · 2020/02/27(木) 10:14:58.86

PowerShellのリダイレクトに悩まされた
プログラムやHaskell側のエンコーディングの問題かと思ったらPowerShellの問題だった

**デフォルトの名無しさん** · 2020/02/28(金) 00:06:13.33

ハスケルむずくて嫌い
OOPっぽく拡張可能にしようとするとつい存在量化したくなってわけわからなくなる

**デフォルトの名無しさん** · 2020/02/28(金) 01:47:53.28

>>44
目標や方針を明確にしないでなんとなくプログラムすると、
拡張可能化に限らず訳わからなくなることが多いね。
haskellは特に。

だから俺は、面倒でもごく直近のゴールとその道筋をノートに書いてから、
コーディングするように心掛けてる。
頭の中だけで出来るヤツもいるけど、俺はまだ無理。

**デフォルトの名無しさん** · 2020/02/28(金) 04:53:58.95

Writing implicit global project config file to: C:\sr\global-project\stack.yaml
Note: You can change the snapshot via the resolver field there.
Using latest snapshot resolver: lts-15.1
Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail
No setup information found for ghc-8.8.2 on your platform.
This probably means a GHC bindist has not yet been added for OS key 'windows32'.
Supported versions: ghc-7.8.4, ghc-7.10.1, ghc-7.10.2, ghc-7.10.3, ghc-8.0.1, ghc-8.0.2, g
hc-8.2.1, ghc-8.2.2, ghc-8.4.1, ghc-8.4.2, ghc-8.4.3, ghc-8.4.4, ghc-8.6.1, ghc-8.6.2, ghc
-8.6.3, ghc-8.6.5

32bit版のWindowsでhaskell Stackが使えない人は
C:\sr\global-project\stack.yamlファイルの
resolver:部分をlts-13.11に変更すればghcのインストールが出来るよ。

GHC8.6.4からは32bit Windowsに対応していない
https://www.haskell.org/ghc/download.html
ページの下に「LTS 13.11 for ghc-8.6.3, published 12 months ago」と書いてあるので
stack.yamlファイルを編集してこのLTSバージョンを指定した後にstack newコマンドを実行すれば
ghcのインストールが始まるよ。
https://www.stackage.org/

**デフォルトの名無しさん** · 2020/02/28(金) 05:14:00.81

>>34
OS : Windows 8.1 32bit
CPU : Atom Z3735F 1.33GHz
RAM : 2GB
eMMC : 64GB

**デフォルトの名無しさん** · 2020/03/02(月) 10:29:59.00

今までなんとなく難しそうと思って避けてたProfunctor Opticsだけど、ようやくちゃんと勉強し始めた

**デフォルトの名無しさん** · 2020/03/02(月) 19:46:53.52

自分も面白そうなので読んでみよう。

>>48
そういうのってどこで情報を仕入れてくるん？

**デフォルトの名無しさん** · 2020/03/03(火) 00:52:57.62

>>49
自分は圏論をBartosz Milewskiの動画や本で勉強してるから、
彼のブログやTwitterがメインの情報源だなあ