haskell-jp / random #35

igrep
2019-01-08 15:03:13 +0900
あ、あと、stack build --ghc-options=-jとすればモジュール単位の並列化までできますが、そういう話ではない？
りんご姫
2019-01-08 15:09:39 +0900
日本語は悪。はっきりわかんだね。
aiya000
2019-01-08 15:13:14 +0900
-j、あったのか！！
2019-01-08 15:24:45 +0900
プロジェクトのビルド早くしたくて前にそれ追いかけてたんですが現状だとそれやると何故かシングルスレッドより遅くなるみたいなベンチマークが出てきてましたね
2019-01-08 15:34:19 +0900
https://ghc.haskell.org/trac/ghc/ticket/9221
これですね
8.6で解決されたとか書いてますし試してみるかー(私の本番プロダクションはesqueletoのせいでまだlts 10なんですが)
2019-01-08 17:34:57 +0900
stackを新しくしてからglobal installしたモジュールがglobal importで読み込めなくなってるな
と思ってghciを素で起動したら読み込まれる
interoがglobal moduleを認識しなくなっている?
2019-01-08 17:38:49 +0900
あれ起動し直したら認識するようになった
intero-restartでも認識しなかったのに…
2019-01-08 18:22:50 +0900
esqueleto, countとかsumとか使いたくなった時にクソナガ型注釈が必要になるのやめてほしい
2019-01-08 18:24:22 +0900
E.orderBy [ E.desc $
            -- 何故かsumには長大な型注釈が必要
            (E.sum_ :: E.Esqueleto query expr backend => expr (E.Value Rational) -> expr (E.Value (Maybe Rational))) $
            foo E.^. Bar
          ]

