◎正当な理由による書き込みの削除について： 生島英之 とみられる方へ:関数型プログラミング言語Haskell Part31©2ch.net ->画像>6枚
動画、画像抽出 ｜｜
この掲示板へ
類似スレ
掲示板一覧 人気スレ 動画人気順
このスレへの固定リンク： http://5chb.net/r/tech/1506447188/ ヒント： http ://xxxx.5chb .net/xxxx のようにb を入れるだけでここでスレ保存、閲覧できます。
関数型プログラミング言語 Haskell について語るスレです。
haskell.org (公式サイト)
https://www.haskell.org/ 前スレ
関数型プログラミング言語Haskell Part30
http://mevius.2ch.net/test/read.cgi/tech/1484491434/ 質問させてください
https://ideone.com/hreKZz 前スレの分割集合のアルゴリズムをdp風にしてみたけど
結局リストを作るコストは同じだからむしろ遅くなったわ
Haskell 入門書の新刊が、今日付で発売。
『Haskell入門 関数型プログラミング言語の基礎と実践』技術評論社、￥3,280(税別)
http://gihyo.jp/book/2017/978-4-7741-9237-6 (一部ページのサンプルpdfあり)
https://www.amazon.co.jp/dp/4774192376 日本人の書くHaskell本は入門書ばっか。
だって関数プログラミングについて深い内容を書けるだけの知識と見識のある人間なんて日本にはいない
誰か、競プロを生き抜くためのHaskell TipsをKindle出版してくれ
>>10 haskell-masterことtanakh大先生に頼むしかないな
Glorious haskell-master tanakh is crazy about Rust these days.
>>11 何を以て中級と言えるか分からんが、
実用的なアプリを作るのに欠かせない技術や考え方を学ぶという観点なら
http://www.apress.com/us/book/9781430262503 を勧める。
タイムマシンを販売するWebストアを作るという体で解説が進む。
(なぜタイムマシンなのかは最後に分かる)
名前に Beginning とあるが、Beginning なのは第１部だけで、
第２部以降は実戦色が強くなる。
この本の大きな特徴は、第２部以降は必要性が出てきた段階で、
必要な分だけ Haskell の構文やライブラリや技術などの解説がされることが多いこと。
たとえばアプリのリソースの扱い方を学ぶ段階で初めて
IOモナドによる入出力の解説が登場するのは当たり前だが、
それと同じ章で Conduit や Binary Serialization の解説が登場する。
実用的なアプリの作成において、これらでリソースを扱うのが非常に有用だからだ。
入門書では前半で出てくるような型がこの本では後半で出ることもある。
入門書をしっかり理解できているのなら適当に読み飛ばしたくなる所もあると思うが、
そこで作った型や関数は後で使うことが多いので、復習と思ってぐっと我慢すべし。
個人的には、アーキテクチャレベルの章が無いのが残念。
新しくでたHaskell本、田舎に住んでる自分的にはいい感じだわ。
例えば、undefinedをAgdaのホールみたいに使えるとか知らんかった。
実際何か作ろうとなったときに今どのライブラリでどう作ればいいかの道筋を示す本はないから
>>19 ないね。
理論的な部分はこれまでの良書で固めて、
上で書いたような、俗っぽい（悪い意味ではない）部分を補充、といった感じかと。
ところで、今Webアプリってブームなの？
ゲーム作るならFRPなの？
Elm、FRPやめたってよ
えええ。。。じゃあHaskellでゲームって、なんのライブラリ使って作るの
自分で作ってみるのはどうでしょうか？
HaskellによるゲームプログラミングにFRPを使うメリットがない。
みんなhaskellで何するの？
stackがあればハスケルコンパイラーインストール必要ないんやな。
神様ありがとう、ハスケルに会わせてくれて
>>32 C言語の倒し方を発見する
またはC言語を倒せないことを証明する
>>32 あえて言おう
自分自身の処理系を記述できない処理系はクソ
Eq クラスや Show クラスのように default deriving として使えるクラスを自作することはできますか？
Haskellによる関数プログラミングの思考法
Richard Bird (著), 山下伸夫 (翻訳)
https://www.amazon.co.jp/dp/4048930532/ この本ていいの？
すぐ教えろ
C++ Rust Haskellは言語とライブラリを見るだけで楽しめるが
>>39 ありがとうございます。
その本を借りてみます。
>>40 「関数プログラミング 珠玉のアルゴリズムデザイン」のための良い入門書って感じ
REPLでlet文ごっそり複数行貼れるんだね。
Data.MapのfromListとtoListはキーが例えば自然数なら自動で昇順になるのですか？
Functional Pearl って何？ 自分で名乗ってもいいの？
vectorパッケージでリスト内包表記的なのってありますかね？
bindの連結がよくわかってないので質問させてください
Just 10 >>= (\x -> return (x + 1) >>= (\y -> return (x + y + 2))
do
カッコで括らない限りラムダ式のリテラルを使うとそれ以降はラムダ式の内側になるから
>>63 let と where を同時に使わない、さえ守ればまあ。
https://wiki.haskell.org/Let_vs._Where ちなみにcaseを使わないでパターンガードで書くと
ガードをまたげる where の方が書きやすいので
個人的にはまさにcaseもletも使わない
使う意味がわからない
値ならlet、関数ならwhereみたいな使い分けしてるわ
左上から順番に読んで引っかかる時はlet使うかな。パターンガードはwhere一択だね。
foo = \ n -> let xs = map fib [0 ..] in xs !! n
宗教で思い出したんだけど、みんなエディタは何使ってる？
https://github.com/rainbyte/haskell-ide-chart Atom派が増えてきた気がする(Stepwise Debuggerってなんだろう)。
vimのlanguage server対応がもっと進んだらvimに戻りたい
HIE知らんかった。試してみよう。
プログラミングに限らず、およそ文字列を編集する作業において、
タイプミスが多いのでキー入力コマンド操作とか誤操作ばかりで死ぬ
CoqとかAgdaもやろうとしてたからEmacs一択で、
Spacemacs知れようとして、Emacsのバージョン足りなくて死んだ
静的どころか参照透明なんだし、補完は充実してほしいよなあ。
そんな「絞り込み」はそもそもできないしすべきでもない
>>87 できそうな気がするけど。
…-> Pen のような関数がないって事がわかってて、
penの型定義も限定されてるから、そこに書くことのできる値は限られてる。
>>85 その絞り込みの是非は置いておくとして、「参照透明」と「絞り込み」の関係がよく分からん。
その例だと、参照透明である必要はないと思うが。
>>89 そうだね。絞り込みについては静的であれば充分。
参照透明なら実行中に値が変わることがないから、例えばShowしたものを補完候補としてリストアップできる。
id やら const やらの問題はさておき
>>88 その例なら簡単にできるけど、一般的には相当厳しいと思うよ。
型がシノニムだったら、辿って元の型を探さないといけないね。
import されてたら、それも全て辿らないといけないね。
template が使われてたら、展開しないといけないね。
Cプリプロセッサが使われてたら、これも展開しないといけないね。
型を決定するのに関わる事は他にもいっぱいある (言語拡張とか)。
あと、参照透明は破られないという前提で話してると思うけど、
unsafePerformIO 関数があることを忘れないように。
まずは自動車を二人で運転したり、独裁者が二人いる国を作ってみればいいのだ
>>94 作れるよ。
フレームワークもいくつかあるし、入門書もある。
webフレームワーク周りは一時期乱立とは言わないまでもだいぶ混乱してた印象があるけど
すみません、ある型とその取扱い関数の
>>97 ライブラリ探す暇があったら自分で書いたほうが早いだろ
import Data.List (find)
type Range = (Double,Double)
blah :: Double -> [Range] -> Maybe Range
blah x rs = find (¥(inf,sup) -> inf <= x && x <= sup) rs
ranges = [(0.0,1.0),(1.0,2.0),(2.0,4.0),(4.0,8.0)]
main = print $ blah 1.5 ranges
辞書ファイルから欲しいデータを抜くのに使ってるけど、
>>92 参照透明性を破壊するようなunsafeの使い方はするべきじゃない。
利用者に、穴の空いたトランポリンで跳ね回れと言ってるようなもんだぞ。
>Haskellだとライブラリ使うというより、
＞穴の空いたトランポリンで跳ね回れ
>>106 それは分かってる。
その意見には俺も全面的に賛成だよ。
ただ、やろうと思えばできてしまうんだよ。
例えばコマンドラインパーサーの CmdArgs パッケージでは unsafePerfirmIO が使われてる。
(なかなか使い勝手が良いライブラリなのに玉に瑕で残念)
だから、参照透明が保たれているという前提で補完機能を作るわけにはいかない。
一般的には透明性が保たれてるならunsafeを使っても大丈夫だよね。
>>109 CmdArgs パッケージは、初見だけど… うーん。なぜこんな風になってるんだろう。
IOにするわけにはいかんのだろうか？
Haskell使ったプロダクションコードにしばしばあるやつね
>>107 >小さいパーツ程度ならね
その小さなパーツを見通しよく組み合わせられるあたりが功徳なんでねえ
unsafePerformIO取締法違反でタイポする！
コンパイラがしゃべった！？って、ただの腹話術か
>>101 >>102 ありがとうございます。
書いて下さったコードを参考にし、利用させて頂きます。
>>112 そんな事すると、何のために Haskell を使ってるのか分からん
じゃあ「分かるHaskell」と「分からんHaskell」の両方を使いこなせばいいよ
>>120 そういうのは趣味や個人の時間にやって備えておくもので、
プロダクション(本番)でやるものではないと思う。
まあ、プロダクションだとやっぱり時折 unsafe 唱えるわけだけど
x = unsafePerformIO m
unsafeReadとunsafeWriteの詳しい説明や使い方がわかる書籍やサイトがあれば教えてください
グローバル定数とみなせる値を取得したい + 使う場所がMonadIOでない + 設計変更の時間はない
使用したいというより読みたいんだよ
そうならなくて済むよう、普及にもう少し力を入れる必要があるよね。
Haskellなら三ヶ月後、自分で書いたコードを読めます
>>131 そんな楽観はできない。
3ヶ月後も読めるようにするには、それなりのコードを書かなければならない。
Haskellなら自然にそういうコードになる、なんてことは全くないよ。
1つの関数に複数の仕事をさせてしまったり、
let節やwhere節で計算のフローを書いて関数を肥大化させてしまったり、
逆に一行に押さえようとポイントフリーをやりすぎて暗号化してしまったり、
仮引数の名前を短くしすぎて役割が分からなくなってしまったり、
モナド変換子のスタックをややこしくしてしまったり。
意識していないと陥りやすい罠は幾らでもある。
>>132 いや、131は揶揄・皮肉だと思う。何スレか前にあった俗説「Haskellでは３ヶ月前に書いた自分のコードが読めなくなる」に対しての。
理由は確か、Haskellでは習熟するにつれてコードが全然違ってくるから、だったかな。
未熟だった頃の考え方とかをスッカリ忘れてしまうので、読んでも頭に入ってこない。
133のコードから漂う、Java上がり臭… 真面目に書いたのも見て取れるんだけど、標準の関数や表記法とズレているのでどうにも読みにくい。
いまstackのコードを読んでるんだけど、意図してコードのレベルを抑えてるフシがある。const を使わずに \_->... と書いてたり。
練度の高低でコードが違ってくることはある意味で良いことといえるのかもしれないけど、多人数で使う際には難しさがあるようだ。
https://ideone.com/q2RCBe これは
>>133 のほぼ 1/10 の行数で書かれている
solve = build “” “”
という行を見て
「ああアキュムレータが２つあるのね」
とわかるのであとはそのまま読むだけ
というか、
>>133 のコードはこれはネタでわざとやってるな
自分で書いたコードが、他人が書いたコードと同じに見える
>>135 Data.Mapでもっと単純に書けそうな気がしたけど気のせいだった
https://ideone.com/R4dQIW >>124 稟議のロジックをHaskellで書いてくれ。
アキュムレータのように引数で変数束縛するのはprologっぽい書き方
Intellij IDEAのIntellij-Haskellプラグインが上手く実行できなくて諦めかけてたけど改めて挑戦したらやっとできた
アキュムレータの意味がわかってないキチガイがいるのか……
ByteStringについて、↓の記事に
「使い方の結論を述べると、入力には正格 ByteString、出力は遅延 ByteString を用います」
と書いてあるのですがそうなんですか？
だとしたらなぜそうなるのか教えていただけますでしょうか
http://d.hatena.ne.jp/kazu-yamamoto/touch/20110525/1306298046 CodinGameをHaskellで攻略した方の感想ください
https://www.codingame.com/ Prelude> let a = 0.3 - 0.2 👀
> 入力には正格 ByteString、出力は遅延 ByteString
実装上の都合です
メモリ的には入力遅延のほうがよさそうだけどハンドルをすぐ解放するために正格ということかな
512MB of zeroes with different implementations of echo
出典はHaskell High Performance Programmingです
>>151 正格ByteStringが遅延に買ってる部分ないのか
普通に配列とリストの違い
WAI の実装とかそういう凄え特殊な場面での話だろうな
foldr と foldl ってこんな風に作れるよね。
今はコンパイラに解決させるようにしているようだね
haskell - Foldl memory performance in GHC 8.0.x - Stack Overflow
https://stackoverflow.com/questions/42747159/foldl-memory-performance-in-ghc-8-0-x 中身としてはこれかな
foldlを直す - 純粋関数空間
http://tanakh.jp/posts/2014-04-07-foldl-is-broken.html >>158 のように素直に定義したらどっちでも変わらないのはその通りで、
foldlの方は末尾再帰の形になってるからseqすることでいい感じに動いてくれる
>>162 >
>>158 のように素直に定義したらどっちでも変わらないのはその通りで、
やっぱり。
これを聞いて安心した。
みんな、ありがと。
foldlを使うことってほぼない気がする
>>160 その問題は、要するにグラフが準オイラー路になっているかどうかを判定するものだよ。
各駅を頂点、各路線を辺とするグラフが、
準オイラー路であれば彼らは計画達成できるし、
そうなっていなければ計画は達成できない。
グラフが準オイラー路であることと、
次数が奇数の頂点がちょうど2つ存在することとは同値。
要するに、一筆書きができるかどうかだよ。
Haskell で素直に拙くプログラムしても特に問題ないだろうね。
たとえば、N個の要素を持つInt型配列にaccumArrayで次数を集計して、
filterで奇数だけ濾し取り、要素数を調べる。
>>164 最適化で正格になるはずだけど明示的に正格版使う必要ある？
>>160 すまん、準オイラー路を判定する前に、
連結グラフかどうかを調べる必要があった。
>>160 >>168 準オイラー路かどうかを判定する前にと言ったけど、
後の方がいいな。
正確には、次数が奇数の頂点がちょうど2つあることを確認した後で、
その2つの頂点間に道があればOKとする。
これなら、そう面倒でもないような気がする。
>>169 ごめん、ダメだな。
素直にシードフィルみたいに辿っていくしかないか。
>>160 Haskell が得意なアルゴリズムは分割統治なので、
できるだけ分割統治で解けないか考える、
というのが一般的なアプローチ。
だけど、この問題はそれでは解けそうもないので、
他の命令型言語と同じアルゴリズムを使うしかないと思う。
で、これは一筆書き問題なので、
「連結グラフがオイラー路かまたは準オイラー路なら一筆書き可能」
という定理を利用することになる。
オイラー路や準オイラー路の判定は簡単。
肝は連結グラフの判定だけど、これはもう素直に調べるしかない。
普通ならグラフ用ライブラリを使うところだけど、
競技ならまず使えないだろうから、2次元配列を使ってグラフを表現する。
そして頂点をひとつ決めて、そこから全頂点を辿れるか調べる。
これしかないね。
Haskellにはとことん向かない問題だと思う。
Haskellわからんからわからんのだがこれとか簡単にかけてそうなんだがそうでもないのか？
https://yukicoder.me/submissions/213035 >>174 よく見たらWrong Answerだったわ...orz
>>165-175 助言ありがとうございました
Haskellは分割統治が得意、連結判定苦手で覚えます
連結判定だけじゃなくてグラフがらみは総じて苦手じゃないかな
コンパイラはグラフ簡約するのに言語はグラフ苦手なのかよお
つうか制約のない連結性の判定を深さ優先探索でするのは別にHaskellのせいじゃないだろ
グラフ苦手って競技プログラミングで使う場合のみやろ？普段使う分にはグラフライブラリに突っ込めばいいだけやし気にする必要無いやで！
Data.Array.(!) や Data.Vector.(!) って O(1) でアクセスできるんですか？
>>182 その方が面白いからだと思いますよ。
コードゴルフとかと同じですよ。
制約があった方が燃えます。
>>183 >Data.Array.(!) や Data.Vector.(!) って O(1) でアクセスできるんですか？
>純粋な関数型言語でそんなこと可能なのですか？
読む分にはO(1)に決まってる
そもそもData.Vectorのドキュメントに様々な関数の計算量が書いてあるだろ
>>185 要素数に依存しない計算量で構造から読み取るなんて、
純粋な関数だけでどうやって実現するの？
不思議すぎない？
はあ？
ライブラリとして提供されてるからそうであって、
>>187 そのO(1)な関数は純粋関数型でどうやって実現してるの？
俺はすげー不思議、という話だよ。
純粋データ型のオブジェクトはすべて構築物
>>192 このあたり、「純粋関数型データ構造」って本で勉強できる？
それともあの本は関係ない？
1 = \x _ _ ... -> x
>>194 それじゃあ、Data.Vector みたいに動的に生成できないでしょ。
ワザととぼけてるの？
それとも話の流れ分かってない？
>>195 \x y z ... -> \i -> i x y z ...
C言語で実装してラップしてんじゃないの（知らんけど）
>>196 すげーおまえ頭いいなって思ったが、すまん、
こっちの頭が悪すぎた、まだ何となくしか理解できん。
たとえば、リストから一次元配列を作る関数をつくってくれないか？
ずうずうしいと思ったら、ヒントだけでも。
fromList :: [a] -> 配列型 a
fromList xs = ムニャムニャ
C言語で実装してラップしてんじゃないの（知らんけど）
>>198 いやチャーチエンコーディングのパクリだよ
fromList xs = foldl ($) (\x y z ... -> \i -> x y z ...) xs
実際は型チェックが通らないからアキュームレーターの関数を
data Func a b = Res b | Func (a -> Func a b)
みたいな型で作って結果をパターンマッチすればいい
>>200 ありがと
あかん、頭の中で考えてても理解できん、
と言うかスッキリしない。
家に帰ったらじっくり勉強してみるよ。
>>202 上の問題でverticesとreachableの長さを比較すればと思ったら
verticesは辺の無い頂点も列挙する仕様だったわ
まあGraphの中身はリストの配列だから自分で数えればいいんだけど
関数合成ってhoge.piyoよかhoge . piyoの方が可読性高い？
>>204 スペース無しドットはモジュールの名前空間の表現に使うから
関数合成は後者で書く方がいいよ
モジュール名は大文字で関数名は小文字だからコンパイラは間違えないけど
hackageのソースコード見ても合成のドットは離して書いてるの多いね
>>205 やっぱりそうですか
ありがとうございます
人間も間違えねえよってつっかかってくる人昔みかけた
「大文字と小文字を間違えない」の主語は何かの戦争か
最初の文字が大文字やドットなら特別な意味がありそう
リスト内包表記がdo表記に一対一に対応するのは知っていますが、
>>212 >対応するdo表記を調べて理解を深めたいです。
どうぞそうなさって結果をスレにてご報告ください。
>>213 いろいろ実験したり、GHCのユーザーガイドを読んだりしたところ、
then group by p using f の働きが理解できました。
しかし、結局のところ対応するdo表記は分かりませんでした。
そんなものはもともと無いのかもしれません。
もしかしたらCoreを出力してみると何か分かるかもしれませんが、
自分の中ではもう問題が解決しているので、そこまで調べるモチベーションがありません。
なので、ここでその結果を報告することはできません。
代わりに、then group by p using f がどのような働きになっているのか、
私の知見だけでも述べた方が良いでしょうか。
https://downloads.haskell.org/ ~ghc/7.8.3/docs/html/users_guide/syntax-extns.html#monad-comprehensions
> D[ e | Q then group by b using f, R ] = f (\Qv -> b) D[ Qv | Q ] >>= \ys ->
> case (fmap selQv1 ys, ..., fmap selQvn ys) of
> Qv -> D[ e | R ]
> where Qv is the tuple of variables bound by Q (and used subsequently)
> selQvi is a selector mapping Qv to the ith component of Qv
別にモナドで定義されてるからdoで定義してもいいけど
Qvから要素を取り出す方法がアドホックにしか書けないから
doを使わないにしろ一対一で対応するようには書けない
>>217 MultiWayIfとBinaryLiterals以外は可読性落ちとるやないかーい
>>212 です。
then group by p using f の働きはいろいろ不思議な部分があるのですが、
すべての疑問は、then group by p using f で使う関数 f :: (a -> t) -> [a] -> [[a]] の第1引数は
どのような関数が渡されるのか、ということに集約されました。
(それが分かって初めて、これは then f by p の f でも同じだと気づきましたが、
こちらでは理解につまづかない程度の簡単な例しか扱っていなかったので)
この関数 f は、then group by p using f が現れるより左にある全てのバインダを要素に持つ組から p への関数
と考えれば納得がいきました。
たとえば、
[ (x, y) | x <- [1,2,1], y <- "ok", then group by x using groupWith]
ですと、then より左のバインダを要素に持つ組というのは、つまり
<1, o>, <1, k>, <2, o>, <2, k>, <1, o>, <1, k> といった組です。
(実際に内部で使われている実際のデータ型は分かりません)
このような組から x への関数なので、
g <1, o> = 1
g <1, k> = 1
g <2, o> = 2
g <2, k> = 2
という関数です。
このような関数 g が groupWith 関数の第1引数に渡されると考えると辻褄が合いました。
haskell始めてみたいんだけどまだプログラミング能力があまりないので不安
むしろ手続き型言語に慣れ親しんだ脳みそだと関数型は取っ付きにくいから
>>221 Masterminds of Programming という本で Haskell 委員会のひとりが、
他言語をちゃんとできるヤツはHaskellも上手く使える、という趣旨のことを言ってた。
>>221 それどころか、いきなりHaskellをやるのはお勧めしない感じだった。
>>222 「ちゃんと出来る」の意味が、常人と違う予感。
いきなりHaskellの難点はどのHaskell入門書籍やサイトも基本的なプログラミング知識を前提としちゃってるとこかな
>>220 『プログラミングの基礎』浅井健一
でOCamlやってからHaskellに逝くのが一番簡単な導入
Haskellは日本語どころか
問題自体が難しい
ocamlの元のmlで挫折しそうになった。
例えばC言語の楽しさを1とすると
F#はC#の知識を前提とすることを許可されている感がある
f#はなんかこう昔懐かしbasicの関数型言語版のよう
>>234 たとえば、どんな構文が？
遅延評価とか参照透過性とか厳密な型付けとか、そういうのを嫌う人はいっぱいいたけど、
構文が嫌って人には初めて出会った。
F#固有のライブラリ使ったことないな
インデントルールにたまにハマるくらいかな
合成関数を左から右に書きたい
Control.Arrow の (>>>) 演算子使えばいい
>>239 >一応ブレース＆セミコロン方式でも書けるようだが
標準的なコーディングスタイルだと使わないからなあ……
コード生成のときなんかには便利だけど
Preludeに引数を入れ替えるというだけの関数なかったっけ？
Haskellが競プロで得意なグラフ問題がatcoderでマラソン形式で出題されているらしい
競プロでHaskell使ってた人は皆Rustに移ったイメージ
競プロは普通に手続き型かつ破壊的の方がいいもんな
関数型っぽく書くと実装が一瞬で完了する簡単な問題が結構あったりはする
競プロより Project Euler で付けた力の方が将来の糧になりそう
Haskellはアルゴリズムをうまくfold系で書ければ
>>252 fold系には合わない計算があるのは分かる。
でも、なぜそれでSTRefを使うことになるのかが分からない。
別にIORefやSTRefを使ったっていいじゃない
よく知らないけど
1 s -> (a, s)
Haskellって他人のコード読むと
むしろ他人のコードでも割とサクサク読めるのがHaskellのメリットじゃね？
>>259 せっかく参照透過性が保たれているのだから、自分が読みやすいように、
でも式の意味は変えないように変形すればいい。
複雑なコードに出会って、それでも理解したいという欲求があるのなら、
取りあえず脳がパンクしない程度の小片にまで分解してみればいいんじゃないか。
なるほど処理を理解しきっていなくても
>>255 foldに乗らない処理ってのが
要は愚直に再帰で書いてるループ計算で、
破壊的更新をしないとものすごいGCが走ってつらいということがあった
(データ構造にもっと工夫の余地があったとは思う)
実際再帰って最終手段だよね。
Haskellってループないんじゃなかったけ
>>266 リストで言うならmapとかfoldlあたりで対応できるならそれを使えばいい
ユーザー定義の再帰関数は自由度は高いけど終了条件を見落とす可能性もあるし、場合によっては末尾再帰やら正格評価やらも気にせんといかん
必要としている仕事より強く自由度が高い関数や型をあまり使わない方がいいのは他言語と同じ
直近で書いた120行程度で関数定義25個を含んだコードを見返したが、確かに再帰は一箇所もなかった。
要するに集合演算があるから繰り返す必要がないということか
再帰はいいんだけど関数定義をトップレベルに並べるとまるでgotoのように見える
再帰と言えば、今 haskell.org のサイトのトップにある prime の定義って素敵だよね。
以下で、なぜエラーが出るのかがわからないです。
>>272 前者で then a else show a としているから、a は String 型でしかありえない。
一方、型シグネチャにより、a は String 型以外の型も認めている。
矛盾している。
試しに前者を、型シグネチャを書かずに関数定義だけ書いて、ghci の :t で型を調べてみよう。
次回から、エラーの内容も書こう。
そこにエラーを出してくれるのがHaskellの良い所
>>271 数学的な定義をそのまま書いて動くっていうのは確かにかっこいいところ
その代わりあの定義では正しい篩になってなくて割と遅かったはず
ちゃんと書くとこんな感じになる
>>277 かっこいいコードだけど
省ける計算が多い分まだ試し割の方が速いんだな
primes = 2 : filter isPrime [3..]
isPrime x = all ((/=0) . (x`mod`)) $ takeWhile ((<=x) . (^2)) primes
数が大きくなればmodのコストが問題になるのかもしれないけど
>>278 かっこいいの？ どの辺りが魅力的なん？
一応言っとくと
>>277 はRichard Bird がよくあるヴァージョンを批判されてきちんと篩を書いたコード
でも解りにくいじゃん！
フィボナッチってどこで使う場面があるのさ？競プロ？
>>282 それは
>>276 が「その代わり」ってちゃんと断ってるじゃん。
たいていの場合、両立なんてできないんだよ。
メモ化フィボナッチが希有な例なんだよ。
>>283 全くない。
だから、学ぶべきはフィボナッチ数列の作り方じゃなく、
宣言性を壊さないままメモ化する技術の方なんだが、
あの本にはその辺りのことは書かれていなかったような気がする。
メモ化フィボナッチは単なる例にとどまってたんじゃなかったか。
f1 = (map f1' [0..] !!)
ghcコマンドやghciコマンドの出力メッセージの中で、
わかりやすいもなにも map で畳み込み計算をどうやって書くつもりなんだろ
foo (x:xs) = 〜(なんか関数)〜 (x:xs)
>>289 GHCの処理方法が分からないなかで、
それでも違うかどうかを調べるには、たとえば次の方法がある。
・Coreを比較する
・プロファイルを比較する
・バイナリを比較する
>>288 普通ならリストが空か否かの場合分けで2行ぐらい書くところを
余再帰なら1行で書けるんだろ
>>224 C++ちゃんとできる
（ｶﾞｻｶﾞｻｯ
（ﾋﾞｭﾝｯ!
C++ちゃんってあれだろ？
>>289 ghci -ddump-simpl で起動して、問題の関数定義を let 束縛してみたら
Coreのレベルで完全に同じだとわかる
まあ、そりゃそうだろって感じだが
f (x:xs) = (x:xs) → case 引数 of _ -> x : xs
ミスった
やってみた
https://ideone.com/6r6LpA @パターンは不可反駁なんで、少しだけ違うね
9行目と31行目で a は不可反駁なんでワイルド扱い
15行目と37行目もまさに同じ点が違う
stackoverflowで聞けば識者が的確に答えてくれそう
《問》（配点 10点）
訂正（一行目）
>>302 ¥n1 n2 … -> E
がスーパーコンビネータであるのは
（１）Eに出現する自由変数が n1〜n2 だけであって、かつ、
（２）Eに現れるラムダ抽象がスーパーコンビネータであるとき、
そしてそのときに限る。
¥f g -> f 1 . (¥n -> g 2 n)
の場合、 ¥n -> g 2 n は g が（１）を満たさないのでスーパーコンビネータではなく、
したがって（２）によって、それを含む全体がスーパーコンビネータではないこよになる。
スーパーコンビネータの定義ないし必要十分条件を示してないと減点するのが普通。
ああ……
>>305 Haskell High Performance Programming には、
A supercombinator is either a constant, say 1.5 or ['a'..'z'], or a combinator whose subexpressions are supercombinators.
と説明されてますが、これは嘘なのですか？
>>308 それだと
¥x y -> (x + y)
ですらsupercombinatorにならんよ
むむむ…
>>310 この場合、(x+y)にはラムダ抽象が現れていないので条件（２）は空虚に充足されている
あとは条件（１）も充足されてるから、スーパーコンビネータになる
>>308 subexpressionの定義が曖昧だな
例えば \ y -> x は \ x y -> x のsubexpressionか？
純粋関数型どころか関数型言語のTDD本が無いのですが、
次の型があるとします。
>>314 言語拡張 PatternSynonyms,RecordWildCards を使うといけるようだよ。
pattern D1_ <- D1 {..}
pattern D2_ <- D2 {..}
として、後は t1@D1_ t2@D1_ のようにパターンマッチして利用する。
ていうか、 拡張使わなくても空レコードでパターンマッチできたはず
なるほど、空レコードでマッチングできる事を知りませんでした。
ある名前の型がどのモジュールで定義されているのか、
実際に hoogle つかってみりゃいいじゃないか
>>320 すみません、かなり恥ずかしい勘違いをしていました。
できました。
tanakhにはもっとhaskellの話をしてほしいよ
GHCで、モナドの各インスタンスの(>>=)関数などの、型ではなく実装を見たい場合はどこを見ればいいのでしょうか
>>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と同じ使い方ですか？
caseは先に式を評価してからパターンに含まれる変数を束縛する
>>329 なるほど、そうだったんですね
勉強になりました、ありがとうございます
Stack の LTS 9.17 に repa って無いのな
stackでパッケージをインストールする時にコンパイルしなくなったって話を聞いたけど本当ですか？
Haskell->圏論って流れはあるけど
圏論が何に役立つのか知らんけど、苦労して学んだ人が振り上げた拳の行き場が見当たらなくて
数学は案外行き当たりばったりに問題が解決されている
圏論自体はものの見方とそのための記号だから、
bakeの開発が終了したようですが、
この会社って言うたらそこまでの規模じゃないだろうし実態もよく分かってない感じなのに
なんつーか、『ある傾向の人間性』の社員が現時点ですら目立ち過ぎだろ…
こぃぬ㌠ @Altalinux
スパコンに詳しくない人間がスパコンを語って
つい昨日PEZYを知ったような人間が補助金やら助成金やらを語るんですねえ地獄のような構図ですねえ
Hideyuki Tanaka @tanakh
まじで特捜は「詳しい技術者」が「使い物にならないスパコン」に「巨額の資金」が流れてるというタレコミだけで、
オッそれは絶対におかしいなとか先走ったけど、調べても思ったようなのが出てこなくて困ってるんじゃないのか。
山田てるみ @telmin_orca
つまりこの件は、アベガーとかカネノナガレガーとか言っておけば良いのであって、
技術的にどうとか言った瞬間に全力で殴られる案件だということだ
Hishinuma @Hishinuma_t
例のPEZYが100億円不正受給の記事が何の謝罪もなく差し変わっている。
http://www.data-max.co.jp/291219_dm1545_2/ …
tanakhさんはhaskellの日本での普及に貢献された方かもしれませんが
初心者なのでtanakhさんって方を知らないのですがどんな方なんですか？
tanakhさんは『すごい Haskell たのしく学ぼう！』の翻訳者の1人の田中英行さんのハンドルネームだよ
https://twitter.com/tanakh ちなみにもう1人の翻訳者の村主崇行さんは今年亡くなられた
http://www.asj.or.jp/tennet/archives/msg07622.html tanakhは簡単に言うとプログラミングが得意な屑
>>348 今すごいHaskellの訳者紹介見直したら村主さんのコメントがめっちゃ真面目で泣きそう
大損失だな……
それでは本日の出場者を紹介してまいります。
プログラミングに関係ないプログラマの話は余所でやってほしい
競プロに出てくるような座標がコロコロ動いたり表を作るような問題をHaskellで上手く解くにはどうしたらいいでしょうか
悪手かどうかはコンパイラに聞いてみればいいんだろ
関数型っぽく解決するにはどうすればいいかを聞いてるのでは
競技プログラミングと関数型プログラミングの両立を目指すのは良いと思うよ
C++でギリギリな問題でもない限りMapとかでもいけるけど
少なくとも報道をソースとするなら、斎藤社長は「詐欺を働いた」に等しいのよ。
>>363 Haskellと関係ない話だろ
>>354 を読めない人か
>>367 あの情熱はぜひとも獲得したいと思っているのですが…
f = reverse . reverse
そのままではされてしまいます。しかしメタプログラミングを用いて reverse . reverse を 静的に除去可能です
そういう除去って、reverseは逆順だっていう知識をアプリオリに与えておくの？
>>371 ありがとうございます
さすがに出来ないだろと思ってたんですが方法はあるのですね
プラグマはまだ明るくないのでもっと勉強します
foldl f a . reverse → foldr (flip f) a
pezyは嘘ついて補助金だまし取って、一部を私的に流用したから逮捕されたのに、
べつに誰も何も言ってないだろ
Haskell で開発されたアプリケーションのソースで、こういう形のものがある。
>>380 runAppとは別の処理をrunAppの前後に入れるときにmainに書き足すだけで楽とかじゃね？
おれはmainに直接書くわ。Haskell以外でもそうしてる。
stackで新規プロジェクト作成するとmainからsomeFuncに飛んでるよね
Advent Calendar催促おばさんが面白い
>>380 runAppの処理を別のモジュールやアプリに組み込みたいとき、名前がmainだと困る、とか
>>382 楽かどうかという視点ならば、前後に入れるだけなら、
その手間は runApp 関数の中に入れるのと同程度ではないか？
別の処理だからという視点ならば、確かに一見理にかなっていそうたが、
アプリが立ち上がった直後、エントリポイントのロールよりも前に仕事をするものとは、
いったいどのようなロールなのだろう？
私が見てきたアプリでは、runApp 関数の中でコマンドライン解析や設定ファイルの読み込み、
ログシステムの構築なども行っていた。
要するにアプリを動かす準備だ。
準備をする前にすべき事とは？
>>387 runApp 関数内にそのアプリ専用のエントリポイントが書かれたものしか見たことがなく、
それを別のモジュールやアプリに組み込むという状況が想像できないのだが、
具体的にどういう事なのだろう？
その場合、関数名が main だとなぜ困るのだろう？
>>378 社員が総出でtwitterで開発が上手くいかなかったから詐欺にされたって
デマ流しまくっているじゃん
pythonにはxonshとかいうシェル言語があるらしい
http://vaaaaaanquish.hatenablog.com/entry/2017/11/30/175236 これのHaskellバージョンがあれば便利じゃないか。
Haskellとの親和性は高いと思う。シェルスクリプトって要はコマンドのコンビネータだし、コマンド呼び出しの構文は関数適用によく似てる。
ただ、ls -a -l -d hoobar みたいなのをシームレスに書くのはチャレンジングな課題だ。
haskellバージョンのイメージわかないけど
pythonの真似だから便利さもpythonと同じになる計画なんだろ
シェルスクリプトを使えばいいと思う
まあconfigureスクリプトにはm4とかいうプリプロセッサがあるから意外と難しいよな
EzoeがいつHaskellに飽きて堂々とディスり始めるのか楽しみ
ガチC++erから見たHaskellというのに少し興味が湧いている
仕様壊れてるC++に慣らされきった人間にHaskellの厳格さの価値がわかるのかねぇ
この人は本当にプログラム書けるのかと不安になることがあるよな。
ローカルマシンにある jenkins において、haskell コードのビルドに stack を使いたいのですが、
>>406 jenkinsはわからないがstackはどうやら $HOME 直下に .stack ディレクトリを作って
そこに(必要なら)ghcとかをインストールするらしい。
例えばconfig.yamlもそこに入っているので、普段の$HOMEにそれがある場合は、jenkinsでのビルドと設定が変わってしまう。
とはいえ、このファイルが働くのは特定のプロジェクトに属さない動作のとき(stack newとか)だけっぽいので、
ディスクの容量が切迫してるとかでない限り、問題ないんじゃないかな。
C#しか知らない大学生なんだが関数型を理解したいんだが何すれば
は？勉強目的なら言語名でググって検索件数が多いやつのほうが解決策見つけやすいだろHaskell一択だろぉ
F#もいいけどまずはHaskellの純粋さに感動してからの方が良いよ
言語仕様はもちろんとして純粋関数型のデータ構造やアルゴリズムも合わせて学習しないと手詰まりになる
状態マシンでなく関数合成に持ち込む為の定番手法，
プラグマとかシンタックスシュガーのオプションがやたらあって、
拡張の数は標準の安定性と関係ないし非推奨になった構文も知る限り２，３個程度しかないし言うほど安定してなくはないと思うよ
そういや使用安定してるからで極地でCLが使われてたな
>>407 アドバイスありがとうございました。
参考にします。
再帰ってわかりにくくないですか？
扱うデータ構造が再帰的なら(連結リストとか木とか)
初見だと脳のワーキングメモリをオーバーフローして拒絶反応を示すけど
ループより再帰が好きだけどスタック気にしたりわざわざ末尾再帰にしなきゃいけなかったりするのは割とめんどい
breakとcontinueとreturnとthrowは関数ではない
HaskellはCのプリプロセッサ（俗に言うマクロ)を使えるのでは
エラーの原因を教えてほしいという奴にエラーの原因を教えないのがHaskellerか
Windows10でstackのプロジェクトをbuildするとエラーが出てビルド出来ないお(´・ω・｀)
ボウヤは『windows10 haskell stack build error』でググるとかはしたのかい？
飢える者に魚を与えても一日しか救えない
釣りを教えれば一生救えるやもしれぬ
してみれば、
>>435 は魚を与えたのじゃ
>>434 >>435 条件ミスってて全部otherwiseに行ってたのも直したらちゃんと動きました
ありがとうございます
>>438 Windowsで動かないパッケージ使ってるとか？
>>428 好き嫌いというか、ループはループ中で変数を操作するから値を返せるのであって、変数を言語から排除すれば自然にループも排除されるんじゃないの？
ループがあっても再帰が不要にはならない。でも再帰があればループ不要は本当の話。だからこそ変数を排除した言語があるんでしょ。
>>438 の原因はプロジェクトのパスに日本語が含まれているからでした...orz
haskellプログラミングできたンゴ
>>447 toBarの仕事はもっと少なくした方がいいよー
ソートとかは既存関数で手抜きしたけど、参考までに
https://ideone.com/fGFOEl stack の使い方について質問です。
>>450 実行しないでビルドだけ行うのは --no-run-tests オプションを付けることで実現できましたが、
それでもまだ cmd-exe の方も同時にビルドされてしまいます。
普通の言語のできない数学者がプログラミングできるようにするための言語だ
デフォルト遅延評価に破壊的更新超苦手とかいうパフォーマンス的には冗談みたいな存在なのに
この先haskellで良いGUIフレームワークって出ると思う？
>>456 現行のGUIフレームワークの問題点は何でしょうか？
>>459 ＞Haskellは遅延評価なので、リストを返す関数だからといって中間データとしてのリストを必ず作成する訳ではありませんから、
＞結果を即座にfromListで書き込めば実質的に配列を出力する事が可能です。
ほんとぉ？
もう融合変換なんていらんやん
まあグラフ簡約がなかったらどうなるか実験した方がいいと思う
>>465 ほとんどの場合サンクを作るのは無駄だし最適化にも不利
haskellのコンパイルエラーメッセージが難解すぎる
>>468 問題があるのは10行目 return (shuffle (i - 1) flipped)
これの型は実際には、IO (IO [Int]) だが期待されているのは IO [Int] だ。
IO(などのモナド) に包むために使われる return はここでは不要。外すと IO [Int] になってコンパイル通る。
>>460 > おまえらってIDE何使ってるの？
>>73 あたりで同じ質問があった。VSCode, spacemacs が人気
>>455 この話をすると決まってStrict拡張を持ち出してくるのが痛いHaskellerの特徴だな
じゃあ最初から遅延評価なんかすんじゃねえよ
パフォーマンス的にはC/C++が王道だから素直にFFIを持ち出すのが王道
久々にHaskellで簡単なプログラム書いたんだけど
>>466 その理屈だと遅延評価しない方は更に遅いじゃん。
クラスより構造体
haskellでできることは他の言語だと難しくて
スクリプト言語を許容できてHaskellをその性能から許容できないというのは理解できない感覚
感覚ではなく統計の取り方がそうなってるんだな
型推論まわりを雰囲気で使っていました。
初等的なケースではそれでも問題なかったんですけど、
OVERLAPS とか type family とか出てきてから付いていけなくなりました。
助けてください。
https://ideone.com/XQ17ms 性能からって話はないな。
初心者だから適当だけどそこら辺はバンバンFFI使えばいいんじゃないのとか思ってしまう
Stream Fusionの御利益を受けるには、
>>488 そのサイト、人いないような… とりあえずありがとうです。
>>485 本質的にはこれと同じかな
https://ideone.com/hIoLnD undefinedは()にもなれるから失敗してるみたい？
>>485 横レスですが
(Hoo b ~ HooBar)
(b ~ Bar)
これのチルダってどういう意味なんですか（当方初心者です・・・）
haskell普及させたい言うわりには初心者に優しくない
どちらかというと初心者から中級者になるまでのミッシングリンクが上手く埋められてない
それhaskell以外の言語でもだいたいそうじゃね？
皆様ありがとうございました。勉強しました。
型推論の全体を概観する為に、以下の記事がわかりやすかったです。
http://yu-i9.hatenablog.com/entry/thih https://goo.gl/MH2cCx 型推論は、ざっくり 単一化 -> 帰結 の順に行われ、前者が頭部の具体化、後者は制約のチェックの役割になっているようです。
今回のケースで出たどのコードも単一化は通ってるんだけど、帰結の処理の際にエラーが出ていると思います。
>> 491 さんが単純化してくれたケースは、ご指摘の通り undefined がどちらのインスタンスにもなりうるため、"あいまいだ"という旨のエラーが出ていました。
これは例えば OVERLAPPING を INCOHERENT に置き換えると通ります。テキトウな順になるということです(OVERLAPSの解説は頂いた重城サンの記事(>> 492)が参考になりました)。
元の >> 485 のコードは型の属(type families)と等式制約が絡んだものです。
hoo :: ( 型制約 ) => 頭部
型制約中に現れるチルダは等式制約と呼ばれていて、これは type families が導入されたときに追加された文法らしい(>> 493)。
ざっくり言うと、Hoo b ~ HooBar は「型の関数 Hoo に型 b を適用したものが型 HooBar と等しくなる、という制約」を頭部に課します。
詳しくは
http://www.kotha.net/ghcguide_ja/7.6.2/equality-constraints.html 俺がコンパイラに期待したのは、 f :: (Hoo b ~ HooBar) => b の型シグニチャによって、b ~ Bar を類推することだったんですけど、どうもそれがうまく行っていない。
結局、帰結処理で type family や等式制約がどのように処理されるのかの資料は見つからなかったのですが、失敗する理由はわかりました。
この記事に答えがありました。
https://qiita.com/lotz/items/6c038698c8f04f57113a type instance Hoo Bar = HooBar だけでは、それ以外のインスタンス、例えば Hoo () などが HooBar とおなじになる可能性を排せないので、b を一意に決定することができないらしいんです。
型関数が単射であることをコンパイラに伝えれば解決です。言語拡張TypeFamilyDependencies を加え、
- type family Hoo b :: *
+ type family Hoo b = r | r -> b
と書き換えると、>> 485 のプログラムはコンパイルを通ります。
Haskellの型コンストラクタがいまいち理解できなかったけど、ラムダキューブでやっと理解できた。
>>494 何となく学習じゃあ、解決したい問題領域が曖昧なままだからな、何やっても難しく感じるよ。
もし依存型があったらリストの長さにより異なる型を使うね
hieとVSCode使ってるんだが、ドキュメントや入力候補が「読み込んでます」ってなって一向に読み込まれないんだが
csacademyってコード貼り付けサイトして定着してんの？
Haskellの良いところは宣言的であることです。
コードの質の下限が他の言語より高いなとは思う
>>509 PHPと比べてもしょうがないな…Javaあたりに読み替えといてください
> コードの質の下限が他の言語より高いなとは思う
>>133 入門書
Haskell Wikibooksとか中上級くらいでないの？
「プログラミングHaskell」(Graham Hutton (著), 山本 和彦 (翻訳))
>>515 入門者向けには難しい
入門書を読み終えた初心者には物足りない
そんな本
ghci で
引数が Show a だったらTrue, 違ったら False を返す関数
AdvancedOverlapは外でShowのインスタンスが増えた時に対応できないです。
すみません、
プログラミングHaskell 訳者によるサポートページ
http://www.mew.org/ ~kazu/doc/book/haskell.html
> 練習問題の答は、原著者のサポートページにあります。
>>524 すみません。
原著者のサポートページでは回答例を見つける事ができませんでした。
翻訳されていないの新版には回答例が掲載されているようですね。
コード例とかならここにあるみたいだけど
http://www.cs.nott.ac.uk/ ~pszgmh/book-old.html
>>524 >>526 ありがとうございます。
学習の参考にさせて頂きます。
class Hoo a
ghcを8.0.2 から 8.2.2に上げた。
emacsでSymbols function definition is void: haskell-debug
tanakhがイキリー田中って呼ばれているみたいだけどイキリーってどういう意味？
550番組の途中ですがアフィサイトへの転載は禁止です (ﾜﾝﾐﾝｸﾞｸ MMda-oDZj)2018/03/11(日) 22:51:59.49ID:2Wu75Uw+M
pezyスパコン社員の
イキリー田中さん曰わく
Hideyuki Tanaka
@tanakh
最近ずっと国会で、国会じゃなくて裁判所でやるようなことばっかりやってないすか。もう逆に裁判所で政策議論した方が三権分立的にいいんじゃないすか(適当)
午前0:06 · 2018年3月10日
https://twitter.com/tanakh/status/972126503352676352 売上データを証拠として提出する発想が裁判所だな
モナドの中での条件分岐ってはどうやればいいでしょうか
遅延評価って面白いね
purescriptをめっちゃ強化してクロスコンパイル＆ネイティブコンパイル＆jsコンパイル＆wasmコンパイル可能でさらにビルド速度とGC性能をocaml並に出来ませんか😱
もし自作の型が Generic クラスのインスタンスなら、
Genericは代数的データ型の代数的構造に対して型クラスを使えるようにする仕組みという感じだから
FRPのBehaviorとEventの構成ってなんか恣意的なのかなって印象で手付かずだったけど、
Yesod のオライリー本ってまだ翻訳されてないの
print "日本語"
公開したくない自作データ型を引数に持つ自作関数をhspecでテストする方法を探しています。
>>554 アドバイスありがとうございます。
その方法でやっても、さらに、そのモジュールを exposed-midules に置くかどうかの選択肢があるのですね。
検討してみます。
ようやくwin10 wslでghcが遅かった件直った感じかな
モナまでは可愛いが、油断してるとドがついて怖い感じ。
Reflexやってる人います？Stackと親和的じゃないから結局諦めちゃった。
intellijにhaskellいれようとしてたらいくらやってもだめだったの
random パッケージの System.Random モジュールの split 関数は、
そもそもnextだってgetValとnextGenに分けてもいいけどね
僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
エスパー来る
GHCのインストール先の変え方教えて
haskellの練習してる初心者なんですが２進数の文字列表現を１０進数の整数に変換する処理ってこんな感じで大丈夫でしょうか？
https://csacademy.com/code/CsGalG5X/ 単に数値にしてるだけであって、10進数に変換して表示してるのはprintさんでしょ？
Showが忖度したのであってInteger大臣が文字列化を指示したわけではない
どうでもいいけど、それぞれのGHC言語拡張の名前で単数形と複数形の違いがいまいち分からん。
使った中じゃ英語で説明するのに複数形が使われるであろうものなら
おい！あの岡部健（毛の壁）がgithubで活動を再開してるぞ！
今時コンパイルとか流行らないよ
同意だ。Turtle使ってシェバンにstackコマンドライン書いて、
むしろ今はコンパイル全盛期でしょ
どれだけ簡潔に記述出来ても
対話環境使わんの？短いプログラムてのがどんな状況か知らんからなんとも。
Haskellで簡潔に書けるという特殊能力を持っておきながら
なんで宗教みたいに二者択一になるの
たかだか数秒のことで簡潔さを失いたいとは思わないね
バンパターンとかseqとか使いまくるからあんま簡潔に書けないわ
簡単なプログラムだと
文字列を直接操作したければ動的型でいい
込み入った評価戦略で脳ミソ使わされるのが真理とも思えんがw
文字列入力を要求してその文字列を含むファイルを検索して見つかったらエディタで開く、
if ってあんま使ったことない。関数のガードとcase、あとData.Bool.bool
Haskellは"関数型だから"コードが短く生産性が高いと聞いたのに
関数型ではないHaskellがあるってことだろ
関数型こそ邪悪なシンタックスに頼らない無敵の流派なのだ
バグバグしてていいならpythonの方が手っ取り早いでしょ
そのバグが出ない haskell で、まともなグラフ描けるライブラリ作ってくれよ
そういう考え方の人はpythonの方がいいでしょ
>>606 hackage にアップされているグラフ描画ライブラリの
まともではない点とその理由を列挙していただけないでしょうか。
来月ちょっと暇ができるので、ここで議論が深まれば、
列挙されたものの幾つかを改善してみようかと思います。
>>608 Haskell は調べかかってあきらめたからよく知らないんだが、Python ユーザの視点で書かせてくれ。
Python だとグラフ描くライブラリは、単純な(と言っても強力な)matplotlib って Matlab のパクリの他、
よりハイレベルなグラフが簡単に描けるライブラリとか、インタラクティブなグラフが描けるライブラリとかがある。
どれも、Jupyter ってWeb環境から普通に使えるし、データフレームって表みたいなデータ構造を入力に出来る。
データフレームはつまらないけど実用的には必須で、
カンマ区切りのテキストファイルとかエクセルとかデータベースを読み取れる。
Haskell ってそもそも標準的なデータフレームが無い気がするんだ。間違ってたらぜひ教えて欲しい。
あとオレが調べた時は単純にHaskell のグラフライブラリは見た目が古臭かった。gnuplot 並み。
最近だとPythonでもRでも、カッコいい色のセットとかを選べるし、複数のグラフを簡単にレイアウトできる。
頑張ればカッコよく描けるのかもしれないけど、そんなところに頑張りたくないんだ。
じゃあグラフ描くならPythonってことでいいんじゃないですかね
すいません。ハマってしまってます。助けてください。
>>609 matplotlibやpandasあたりは、
そのためだけに、Python使うくらいのライブラリだから、
他の言語に使いたいライブラリがあれば、
その言語を使うで使い分けで良いんじゃない。
Excelの読み書きもなんかもPython使ってるよ。
HaskellのシンタックスのPythonが欲しい
>>611 HaskellのComplexで四則演算などをしようとすると
各要素はRealFloatクラスのインスタンス (いわゆる浮動小数点数)である必要がある
Ratio a はRealFloatのインスタンスになれないので計算できない
こうなってる理由はざっくり言えばHaskellのNumが悪い
(参考：
https://blog.miz-ar.info/2016/06/haskell-num-class/#abs_signum )
>>614 ありがとうございます。
Ratio a 割り算できるのに駄目なんですね。
別法考えます。
>>609 例えば QuickPlot (
https://github.com/sheegl/QuickPlot )
そこそこモダンな描画を行うライブラリでしたが、
README.md にあるとおり、もうメンテナンスは行われていません。
ビジュアライゼーションサーバーのクライアントを作る方がより効率的だから、だそうです。
私もそう思います。
haskell でグラフ描画ライブラリを作るなら、
・データの作成 (取得や加工、整形など)
・サーバーへアクセスするためのインターフェース
この2点の実装に絞りたいですね。
データの作成は、python では Pandas のデータフレームを挙げていますが、
haskell ではこんなのはどうでしょうか。
https://github.com/chrisdone/labels/tree/master/labels-explore あと、gnuplot を卑下してるようですが、そんなにダメですか？
私には視認性の良いグラフに見えますけど。
Wikipedia のグラフにも使われていますし。
gnuplot も悪いとまでは言わないが、昔の解像度が低く色数もあまりなかった時代に最適化されてる気がするんだよ
Python のグラフと、微妙に用途が違うのかもしれないが
Python のグラフ
https://seaborn.pydata.org/examples/index.html >>617 すいません、違いがよくまかりません。
gnuplot デモ
http://gnuplot.info/demos/ 私には低解像度&少色数時代の環境に最適化されているようにはどうしても見えないです。
会社のプレゼンに使うならPythonの例の方がオシャレに見える
Pythonの例として上げられてるのは、seabornという
>>622 gnuplot でお手軽に綺麗に表示できるようになってるの？
話が逸れたが、ある程度データ構造が共通に使えて
目的に応じて使えるかなり機能も見た目も
良くできたグラフライブラリが幾つかある、ってのが Python の状況だよ
個人的にはHaskell でそれが出来りゃ嬉しいが、、
Python は実行しないとエラーが出ないから、げんなりする時もある
教えてもらった labels- explorer は面白そうなんで見てみるよ
>>623 綺麗にできるかどうかは使用者のセンスに依ると思います。
python の方のサンプルは、単に淡い色を使い、
線を太めに表示しているだけに見えますが、違いますか？
他に python のグラフならではの特徴があれば言ってください。
下記のような設計のライブラリがあればあなたの要望は満たされますか？
1. 見た目が python のサンプルの様になる「デザインのプリセット」がある。
2. pandas のデータフレームに似た使い勝手の「2次元の表」からグラフを生成できる。
3. 上記1. 2. を満たせば、グラフの生成自体は gnuplot に任せても良い。
そんなところ頑張りたくないからデフォルトで一般受けする図を出せる奴が欲しいってだけの議論でなんでこんな白熱するんだ
>>626 Pythonユーザーの視点、て一言がたぶん余計だったと見受けられる。
Haskellな人、でググると逆の気持ちが分かるかと。
勘違いしているようですが、python 視点とかはどうでもいいです。
普通にいける範囲なら実装してくれるってこと……？
Pythonならでは、って訳じゃないが(むしろ Rのパクリだと思うが)
>>630 複数のグラフを並べるのは、gnuplot では、このサンプルの一番下のものですね。
http://gnuplot.sourceforge.net/demo_5.0/layout.html すみませんが、python 自体は昔に少し触ったくらいで殆ど門外漢です。
不慣れなものを調べるのは面倒で、そこまで労力や時間をかけたくないです。
あくまで、暇ができるのでやってみましょうか、という話です。
なので、実装してほしい事は自分の口で、
python を知らない者にも分かるように説明してください。
それでも、あまりに大変そうならお断りするかも知れませんが。
あと何度も言いますが、オシャレなグラフになるかどうかは個人のセンスですので、
そんなものはライブラリに期待しないでください。
ある程度のプリセットは用意しようと思いますが、あくまで私のセンスです。
普通は利用者がパラメーターを調整して自分でオシャレに仕上げるものです。
それはいけない。
>>633 プログラミング言語を用いてグラフを作る目的は、
データの取得、加工、整形までをサクッとプログラムしたのだから、
そのデータの全体像を捉えるための可視化も「ついでに」してしまおうというもの。
つまり、プロセッシングしたデータの特徴を「すぐに見たい」という要求に応えるもの。
その様な目的のグラフに求めるのは、データの様相を正しく映すこと。
オシャレなんて入る余地は微塵もありません。
(例えば haskell には使用メモリ量をプロファイルしたデータのグラフ化ツールがありますが、
そのグラフにオシャレさは必要でしょうか)
もし、人にカッコイい思われるグラフを作りたいとか、
人にインパクトを与えるグラフを作りたいという目的ならば、
なにもプログラミング言語を使わなくてもいい。
というのが、古臭いかもしれませんが、私の考えです。
なので、あくまでオシャレなグラフを作るライブラリを求めているのでしたら、
私のモチベーションは大きく下がるので、
この件から降ります。
>>634 そういう考えなら降りた方が良いと思うよ
自己肯定感かな
何がオシャレなのかを定義して
もし定義できないならできないと伝えるのが正しい言葉なんです
ユーザーは最初から見た目を重視してんのに、ここにきていきなりオシャレは必要ないって突っ返すのは、
万能なプリセットなんておれは期待してないから、
>>641 > 画面に収まるようにするには、削ってもいい情報を削り、例えばfacetみたいな方法でまとめるしかない。
> かといって圧縮しすぎても分からなくなるし難しいけどね。
私は「全体像」を捉えるための可視化と言っています。
細部を見るための可視化とは言っていません。
（50個分のグラフで表されるデータの全体像を捕らえたいという要望に、
50枚のグラフを作るなど愚の骨頂）
そして、それはあなたがオシャレではないと感じている gnuplot でできますよね。
gnuplot のサンプル見ましたか？
gnuplot でもできることは理解したけど、
オシャレではないので却下という事ですか？
長い棒グラフを端折る為に、下端を0以外の数値にしちゃうとか、マナー違反しない限りもう好きにやってくれ
オシャレって結局UXだからね
UXを定義できないなら予測もできない
UX自体の定義は単純だよね
アンケ取って結果を発表するところまで全部がUXになるからお手上げだな
出来ない出来ないと言い訳ばかりして実際出来ているPythonから目をそらす
プロシュー○「出来る…そんな言葉は使う必要がねーんだ。」
たかがグラフ一つでいつまでもスレを汚さないで
質問
>>651 そういう意図なら
sort $ takeWhile p xs
じゃないかな
最初に書いてある式だと、takeWhile p が引数のリストを評価しようとしたときに
sort xsの第一要素を見る必要があるのでxsをソートし終わらないと評価が進まないはず
マージソートでマージが遅延されるならhead $ sort xsはO(n)だと思う
あークイックソートは先頭だけでも最悪O(n^2)になったりするか
>>652 オレ
>>651 つまりはn要素のリストのsort後の先頭m要素 (m<n) を評価するのは、
n要素を評価するより少ない計算量で済むんじゃないか、という質問なんだ
だから sort と takeWhile を入れ替えたら意味ない
ふと思いついたが、比較関数に unsafePerformIO を入れて比較回数をカウントすれば分かるかも
実験したら、やっぱり評価に必要な部分しかソートされなかったよ
どんな言語だろうが全部ソートすれば O(n*log(n)) で最小値や最大値を探すのは O(n)
>>658 いや、そうじゃなくてさ
上位m個の選択処理とソート処理とをソース上ではきっちり分けてるじゃん
ソースを読む人間にとってはすげー読みやすいわけよ
なのに内部処理的には2つが連携して、
必要なところまでしかソートされないだろ
選択処理のためにワザワザ特殊なソート処理をしなくてもさ
そこがすげーって感動してるんだよ
まあソートなんて如何にもキャッシュ次第なアルゴリズムで
具体例や比喩で抽象度を下げるのは良い
arrayパッケージのData.Array.(!)はO(1)ですか。
yampaムズ過ぎ
>>668 申し訳ない
そこは、FRPの基礎概念である「ビヘイビアとイベント」と、
Yampaの基礎概念である「シグナル関数」との繋がりが言葉で説明されていないんだ
コードを書きまくって慣れろ、って感じ
>>669 フーム
ビヘイビアは Time → a でイベントは [ (Time, a) ]
シグナル関数は (Time → a) → (Time → b)
のようなことが 「FRPの話 - maoeのブログ」で少しだけ説明されているね。
もう少し長い解説をElm開発者の人が論文に書いてた。
http://elm-lang.cn/assets/papers/concurrent-frp.pdf >>665 ほらね、Haskell普及のためにはツールの拡充が必要なんだよ。
https://github.com/alanz/vscode-hie-server/pull/83 これこれこういうのを待ってた。emacs対応はよ
importのhidingとかqualifiedとか適当にやってるせいで、いつも収拾がつかなくなってる。
>>673 私も知りたいな。
私の場合は、頻繁に使うもの以外は、
qualified as してる。
そして、asでつける名前にいつも悩む。
インポートリストをざっと見ることで、モジュールの役目が何となく掴めて嬉しい。たとえば
>>674 基本大文字を拾って as している。
import qualified Data.Map as M
import qualified Data.Set as S
だが
import qualified Text.Regex.TDFA as TDFA
つらい
get programming with haskell 読み終わった。
>>678 凄いハスケルより初心者向きで実用的でわかりやすい。
>>680 実用的というのは？
何かアプリケーションを作るの？
>>681 アプリケーションは作らないけれどコマンドラインのプログラムは作る。
新分子設計は並列処理を酷使するだろうが
いいねえ。気軽に使えるからコマンドラインは好き。
Get Programming with Haskellはタイトルのとおり初心者向けの本だよ
Haskell開発ワークフロー。お前らはどれ？
1. stackの--file-watch
2. ghciの:r
3. ghcid
4. エディタのフック
https://www.fpcomplete.com/blog/2018/08/haskell-development-workflows-4-ways 今やすいぞ 多分半額程度
ソフトウェアシステムアーキテクチャ構築の原理 第2版
https://www.amazon.co.jp/ ソフトウェアシステムアーキテクチャ構築の原理-第2版-ニック-ロザンスキ-ebook/dp/B00ZF44J0I/ref=tmm_kin_title_0?_encoding=UTF8&qid=1535375513&sr=1-1
カリー化された関数の表記がよく分かりません。
add x = \y -> x + y
Int -> (Int -> Int) も
>>694 ありがとうございます。
add' :: Int -> (Int -> Int)
add' x y = x + y
↑この表記って、よくない表記じゃないですか？
add' x y = x + y
↑これをみて、型が add' :: Int -> (Int -> Int) だとはとても分かりません。
逆にそれ見たらどういう型だと思った？
>>696 add' :: Int Int -> Int
という型に見えます。
1 2
関数を返す関数なんですから、
f x = x + 2
add は関数を返す関数じゃなくて引数を２つとって値を返す関数やろ
>>698 じゃああなたが今勉強してるカリー化って何なんですかね？
**argv :: char
Haxe では関数の型は、
>>701 Haskellは関数適用が最優先だから
add' x y は (add' x) y って意味
だから add' x y = x + y は
「add' にxを適用した結果にyを適用した結果はx+yに等しい」と読める
ちなみに組み込み関数のuncurryを用いて add'' = uncurry add' とでも定義すると
add'' :: (Int, Int) -> Int
というおそらく
>>698 でイメージしているであろうものに近い関数が得られる
Haskellのデフォルトの振る舞いはこちらではないという話
通りすがりだけど勉強になった
Haskellちょっといじってると楽しいけどこれで飯食うのは自分には絶対無理という確信がある
まずはHaskellの独壇場となるニッチ市場を開拓しないとな
写像をドメイン、コドメインのみ与えて定義するのが簡単にできればちょっと優位にたてる分野はある
いまのHaskellには何が足らないのか。どんな分野で強みが活きるのか
haskellでddd, cqrs, esのやり方を教えろください
DDDが活きてくる(と見込める)ほどの規模の案件をhaskellで組むプロジェクトって凄いな
>>718 DDD は Extensible Effect と Tagless final がよく合う
Haskellに欠けているのは中級者向けの書籍なのかも
コンセプトは無茶苦茶面白いのに、肝心の実装が学級的で好き放題に流動的で恐ろしく無責任だからでは
ひゃっほおおおう！ ビルド通ったぜ
spacemacsのinteroでデバッグできてる人います？
すみません言語の話題から少し外れますが、
ポールフダックの音楽／Haskellの本が延期しまくりでつらみ
ハスケルミュージックスクールってやつ
その本です
木構造を表現するときの、「節」とか「葉」って、どう読みますか？
木をきと読むのならふし、は、
733です
ありがとうございます
「き」「…」「は」で、「節」の読みを決めかねていましたが、
>>736 さんの仰るとおり、「ふし」で行くことにします
すみません、733です
>>743 グラフ理論だと、文献にもよるけど、道、路、小道、歩道とか出てきて、統一不能感。
メモ化とスペースリークが本質的に同じもので、
>>747 元の英語がpath, trail, walkとか分かれてるのだが
文学なら訳し分けにくい概念は思い切って意訳することもできるが
技術用語だとそうもいかないのが難しいところ
Coerce知らなかった。newtypeを自動で剥がしてくれる便利なやつ
import Data.Semigroup
import Control.Arrow
import Data.Coerce
aggregate :: [Int] -> (Maybe Int,Int)
aggregate' :: [Int] -> (Maybe Int,Int)
aggregate = (fmap getMax *** getSum) . foldMap (Just . Max &&& Sum)
aggregate' = coerce . foldMap (Just . Max &&& Sum)
https://speakerdeck.com/konn/ben-dang-hasugoi-newtype リストの要素がすべて異なる場合はTrue、
名前をつけるとしたらグラフ○○かな
ソートは不要だし、どの言語でもdictionary/mappingにして要素数見るだけの作業のような
>>752 ソートすれば、隣同士の要素の同値関係を調べるだけでよくなるから。
n個の要素を持つ未ソートリストの場合、
リストの第0要素を第1要素と、第2要素と・・・第n要素と比較する。
次にリストの第1要素を第2要素と・・・第n要素と比較する。
とやって、結局 O(n^2) の計算量が必要になる。
ソートするなら O(n log n) で済む。
と思ったけど、オレ勘違いしてるかな。
すまん、修理に出したPCがまだ帰ってこず、
試して速度比較できる環境にないんだ。
>>750 それも結局 O(n log n) だよね？
これが効率的には限界？
>>755 アンカー間違えた。
>>753 それも結局 O(n log n) だよね？
これが効率的には限界？
一般的に同値関係とは推移律が成り立ってる関係のことを言うので
dictionary云々はハッシュ関数で非可逆圧縮してからバケットソートするようなもの
>>757 なるほど、推移律ね、失念してた。
>>758 バケットソートは分かるが、問題はどうやってハッシュ値を求めるかだよね。
難しそうだが、考えてみる。
みんなありがと。
Arch LinuxのHaskellのリポジトリが
そういう問題ではなく
本邦では昨年、Qiitaでのアドベントカレンダーは、HaskellがGoについで投稿数が多かった。
入門記事を読んだ人が入門記事を書いての繰り返しですやん。
>>764 数えたがアドベントカレンダーに限ってはそういうのは10個くらいだった。
120程の記事のうちで
ネットでは大手のHaskell導入報告が続いて沸いてるとこだがお前らどんだけ情弱だよ
Haskell使ってはいけないような低学歴知恵遅れが
サイモンペイトンジョーンズがFacebookいってたけどさ、
FacebookはちょっとしたツールをHaskellで作ってますよ、位だと思ってたが…
>>766 > 大手のHaskell導入報告が続いて沸いてる
気づかなかった。他にはどこが？
MonadIO は抽象度が高くて万能すぎ、オーバースペックだよ。
そのせいで、関数の中で何やってるのかシグネチャからは分かりにくいし。
ということで、もっと細かく分けようぜ、という話。
https://chrispenner.ca/posts/monadio-considered-harmful 簡潔で分かりやすい。
こういうのパターンっていうのかな。
githubを見る限りではとても盛り上がっているとは・・・
https://github.com/trending?l=haskell 相変わらず○○をHaskellで書いてみました系のプログラムばかり
なんてことないfizzbuzzもHaskellで書くと楽しくなっちゃうんだよな
Haskellでfizzbuzzをやろうとすると「数値か文字を出力する関数ってどうやるんだ？」
>>772 似たようなことはpurescriptではデフォルト(だった？)
結局は書く人本人が気持ちよくなる為の言語だね
遅延ストリームを扱うならHaskellは速い方だろう
むしろ最速の言語になってほしい。
「Haskellは参照透明性を保証するために、最適化を犠牲にした。
>>784 returnとpureのこと言ってんの？
returnとpureのこと言ってんのーーーーッ！！？
コンパイラフレンドリーに記述したときの速度に概ね不満はないけどコードからパフォーマンスが予測しづらいのがね
>>787 ベテランになれば実用上問題ない程度には予測できるようになるんじゃね？
俺はまだまだ修行不足だけど
遅延評価だけでなくガベコレの遅さも問題視されるだろう（予測）
Haskellはコンパイルさえ通ればバグは滅多にないが通説になっているけど
メモリがないならディスクを使えばいいかもね
評価順序とスペースリークは他の言語にはないバグだから逆に増えてるところもある
データベース的な仕組みだとスペースリークを放置しているやつが多い
くだらない質問で悪いけど質問させてほしい
795だけど、質問がうまくまとまってない希ガス
a b c d e fの並びは(((((a b) c) d) e) f)
演算子を関数としてみなすなら
>>797 それを真としすると
自分の理解では、a : funcA b:(.) c: funcB d:(3+4)となるけど、
実際の計算は(((((a b) c) d) e) f)とあってないと思う。
compfunc = funcA . funcB . funcC (3 + 4)の方が分かりやすかったかもしれないけど
関数合成は (funcA . (funcB . funcC)) (3+4)だから （つまり関数合成は右結合）
(((((a b) c) d) e) f)になってないと思う。 （関数というか、カリー化は左結合）
>>798 >>799 は無視してください。こっちの方が本質だから
うん、その場合なぜ、
funcAより、(.)を関数適用の優先順位を上げたのかが
自分の疑問といってもいいと思う
関数適用の優先順位が高いのはいいとして、
じゃあ、どの関数から関数適用をするの？というのが、私の疑問
>>796 演算子と関数とは似ているように思うかもしれないがちゃんと区別したほうがいい
まず関数適用とは雑に言えば項の間の半角スペースのこと
関数とか定数とか(ただし演算子は除く)をスペースでくっつけるのが関数適用
その関数適用の結合はカッコを除いて最優先なので、特に全ての演算子に優先する
(結合の仕方は
>>797 の通り)
そして
(.) :: (b -> c) -> (a -> b) -> a -> c
は慣れないうちは紛らわしいが、単に関数を引数に取る2項演算子なので
(演算子として使う限りは)関数適用より優先順位が低い
うーんいまいちちゃんと説明しきれてないし用語の使い方もアヤシイので
誰か詳しい人頼む
haskellの構文のBNFを見てみればいいんでない？
質問です。
>>799 compfunc = funcA 1 2 . funcB 4 5 . funcC 5 6 $ funcD 7 8
とあったとき、まず演算子を越えずに関数適用
compfunc = ((funcA 1) 2) . ((funcB 3) 4) . ((funcC 5 ) 6) $ ((funcD 7) 8)
このあとで演算子の優先順位で計算
>自分の理解では、a : funcA b:(.) c: funcB d:( 3+4)となるけど、
a:(.) b:funcA c:(funcB (3 + 4)) だよ
そして a:funcB b: (3 + 4)
そして a:(+) b:3 c :4
演算順序を決める丸括弧は展開出来ないよ
300行近くあるコードなんですが
Haskellの書き方としてイケてない書き方あったら教えてもらえたら嬉しいです
BASIC言語風のインタプリタです
https://csacademy.com/code/4vUVk5c9/ なんとなくわかったというか 暫定でわかった
要するに”関数適用の優先順位は高い”なんだろうね
関数の優先順位の記述が無いのは、そのようなルールが不要だと思えばいいわけで。
かっこ付けのやるべき順序として
1.関数適用 部分適用が出来るなら強欲に
２．演算子の優先順位と結合性でかっこ付け
これで、かっこ付けが終わったので、シグネチャとの整合性を取ってみる。
あっていなければ、コンパイラーエラー
ということで、コンパイラーも理解出来そうなルールになっていそうだし、
>>806 とも整合性が取れそうかな
BNF見ればちゃんと分かる
https://www.haskell.org/onlinereport/haskell2010/haskellch3.html 単純化するなら
exp = exp1 | exp1 op exp
exp1 = exp2 | exp1 exp2
exp2 = var | (exp)
二項演算子の優先順位を実現するには別の処理が必要だけど
少なくとも関数適用と二項演算子の計算が並ぶことはない
>>810 それが、関数適用とどう関係があるのか、俺には理解できない
とうとう俺もＢＮＦを勉強するときが来たようだｗ
数年に１度、思い出したようにＢＮＦがネックになるんだけどね
今まで避けてきたｗ
>>811 どの言語をやるにしても、ちゃんとした理解には必要になるから頑張れ
>>807 イケてるかどうかなんて個人の好き嫌いだよ。
あなたの中に、こういう感じのコードは好きだけど、こういうのは嫌いというのがあって、
その基準に照らして好きなコードになっていたら、それはあなたの中ではイケてるコード、
嫌いなコードになっていたら、あなたの中ではイケてないコードということだ。
そして、好き嫌いの基準は人それぞれ、千差万別なんだよ。
他人の好き嫌いに無理に合わせる必要はない。
それを踏まえた上で、敢えて俺の好き嫌いを言うと、
俺は見通しが良くて、メンテしやすくて、発展させやすいコードが好きだ。
（宣言的ならなお良い）
だから、
・pureな計算とimpureなアクションを別の関数として分けているコードは好き。
分けていないコード大っ嫌い。
・高凝集度で低結合度なコードは好き。
逆は嫌い。
・1つの小さな仕事をさせている関数は好き。
いくつもの仕事をさせて肥えている関数は大嫌い。
・1つの役割だけをしっかり果たしているモジュールは好き。
ごった煮モジュールは大嫌い。
この基準でいくと、あなたのコードはまったくイケてない。
>>813 あざっす！勉強になりやした！精進しやす！
>>813 そういうコードの設計センスはどうやって学んだのですか？
>>815 大半はHaskell関係なくて、設計論の話
テストどうすんべとか、保守どうしようとか、合成できるようにしたいとか
＋が正格で：が正格じゃないということの意味を教えてください。
stack の lts-12.x にはなぜ Yampa パッケージがないんだろ？
stackでhp2prettyってどうやってインストールするの？
>>822 stack install hp2pretty
でいける
>>823 ありがと。
ヘルプ見て、stack install == stack build --copy-bins って
カレントディレクトリのプロジェクトをビルドしてできた
実行ファイルをコピーするコマンドだと思いこんでた。
以前の GHC.Stats モジュールには GCStats 型がありましたが、
f :: a -> b -> c
英語圏のコミュニティで日本人なんだけど。。。って質問した方が早いのでは。。。
a arrow b arrow c
漫画と同じだろ
みんなありがと。
よう分からんから、自分を信じて "a to b to c" って言っておくわ。
>>828 べつに日本語で読まなくてもいいと思うが。
英語でいいんじゃね？
それって、そもそも発音する場面なんてあるか？
身近にハスケルの話しできる人なんかいないから発音したこと無いぜ
Haskell使って仕事してる人に聞いてみるしかないな
c9のhuttonとmeijerのlectureでは、huttonが a to b、meijerが
2つの型クラスの間に包含関係を付けるのに
変数に再代入できる言語に
scanl (+) 0 [1..8] では？
842です
>>841 >>842 どうもありがとうございます。
驚くほど簡潔に書けるものですね！
今まで気にしなかった (++) の有用性を理解しました。
ありがとうございます。
>>843 どうもありがとうございます。
驚くほど簡潔に書けるものですね！
今まで気にしなかった (++) の有用性を理解しました。
ありがとうございます。
842です
何使ってもいいならData.Listのinitsを使って
>>840 継承クラスに相当するのがMonad=>Applicativeタイプ
委譲クラスに相当するのがFunctor=>Applicativeタイプ
>>841 The Haskell 98 Report
8 Standard Prelude
https://www.haskell.org/onlinereport/standard-prelude.html scanl :: (a -> b -> a) -> a -> [b] -> [a]
scanl f q xs = q : (case xs of
[] -> []
x:xs -> scanl f (f q x) xs)
scanr :: (a -> b -> b) -> b -> [a] -> [b]
scanr f q0 [] = [q0]
scanr f q0 (x:xs) = f x q : qs
where qs@(q:_) = scanr f q0 xs
正直全然読みやすくないのだが、本当に読みやすくないのか俺が手続き脳なだけなのか判断がつかない
>>849 qのところが(f q x)に替わって再帰してるだけだよ
scanl (+) 0 [1,2,3,4]
= 0 : scanl (+) (0 + 1) [2,3,4]
= 0 : 1 : scaln (+) (1 + 2) [3,4]
= 0 : 1 : 3 : scanl (+) (3 + 3) [4]
= 0 : 1 : 3 : 6 : scanl (+) (6 + 4) []
= 0 : 1 : 3 : 6 : 10 : []
= [0,1,3,6,10]
if then elseを最近知った位の超初心者です。
>>852 型を合わせるにはどう対処すればいいのかわからないのですが、
とりあえず、これで動きました。
kld p q = do -- Kullback-Leibler divergence
if length p /= length q
then error "Not equal length"
else do
let pp = map (/sum(p)) p
qq = map (/sum(q)) q
in sum $ zipWith (\x y -> x * (log x)/(log y)) pp qq
main = do
print $ kld [1,1] [1,3]
print $ kld [1,1] [1,2,3]
関数型プログラミングでログ出力ってどうやってるんですか？
Writerでは例外のようなものを投げることができないからもっと万能なモナドを使う
素直に副作用のある言語で組めってことですね
Haskellにも副作用はある
>>855 そんな大それたもの作らないから使った事ないけど、ErrorTとか言うのがControl.Monad.Errorに入ってるっぽい。
何れにしても、本格的な開発するならRWHは持っておいた方が良い。
haslell2010.pdfによくでてくる記号なんだけど”⊥”ってどう意味ですか？
値とか型ぽいんだけど、すごいＨ本とかの索引にはそんなん無いし。
https://www.haskell.org/definition/haskell2010.pdf 例えば、こんな書き勝たされてるんだけど
ええええ 本当に直交って意味なの？
>>869 Thx ようやくまともな答えが
Haskellやってて面白いのが、新しい概念が増えていくのがうれしい 遅延評価とか
>>863 使わない値(_)や、未定義の値や型として使われてるね。
文脈から意味を汲み取るしか無い。
take undefined [] = undefined ― 入力待ち(Carl + Cで強制終了必須)
undef :: b -> a
Haskell では明示的に instance 宣言しなければ、ある class の要件を充たしていることをコンパイラが認識してくれません
bsort [] = []
動作はこんな感じ。
[a] -> [b]な再帰関数はスタック消費しないよ。
よりスマートに
https://gist.github.com/WhiteCat6142/a3270468cbf829200b7f66acd048b1a2 bsort=foldr bs []
where bs x []=[x]
bs x (y:ys)|x<=y =(x:y:ys)
|otherwise =(y:bs x ys)
>>880 Haskellよくわかってないんですが、
y:bsort' [] xs
の部分も末尾再帰でなくともスタック消費しないんですか？
最適化って言うけど最適化無しのddump-asmでもあんまりcallは使われてないんだよね
bsort = unfoldr (uncons . foldr step [])
スタックマシンじゃなくてセルオートマトンだったらスタック消費しないよね
Prelude.div関数について。
>>888 (y:bs x ys)は遅延評価だから捜査逆のバブルソート
ミ /､｀二//-‐''"´::l|::l l! ';!u ';/:::l ', ';::::::l ';:::::i:::::
>>891 その「気持ち悪い」の方がよっぽど意味不明なんだから
divの意味が分からないくらい許してやれよ
>>891 気持ちわかる。import Data.Integral (div) くらいでやりたいよね。
import Prelude (Integral(div)) はどうかな
>>875 公称的部分型（ノミナルサブタイピング）
構造的部分型（ストラクチャルサブタイピング）
型推論って、いったい何を目指してるの？
template<typename T>って宣言してもどうせ読めないから宣言しないのを目指す
>>897 関数型言語だと型を考えることがプログラミングだと言うね
Practical Web Development with Haskellってのがまだ70Pくらいしか読んでないけど
>>894 気持ち悪いは言い過ぎでした。
あまりハッピーではない、くらいです。
>>895 Integral で意味は分かるでしょ、という事ですね。
探すよりそれが楽で現実的だとは私も思うのですが、
Prelude から取ってくるのは何かこう目的と違うと言うか、
それで妥協するのがちょっと悔しいです。
(Prelude って OOP でクラスを ~Manager とか ~Utility って命名する感がある)
でもアドバイスは有り難いです。
参考にさせてもらいます。
Preludeなんてものは要らなくて、divはData.integralに入ってて、divを使うには毎回Data.Integralからimportするのが理想って認識で合ってる？
LinuxにたとえるとデフォルトのGUIなんてものは要らなくて
>>900 Javerが4年で手本になるこなれたコードを書けてるのか疑問なんだがどんな？
うわああああこの前Amazon.comから輸入したHaskellの洋書Amazon.co.jpでも売ってたああああ
当初から比べたらco.jpの洋書の品揃えはずいぶん充実したよね
専門書だと、各地域のamazonで送料込みでも一万円近く違ったりするから
>>904 ありがとうございます。
実はそれ、存在は知ってました。
実際インポートできる事も試して知ってます。
ただそのモジュール、base パッケージで公開されていません。
https://www.stackage.org/lts-13.0/package/base-4.12.0.0 これを使うのは、Internal 系モジュールを使うよりもっとヤバくないですか？
なんか、Haskellなかなか理解進まない
>>911 エビリファイなんて飴玉ですよ…
私はセレネース（ハロペリドール）とベゲタミンでなんとか生きています…
https://ameblo.jp/kyupin/entry-10102907726.html 「ベゲタミンAおよびBは神の薬で、あれを思いついた人はたぶん天才だと思う。あれは合剤だから神なのであって、あの成分をバラバラに処方すると、なぜかベゲタミンほどは効かない。まぁいずれにせよ絶妙な組み合わせなのだろう。」
>>914 これらより強力な薬はいろいろ見聞きする限りではないようですね…
何が目的で何がわからないかわからないとググって出てきたページ読めくらいしか言えない
>>911 この人、技術的にはなんか凄腕っぽくてフォローしてたけど、こんな人だったんか……（困惑）
今朝のテレビの天才特集で
>>915 うんにゃ 一番知りたいのは レスポンス周り
ちょっと、混乱中なのでうまく書けないんだけど
例えば、サンクってどういうルールで作られるとか どういうルールでつぶされていくのかとか
（単純な四則演算だけど括弧付きがあった場合と ２＊２＊（３＋４）のサンクのの適用法は？最左最外簡約との関係は？）
遅延評価では、必要なところまで評価と書かれているけど、WHNFとそれは一致するのか
（WHNFの中でλ式が出てくるところまでとあるけど、それは式の評価の必要なところなの？）
正直いうと、プリミティブも曖昧なイメージはあるけど、正確には分かっていない。多分組み込み的な型とか演算子、関数だよねｗ
Webで得られるのは、どうしても断片的な知識になるんで、個々の知識が繋がりづらいのと、
あとはちょっと信頼性が落ちてたりする（初心者には間違いが分かりづらい）
ある程度知識がしっかりしてる人には、内容の真偽を含めそれで十分なのかもしれないけど
>>918 「殺人予告」と「殺人予告まがい」とは違うものですよね…
>>921 SICP読んだ後、言語ごとの構文解析ちゃんと調べればいいんじゃないかな
>言語ごとの構文解析ちゃんと調べればいいんじゃないかな
形式的なのはhaskell language reportってのがあるけど
基本的な知識なしに局所的に理解しようとするからわからないんでしょ
取りあえず、
>>912 の質問の回答してくれてありがとう >> 回答者
>>928 それの日本語版頂戴ｗ は冗談として
Haskell本って遅延評価はあんまり書かれていないのかな
サンクとかそれなりに書かれていてもいいと思うけど
とはいえ、もうちょっと具体的な質問が出来るよう出直してきます
遅延評価は並列処理を学ぶときにちょろっと深くやるくらいな印象
Haskellにおける並列実行 - 純粋関数型魔境
http://amothic.hatenablog.jp/entry/2013/10/09/220004 『Haskellによる並列・並行プログラミング』の中で
この記事の前半部分をもうちょっと詳しく書いてるけど
それでも10ページ未満くらいの分量
参照カウントを除けばGCのアルゴリズムはみんなメモリ解放を遅延しているという事実
GC管轄外領域にROMを作って高速に読み出す機能ができたんですって？
>>910 「公開されてないモジュール」というのがあるんだ…
stackageから探せなくて、 GHC.Real のように
https://hackage.haskell.org/package/base-4.12.0.0 でリンクなしになってるモジュール。これらは一体どういうものなの？ どうやって作る？
外部から使いたいモジュールは、cabal ファイルの exposed-modules セクションに並べる。
テストなどのために外から使いたいが、あまり使って欲しくないものをInternalモジュール配下に。
使用を禁止したいものは exposed-modules から外す。
モジュールの公開はその三択だと思ってた。
HRR(Haskell relational record)で遊んでるんだけど、
Javaでいえばルール付きインターフェイスがHaskellのモナドという理解でOK？
モナドは単なる自己関手の圏におけるモノイド対象だよ。
モナドは単なる自己関手の圏におけるモノイド対象だよおじさん「モナドは単なる自己関手の圏におけるモノイド対象だよ」
Javaのクラスやインターフェイスは
>>941 なるほどなあ勉強不足でした。
聞いてみてよかったです。
「where」の日本語読みに関してだけど
>>943 haskell の where は数学の教科書なんかに同じ使い方で普通に出てくる。
というか、haskell が数学から借りてきた。
難しく考えないで、自然に
f = g x where x = ...
f は g x と定義される。
「なお、ここで x は ... である」
みたいに読めばいい。
ん？ x の定義は where？となるから先回りして where と書いてる
>>947 ごめん、何が ? なのか分からないんだが。
ぼかさず具体的に質問してくれると助かる。
教科書とか参考書とか読み物とかでよく見るよ。
例えば、Haskell に関係ありそうなのだと、
Steve Awodey 著 Category Theory Second Edition の 15~16 ページ目とか。
-----[ 引用 ]-----
The arrow category C-> of a category C has the arrows of C as objects,
and an arrow g from f : A -> B to f' : A' -> B' in C-> is a "commutative square"
(ここに図があり、g1 と g2 が出てくる)
where g1 and g2 are arrows in C.
-----
フォルダの中身を列挙再帰するのって1回で1階層しか見れなくてIOモナドぶっかけられるから
数学は無限に高速なCPU、無限に使えるメモリを前提として処理を議論する
>>945 >>944 ありがとうございます。
コード読む時に使わせて頂きます・
>>950 質問の意味がよく分からないが、
where じゃなくても、自分自身を再帰的に呼べばいいのでは？
directories :: FilePath -> [FilePath]
という型の関数を定義して、その中で、
1. 引数で渡されたパス内のコンテンツを列挙
2. そのうち、ディレクトリであるものを抽出
3. それらに directories 関数を適用
4. 1 と 3 の結果を結合して return
これじゃダメ？
>>957 シグネチャを間違えた
directiries :: FilePath -> IO [FilePath]
-- ほげ :: FilePath -> IO (Bool, [FilePath])
ディープラーニング用ライブラリ grenade を使ってみようと思いましたが、
ディープラーニングにHaskellを使おうとしていることが問題
>>960 stack.yaml で指定している resolver のバージョンはいくつ？
自分は stack が 1.9.3 で resolver: lts-12.26 で試してみたが、
template-haskell-2.13.0.0 from stack configuration does not match...
というエラーが出た。 lts-12.26 が 2.13.0.0 を要求しているためのようだ。
それで resolver を、2.11.1.0 を要求する lts-9.21 に落としてやってみたら依存の解決はできた。
（その後にリンクエラーになってしまったがこれは別の問題だと思う…
https://github.com/commercialhaskell/stack/issues/3487 と同じっぽい）
>>962 ごめんなさい、何を指摘されているのか分かりませんでした。
>>963 私は lts-13.3 でやっていました。
指摘通り 9.21 でやってみたところ、問題なくビルドできました。
grenade の githab にある example も動きました。
( 言い忘れていましたが OS は archlimux です)
また、指摘から hackage ではなく githab から grenade のプロジェクトをクローンし、
最新の lts-13.3 でビルドしてみる事を思いつきました。
試したら、こちらも問題なくできました。
想定されてる ghc のバージョンが違うのでそのままではコンパイルエラーが出ますが、
ソースを多少改変したら動きました。
お陰様で作業を進められそうです。
ありがとうございました。
cabal new-ナントカ
>>961 > ディープラーニングにHaskellを使おうとしていることが問題
>>960 です。
いや、実用を考えているわけではないです。
haskell 大好きなので、以前 python でやったことを haskell でもできないかと。
ただの遊びです。
ただ、実際 haskell で CartPole が上手くいった画面を見ると感動しました。
物理演算も haskell ライブラリなので python の gym とは違いますが。
(gym-http-api パッケージがなぜか動かないので)
使った主なパッケージは、
学習用
apecs
apecs-physics
grenade
確認用 (アニメーション)
apecs
apecs-gloss
gloss
です。
あとは細々としたものを幾つか。
Haskellの「->」という記号の読み方はありますか？
>>967 型における(->)の英語での読み方は
>>839 によると、toもしくはarrow
data T = D { f :: Int -> Int }
data D = D { f :: Int -> Int, x :: Int }
>>970 なるほど、頭いいな。
採用させてもらうよ。
ありがとう。
既出かも知れませんが
>>974 了解です。
薔薇木をバラキと読むのに違和感があったので
確認してみたかったです。
そうでしたか。
kotlin以下ｗ
kotlinってあれだろ鳥箱の中で争わせて、強いものが… キャー
【ＩＴ】習得したいプログラミング言語、したくない言語 プログラミング言語実態調査 2018
https://tech.nikkeibp.co.jp/atcl/nxt/column/18/00501/111200004/ Haskell は初期学習コストが高すぎるのと、圏論イキリおじさんが煙に巻くので近寄りがたい雰囲気を醸している
ちょっと勉強したけど、なんか仕様がコロコロ変わってるような気がして、
mtl パッケージの Control.Monad.Reader モジュールで MonadReader クラスが定義されています。
関数従属を消すとコンパイルが通らなくなる例
https://ideone.com/sdajAE 具体的には instance Monad m => MonadReader r (ReaderT r m) の他に
instance Monad m => MonadReader () (ReaderT r m) もあり得るから
MonadReaderに関数従属がないとReaderTの型クラスのようには扱えない
m → r
>>983 モナド使うだけなら圏論要らんけどな。
自作するなら圏論要るけど、それはHaskellが難しいんじゃなくて圏論(とか数学)が難しいだけで。
自作しないでただのプログラミング言語として使う分には難しくない。
(どこまで抽象化できるか研究してる人が多いから難しく感じるだけ)
>>=演算子はモナドを受け取ってモナドを返す演算子と覚えておけば良い。
(だからモナド受け取って、モナドの中の値を取り出して処理したらreturnでモナドに包むか、モナド返す関数に引数として渡す)
returnとかclassとか、普通の言語にも同じ用語が出るからって、同じ意味と考えないほうがいい。
まっさらな頭で挑むべし。
(そういう意味で初心者の方が理解が早い)
>>986 例は理解できました。
話も、
> 具体的には instance Monad m => MonadReader r (ReaderT r m) の他に
> instance Monad m => MonadReader () (ReaderT r m) もあり得るから
ここまでは理解できたのですが、
> MonadReaderに関数従属がないとReaderTの型クラスのようには扱えない
ごめんなさい、この意味がまだよく分かりません。
MonadReaderに関数従属がないと、
ReaderT型がMonadReaderクラスのインスタンスとして定義できない、
という事でしょうか。
C++のtemplateのような制約がないダックタイピングに不都合を実感した者は理解が早い
>>989 型推論において instance Monad m => MonadReader (ReaderT r m) のように扱えると言いたかっただけです
上のコードが意味することを言い換えたつもりだったんですが
言葉としては Monad m => ReaderT r m をMonadReaderのインスタンスのように扱える
とした方が正しかったですね
>>991 言葉としては Monad m => ReaderT r m をMonadReaderのインスタンスのように扱える
> とした方が正しかったですね
まだよく分からないです。
これは、関数従属があるからこそ Monad m => ReaderT r m をMonadReaderのインスタンスのように扱える、
ということですよね。
逆に言えば、関数従属がないとそのそうにできない、と。
試しに MonadReader クラスと ReaderT 型を mtl のソースと同じように自作してみました。
(あれは実質 transfirmers の re-export なので、tranformers のソースのように、が正しいですが)
すると、MonadReader クラスの関数従属がなくても、
ReaderT 型を MonadReader クラスのインスタンスにできてしまいました。
エラーなくビルドでき、同じように使うことができました。
どういうことでしょうか。
コンパイラは ghc-8.6.3 です。
>>992 instance Monad m => MonadReader r (ReaderT r m)
この場合インスタンスなのは r と Monad m => ReaderT r m の組み合わせだと理解しているんですが
いずれにしても言いたかったのは前の方の r を無視して扱えるようになるということで
なにか間違ってるようなら忘れてもらって構わないです
UndecidableInstancesだからでは？
質問ではなく否定ができる者は理解が早い
すいません。
初心者でこんなこと聞くのもお恥ずかしいんですが、なにをどうググっても情報がでてこないのでお聞きします。
いま話題になってる
>>985 さんの
class Monad m => MonadReader r m | m -> r where
が全く意味すらわかりません。
“class” が型class を定義する宣言で
“Monad m” が “m は Monad のインスタンスであるときに”
を意味してるんですよね？
そのとき “型 MonadReader r m” が定義されるという風に読めばいいんですよね？
で、その後の
“| m -> r”
がわかりません。
>>985 さんは
>この定義で、なぜ m -> r などという制約が課せられているのでしょうか。
と言われてますが、”制約” とはなんですか？
こんな質問して話の腰を折ってはいけないとなんとか自力でググりまくったんですが全くこの記述の意味を理解する情報を発見することはできませんでした。
載っている参考文献でも結構ですのでどなたか教えていただけませんか？
>>996 私が元の質問者ですが、気にしないで質問なさってください。
>> を意味してるんですよね？
ここまでは良いと思いますが、
>> そのとき “型 MonadReader r m” が定義>> されるという風に読めばいいんですよね？
違います。
定義しているのは型ではなく型クラスです(細かいですが大事なところなので)。
それと | m -> r は、
>>986 でもチラッと名前が出てきましたが、日本語では「関数従属」です。
「haskell 関数従属」でググるとでてきます。
簡単に言えば、| m -> r はこのクラスのインスタンス型において、
型変数 m の型が具体的に決まれば、型変数 r の具体的な型が「一意に」推論できなければならない、
という制約です。
例えば class TTT a b | a -> b という宣言があると、
TTT Int String というインスタンス型と TTT Int Double というインスタンス型は「同時には」存在できません。
a の型が Int なのに、b の型が String の場合のインスタンス型も Double の場合のインスタンス型も定義されているからです。
逆に、TTT String Int と TTT Double Int はOKです。
関数従属になんら違反していません。
| x -> y の x と y の並び順番に気をつけてください。
このスレへの固定リンク： http://5chb.net/r/tech/1506447188/ ヒント： http ://xxxx.5chb .net/xxxx のようにb を入れるだけでここでスレ保存、閲覧できます。TOPへ TOPへ
全掲示板一覧 この掲示板へ 人気スレ |
Youtube 動画
>50
>100
>200
>300
>500
>1000枚
新着画像 ↓「関数型プログラミング言語Haskell Part31©2ch.net ->画像>6枚 」 を見た人も見ています：・【Switch】eBASEBALLプロ野球スピリッツ2021 グランドスラム Part4 C++の後継を目指すプログラミング言語「Carbon Language」がGoogleによって公開される C、Python、R、Rubyの全ての長所を取り込んだ最強のプログラミング言語「Julia」がいま成長中 プログラミング言語別 平均年収ランキング 1位 Scala 2位 Python 3位 Kotlin 4位 Swift プログラミングのお題スレ Part9 プログラミングのお題スレ Part13 プログラミング言語 Scala 12冊目 就職に強いプログラミング言語ってある？ プログラミング言語の人気ランキング eBASEBALLパワフルプロ野球2022 Part4 eBASEBALLパワフルプロ野球2020 Part20 結局人気の高いプログラミング言語ってなに？ お前らプログラミング言語どうやって覚えたんや？ あなたが好きな「プログラミング言語」はどれ？ MS「Excelが世界No1の完全なプログラミング言語」 【LGA2011-v3】Haswell-E Part16【Socket R3】 eBASEBALLパワフルプロ野球2020栄冠ナイン専用スレ Part7 eBASEBALLパワフルプロ野球2020栄冠ナイン専用スレ Part53 eBASEBALLパワフルプロ野球2020栄冠ナイン専用スレ Part45 eBASEBALLパワフルプロ野球2020栄冠ナイン専用スレ Part29 2020年版プログラミング言語ランキング 3位に「C」2位に「Java」1位は 【IT】プログラミング言語「ルビー」、島根のＩＴ潤す 誕生25年へ 【IT】2019年版「最初に学ぶにはふさわしくないプログラミング言語」リスト 【IT】プログラミング言語人気ランキング2020、2位に「大躍進」したあの言語 【PS4/Switch】 eBASEBALLパワフルプロ野球2020 マイライフ専用スレ Part13 【IT】Apple、新プログラミング言語「Swift」をアプリ開発用に提供 開発者は驚き[6/5] ホワイトハウスが開発者に対しRustなどのメモリ安全性に優れたプログラミング言語への移行を勧め始める、まだCやC++使ってる奴おりゅ？ 【天才】スーパー中学生誕生、プログラミング言語わずか数週間で開発、U-22プログラミング・コンテスト2019 ★4 【ADIDAS】Yeezy イージー part39【NIKE】 【KOFAS】THE KING OF FIGHTERS ALLSTAR part318 【KOFAS】THE KING OF FIGHTERS ALLSTAR part343 【KOFAS】THE KING OF FIGHTERS ALLSTAR part301 【ラスバレ】アサルトリリィ Last Bullet Part328 【ラスバレ】アサルトリリィ Last Bullet Part367 【ラスバレ】アサルトリリィ Last Bullet Part371 【ラスバレ】アサルトリリィ Last Bullet Part309 【FF7R】FINAL FANTASY VII REMAKE part368【リメイク】 【FF7R】FINAL FANTASY VII REMAKE part331【リメイク】 【FF7R】FINAL FANTASY VII REMAKE part340【リメイク】 【FF7R】FINAL FANTASY VII REMAKE part336【リメイク】 【PS4】FINAL FANTASY VII REMAKE part31【FF7リメイク】 eBASEBALLパワフルプロ野球2020栄冠ナインモード専用スレPart.30 【ＩＴ】プログラミングスクール卒業生は現場で使えない [Stargazer★] プログラミング業界に異変、SwiftとJavaが不人気、スマホアプリ開発までJavaScriptという時代に Like Nastya part1 LAST ALLIANCE Part27 ASUS ROG ALLYについて語ろう Part6 【XB/PS】Wo Long: Fallen Dynasty part4 【ADIDAS】Yeezy イージー part17【NIKE】 【Supercell】Clash Royale part79【クラロワ】 【Supercell】Clash Royale Part410【クラロワ】 【KOFAS】THE KING OF FIGHTERS ALLSTAR part269 【ラスバレ】アサルトリリィ Last Bullet Part43 【ラスバレ】アサルトリリィ Last Bullet Part64 【KOFAS】THE KING OF FIGHTERS ALLSTAR part292 【Supercell】Clash Royale part153【クラロワ】 【Supercell】Clash Royale part159【クラロワ】 【ラスバレ】アサルトリリィ Last Bullet Part41 【KOFAS】THE KING OF FIGHTERS ALLSTAR part204 【ラスバレ】アサルトリリィ Last Bullet Part509 【KOFAS】THE KING OF FIGHTERS ALLSTAR part244 【KOFAS】THE KING OF FIGHTERS ALLSTAR part126 【KOFAS】THE KING OF FIGHTERS ALLSTAR part240 【Supercell】Clash Royale part250【クラロワ】 【ラスバレ】アサルトリリィ Last Bullet Part416 【KOFAS】THE KING OF FIGHTERS ALLSTAR part172
18:36:52 up 21 days, 9:58, 4 users, load average: 30.51, 55.03, 61.85
in 2.4844541549683 sec
@[email protected] on 111308
