haskell-jp / questions #69

igrep
2019-09-04 19:03:01 +0900
あともう一つのアプローチとして、Alexが返す例外をパーサーコンビネーターなどでパースしてしまう、というやや遠回しな手もあるかと思います :sweat:
2019-09-04 20:29:47 +0900
お疲れ様です
nixを使ったhaskell のベストな開発フローが知りたいです
cabal v1 or v2
どちらがお勧めでしょうか
エディタはホストのものをつかうのがいいですか
それともnixのなかに入れ込むのがいいのでしょうか
2019-09-04 20:31:09 +0900
あとnixによるいいci環境があれば合わせてお願いします
addokoda
2019-09-04 21:41:28 +0900
これの招待リンクってどこかにありますか？
linguini
2019-09-04 21:44:13 +0900
最初のメッセージのリンクが招待リンクのはずですが...
2019-09-05 00:29:01 +0900
GHCでも使われてるし字句解析と構文解析が別れるからわかりやすいのかなーと思った次第です。エラーメッセージのパースは考えましたが本末転倒すぎるので見なかったことにします……
as_capabl
2019-09-05 08:52:18 +0900
パーサのエラー出力って割とホットな問題なんですよね。GHCですらパースエラーについては、最初の一個をぶん投げて終わり、にしてる奴なので。
as_capabl
2019-09-05 08:52:51 +0900
なので妥協するか、または良いアプローチを自力で探ってみるかの2択かと思います
mi-chang
2019-09-05 09:06:19 +0900
招待リンクは
bit.ly/2GwPFrs
でした
kazu
2019-09-05 09:34:13 +0900
Safe/Trustworthy プラグマに関する質問です。
ある時点で、importしているモジュールがTrustworthyであったために、そのモジュールも Trustworthy にしていたとします。
importしているモジュールがパージョンアップして、Safe に変わりました。
すると、
'XXX' is marked as Trustworthy but has been inferred as safe!
みたいな警告が出るようになります。
この警告を消すスマートな方法はありますか？
プラグマ部分に #ifdef って有効なんですかね？
2019-09-05 09:39:40 +0900
なるほど……ありがとうございます。とりあえずMegaparsecあたりを触ってみて、それでもしっくりこないようなら言語仕様に沿ったパーサを自前で書く、といった方向で試してみます
fumieval
2019-09-05 10:49:49 +0900
https://github.com/ekmett/lens/blob/60b89993903af95f138411a0721e952e84047a6c/src/Control/Lens/Internal/Setter.hs#L4 のように、Trustworthyを切り替えるのはしばしば見られます。あるいは-Wno-trustworthy-safeで無視するのもありだと思います
Hiroto
2019-09-05 12:21:15 +0900
ベストプラクティスかはわからないけど、自分が関わっているプロジェクトの開発環境はこうなっているという回答でもいいかな。。？
2019-09-05 14:35:04 +0900
megaparsec で簡単な言語をパースする例としては、ぼくにはこれがわかりやすかったです https://markkarpov.com/megaparsec/parsing-simple-imperative-language.html
2019-09-05 14:37:24 +0900
ありがとうございます！読んでみます
2019-09-05 14:39:33 +0900
う・・でも改めて見たら冒頭に「The text here may be obsolete. See this tutorial instead.」とありました。
2019-09-05 14:40:47 +0900
さっきのはバージョンやらスタイルやらが古いかもしれません。こちらのほうが網羅的でよいようです。長いですが…。
2019-09-05 15:44:02 +0900
大丈夫です
お願いします
linguini
2019-09-05 16:47:12 +0900
megaparsecで書いたパーサーがeofで止まらず無をパースしようとして死ぬんですが、助けてください
https://github.com/1inguini/mud/blob/detailedAST/src/Parse.hs
igrep
2019-09-05 16:50:34 +0900
詳細ぱっとわかりませんが、 many には本当に慎重になった方がいいです。
2019-09-05 17:07:03 +0900
思い出した。普通のパーサコンビネータだと左再帰がうまく書けそうにないような気がしたのでAlex+Happyで自動生成にしたんでした。やりたいことは x y z を右結合の指定なしに Apply (Apply x y) z という構文木にしたいのです。そのへんHappyがうまくやってくれます
2019-09-05 17:10:43 +0900
Elmが（Idrisもらしい）Happy使わずパーサコンビネータだけであの文法をパースしてるのを見るとできないこともなさそうなんですが……
2019-09-05 17:11:16 +0900
たしかに many のどれかを some にしたら急に動いたりするかもしれないですね。
igrep
2019-09-05 17:11:43 +0900
左再帰とかもろもろの演算子のあれこれを、演算子の結合と優先順位を指定するだけでどうにかしてくれる makeExprParser という関数がparser-combinatorsというパッケージにありまして :smirk:
http://hackage.haskell.org/package/parser-combinators-1.2.0/docs/Control-Monad-Combinators-Expr.html#v:makeExprParser
2019-09-05 17:12:22 +0900
『右結合の指定なしに』
kazu
2019-09-05 17:35:23 +0900
お、ifdef が効くのですね。ありがとうございます！
2019-09-05 17:40:22 +0900
ちょうどそこに行き着いたところでした！
linguini
2019-09-05 17:40:32 +0900
(一旦諦めました)
matsubara0507
2019-09-05 19:55:58 +0900
(全然関係ないけど、GitHub 上のコードを貼るときはコミットハッシュ込みの方がいいよ（あとでみた時に変わってしまう）)
matsubara0507
2019-09-05 20:04:16 +0900
あと、出だしがよくわからないや
例えば、ghci でこういう風に実行したら止まらない（理想はこう）とかを書いてくれると実装を追いやすいです。
Hiroto
2019-09-06 14:50:43 +0900
nixを使ったhaskell のベストな開発フローが知りたいです
> cabal v1 or v2どちらがお勧めでしょうか
ｖ２ってnew-* がついてるコマンド郡のことですよね。。？その場合であればv2を使用しています