何故この型注釈が必要になるのか全くわかっていない
Kazufumi_Suzuki
2019-01-08 19:13:13 +0900
@Kazufumi_Suzuki has joined the channel
koyama41
2019-01-09 09:10:43 +0900
@koyama41 has joined the channel
2019-01-09 14:52:54 +0900
@ has joined the channel
2019-01-09 17:57:37 +0900
そーいやHaskellに限らないんですけどマルチスレッドでロギングする（特に一つのファイルに書き込む）ときってどうしてんでしょ。ロギング用のスレッド立ててキューを介してログ出力がベストプラクティス？
as_capabl
2019-01-09 18:10:42 +0900
ロギングくらいなら完全排他ロックでも良いのでは感
as_capabl
2019-01-09 18:12:10 +0900
あとは、sqlite使っているプロジェクトなら、ログもsqliteに吐くのもありかなと(ちょうどHaskellにはHRRがあるし)
りんご姫
2019-01-09 18:12:17 +0900
スレ数によりますけど、一スレ一ファイルみたいなのもありかな？ 少量ならばね
りんご姫
2019-01-09 18:16:07 +0900
あ、一つのファイル前提か、ならロック安定かなー
as_capabl
2019-01-09 18:18:18 +0900
Haskellならスレッドが軽いので、ログ出力メソッドを呼ぶ度にforkIOでも行けそう。立てたスレッドはファイルロックが取れるまで固まるけど、fork元はそのまま走れる
2019-01-09 18:21:58 +0900
規模によりけりっぽいですね。大規模なサーバならともかく小さめのやつなんで色々試してメンテなビリティ良さそうなのを考えてみます
2019-01-09 18:36:32 +0900
ロック機構ついてたんですね。ソースコード斜め読みでついてないと思ってました……
りんご姫
2019-01-09 18:37:35 +0900
ロック安全かどうかも型で分かったらいいこと、、、あるのかなぁ？
aiya000
2019-01-09 21:14:09 +0900
esqueleto全然わからんけど（:mask:）
TypeApplicationsできないかな:thinking_face:
2019-01-10 11:29:43 +0900
@ has joined the channel
fumieval
2019-01-10 12:34:58 +0900
MVar Handleとして持って、使うときだけmodifyMVarで取り出すというトリックを私はよく使います
igrep
2019-01-10 18:06:05 +0900
知らなかった。こんな本の執筆が始まってたんですね。
https://www.manning.com/books/haskell-in-depth
matsubara0507
2019-01-10 19:05:01 +0900
執筆中の部分読めるんだ（？）
igrep
2019-01-10 19:06:55 +0900
実に今時らしいやり方だと思います！ :sunglasses:
kazy
2019-01-10 20:18:13 +0900
@kazy has joined the channel
hexirp
2019-01-10 20:45:08 +0900
天文学関係の記事を見てたら、予想外のところで Haskell が出てきて不意打ちされた https://ja.m.wikipedia.org/wiki/%E3%82%A2%E3%83%88%E3%83%91%E3%83%BC%E3%82%BB%E3%82%AF
syocy
2019-01-10 21:10:14 +0900
parsec, megaparsec もそうですよね。
りんご姫
2019-01-10 21:47:54 +0900
吹き出すような名前の候補を出すGitHubが悪いとおもいまぁす いや、センスは好きだけどね
matsubara0507
2019-01-11 12:28:03 +0900
そうだったのか
parsec系
matsubara0507
2019-01-12 19:28:04 +0900
結構昔のシンタックスじゃないっけ
location
kakkun61
2019-01-12 21:08:34 +0900
GHC 8.4 で問題ないのに 8.2 で型エラーになるコードができた……（厳密には resolver が違う
2019-01-15 13:14:57 +0900
@ has joined the channel
Lizyc-jp
2019-01-15 15:58:16 +0900
@Lizyc-jp has joined the channel
kakkun61
2019-01-15 17:49:12 +0900
会社 PC で試したら Windows MAX_PATH の問題だったっぽい
帰ったら家のエラーもう一度見てみよう
as_capabl
2019-01-15 21:20:51 +0900
https://ja.m.wikipedia.org/wiki/ホモロジカルミラー対称性予想 物理関係で圏論の最先端なので興味を持ったやつ
as_capabl
2019-01-15 21:22:17 +0900
少し前のもくもく会で「ケーラー多様体」という言葉がちょっと聞こえてきたような気がするんですが、気のせいだったかも知れません
kakkun61
2019-01-16 01:25:45 +0900
なんかちゃんとコンパイルできたぞ
maoe
2019-01-16 12:40:02 +0900
https://www.reddit.com/r/haskell/comments/ae1i6z/reminder_please_submit_gsoc_ideas/
今年の夏に学生が取り組むGoogle Summer of Codeのプロジェクトアイデアを募集しています。現在のアイデアリストは https://summer.haskell.org/ideas.html で見られます。また、リストに無いアイデアを持っている方は https://github.com/haskell-org/summer-of-haskell にPRを送って新しいアイデアを提案できます。

学生の方は取り組みたいプロジェクトがあるかあらかじめ目を通しておくと良いと思います。また、参加者を募集する段階で参加者自身がアイデアを提案することも出来ますが、なるべく早めに自分のアイデアを上記リポジトリで提案したり、mentor or maintainerと相談しておくと採用される可能性が上がると思います。
maoe
2019-01-16 12:42:31 +0900
GSoC関連で何か質問があれば僕が受け付けますのでお知らせください。
2019-01-16 18:43:39 +0900
@ has joined the channel
kakkun61
2019-01-16 21:20:58 +0900
trace を入れれば終了するけど、それがないと待てども終わらないコードができたような……
きっと疲れてるんだ
kilo
2019-01-16 22:11:16 +0900
@kilo has joined the channel
as_capabl
2019-01-17 00:07:44 +0900
まだ途中ですけど、少し前から作っていたDhallのCバインディングをgithubに上げてみる https://github.com/as-capabl/clay-dhall
as_capabl
2019-01-17 00:09:07 +0900
こんな感じでDhallの解釈結果をCに取り込めます https://github.com/as-capabl/clay-dhall/blob/master/ctest/type.c
kakkun61
2019-01-17 11:46:28 +0900
base パッケージのドキュメント部分にこまかいまちがい見つけたんですが、ghc の trac に issue として上げればいいんですかね？
直接パッチ投げるなりしていい？流れが分かってない。

Haddock のエスケープをしてないので \ が消えてる。（ \\ にしないといけないはず。）
       mapM_ (sem -> putMVar sem ()) sems

http://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Concurrent-MVar.html