> エディタはホストのものをつかうのがいいですか、それともnixのなかに入れ込むのがいいのでしょうか (edited)
ホストのものを使ってます。nix-buildを使ってnix環境に入り込みつつ、既存のエディタにもアクセスできるようにしてます。


> あとnixによるいいci環境があれば合わせてお願いします

弊社ではhydraを使ってます
Hiroto
2019-09-06 14:52:36 +0900
BuildKiteも使ってるけど、これはArtifactの生成だけに使ってるっぽくて、ビルドができるかどうかしかチェックしてないです。
2019-09-06 18:38:43 +0900
ありがとうございます。

技術的なところがよくわかってなくてすみません。
cabal v1 or v2のところでnixでhaskellのパッケージをインストールした場合でもv2でインストールしたパッケージを
利用できますか？

OSSでhydra使うにはどうしたらいいでしょうか。自分でたてるしかないですか？
JokerTheWild
2019-09-08 09:48:08 +0900
esqueletoでwhere句を作れずに困っています。makeWhereでwhere句を返したいのですが、個々の検索条件式は良いのですが、E.&&.でまとめて返したいのですがどのように記述すれば良いか困っています。よろしくお願いします。
2019-09-08 09:54:51 +0900
まだ公開の準備が整ってないコードなので断片的ですし的外れかもしれませんが私はこのように`fordr`で検索条件をくっつけていました
2019-09-08 09:56:17 +0900
Nothingの場合適当にTrueでも埋め込んでおけば良いかと
JokerTheWild
2019-09-08 10:07:21 +0900
ありがとうございます。 Nothing側にE.val Trueを入れてやってみたら、今回の主旨とは違うコンパイルエラーが出たのでちょっとそちら側を処理してからまた報告します。

• Couldn't match type ‘Text’ with ‘Maybe Text’
arising from a use of ‘ClientCompany’
JokerTheWild
2019-09-08 10:36:24 +0900
ありがとうございます。where句きちんと作成できました！
コンパイルエラーで多少型合わせの調整しましたが、なんとかなりました。
igrep
2019-09-08 11:27:54 +0900
https://github.com/haskell-jp/blog/issues/167
こちらの件で、「Strictを指定していようといまいとStackOverflowを起こす」という実験のために、GHCのRTSのスタックサイズを減らすよう -K1k と指定してみたのですが、うまくStackOverflowを起こすことができません。
どこで間違ったのか、教えてください！

ソースコード: https://github.com/haskell-jp/blog/blob/8c1db1af41df8eca8753bb9bcee38691ad13988c/examples/strict-gotchas/stackoverflow.hs
コンパイル時のコマンド:
stack exec ghc -- -O0 -rtsopts -with-rtsopts=-K1k .\stackoverflow.hs
igrep
2019-09-08 11:38:07 +0900
-XStrict をつけたら溢れた。 :thinking_face:
igrep
2019-09-08 11:48:23 +0900
なお、GHCのバージョンは8.6.5です。
コマンドにバックスラッシュが混ざっていることから察せられるとおり、Windows版を使っています。
linguini
2019-09-08 18:35:15 +0900
単項マイナスを括弧で囲むとパースできなくなってしまいます(囲まなければちゃんとパースできる)
https://github.com/1inguini/mud/commit/3bce80c19ea34ce74fec88eac34c765f1def1d70
❯❯❯ stack run parse '(-12)'

<stdin>:2:2:
  |
2 | (-12)
  |  ^
unexpected '-'
expecting '"', ''', '(', ')', ':', '[', digit, or integer
igrep
2019-09-08 19:00:39 +0900
(1) そのコミット以前はできていたんですか？それともこのコミットは関係がない？
(2) 念のため確認ですがパーサーの全体像は https://github.com/1inguini/mud/blob/3bce80c19ea34ce74fec88eac34c765f1def1d70/src/Parse.hs ということですよね？
linguini
2019-09-08 19:04:48 +0900
(1)git checkoutして試したらできました
(2)言ってることがよくわかりませんが、そのリポジトリかと言われればそうですが、ブランチはparser_from_scratchです
linguini
2019-09-08 19:05:33 +0900
あとeofで死ぬ問題は解決しました
linguini
2019-09-08 19:06:47 +0900
パーサを書き直してsepByをsepEndByにしたらなんか動きました(もとのパーサのsepByを置き換えても別に直りませんでしたが)
linguini
2019-09-08 19:25:36 +0900
anonFunsが悪さしていました