haskell-jp / random #76

kazu
2020-06-24 07:37:38 +0900
QUIC 界隈では、AES GCM をもっと速くすることが流行っていて、Haskellもこの潮流に乗れるよう頑張りたい。(古い技術なんだけど、AES と GCM の計算を並列化できるなんて知らなかったよ。)
igrep
2020-06-24 08:16:16 +0900
Kowainikさんがまた新しいパッケージを https://github.com/kowainik/stan
kazu
2020-06-24 12:57:45 +0900
メンテされてないパッケージに random < 1.2 とか書いてあって辛い。
mod_poppo
2020-06-24 16:55:27 +0900
以前から細々と作っていた、浮動小数点数演算の丸め方向を指定できるやつをHackageに上げました。ARM (AArch64) にも対応してます。 https://hackage.haskell.org/package/rounded-hw
にしたに
2020-06-25 02:28:37 +0900
精度保証付き数値計算ができるようになりますね！
2020-06-25 17:35:44 +0900
@ has joined the channel
profunctorial95
2020-06-25 19:21:19 +0900
@here 皆様、お久しぶりです。何ヶ月前に参加させていただいたんですが、なかなか忙しくてあんまりアクティブでなくてすみません。

最近よく気になることですが、日本でHaskellをやってる企業ってありますか？
igrep
2020-06-25 20:10:45 +0900
記事になっているものですと https://wiki.haskell.jp/Links#%E5%90%84%E7%A4%BE%E3%81%A7%E3%81%AE%E6%8E%A1%E7%94%A8%E4%BA%8B%E4%BE%8B にいろいろ書かれています。
ここに書いてある企業すべてが今でも採用しているかは不明ですが、私が知る限り朝日ネットさんやDeepFlowさん、それからここに書いてないものとしてはHERPさんもHaskellを採用しているはずです。
naohaq
2020-06-26 10:20:07 +0900
StatefulGen 型クラスが導入されてる〜〜 < random-1.2
lotz
2020-06-26 10:55:14 +0900
random 結構変わってますね :eyes:
だいぶ速くなったってことは mwc-random から乗り換えても大丈夫か(!?)
https://hackage.haskell.org/package/random-1.2.0
profunctorial95
2020-06-26 11:18:06 +0900
@igrep 共有、ありがとうございます！
DeepFlowさんは埼玉県にある株式会社DeepFlowであってますよね？
profunctorial95
2020-06-26 11:20:04 +0900
ありがとうございます！
naohaq
2020-06-27 14:47:55 +0900
とりあえず今書いてるpure haskellなMersenne Twisterの実装をrandom-1.2に対応させたでござる https://github.com/naohaq/mtrand-hs
kuu
2020-06-27 16:33:33 +0900
@kuu has joined the channel
naohaq
2020-06-28 14:44:52 +0900
どの記述がどの拡張を必要としてるのかコンパイルしてみるまでわからないよぅ！( TypeFamilies 使わなくなったからと思って LANGUAGE から消したら別のところでエラーになったよぅ！ )
igrep
2020-06-29 11:27:24 +0900
GHCのエラーメッセージを簡単に置き換えられるようにしてくれるプラグイン https://github.com/ArturGajowy/ghc-clippy-plugin
2020-06-29 15:02:53 +0900
GHC拡張をstylish-haskellの指示で消したらTemplate Haskellで生成したコードが使ってることがよくありますね…
2020-06-30 14:54:27 +0900
yesod-binがC-cで終了しないやつ修正するpull requestがmergeされたんですが
書いた私もレビュアーもWindowsでテストしてないのでWindowsでバグったら多分このせいです
[fixed: yesod-bin: when C-c, kill yesod-bin and children process by ncaq · Pull Request #1683 · yesodweb/yesod]()
kakkun61
2020-06-30 17:08:14 +0900
そもそも GHC の吐くプログラム、Windows で C-c がおかしい気がしてる
Roki
2020-06-30 19:16:17 +0900
@Roki has joined the channel
Shota
2020-07-01 12:46:16 +0900
@Shota has joined the channel
igrep
2020-07-01 15:19:46 +0900
今更感のある「君の名は。」ネタ https://github.com/approvers/RADWIMPS/pull/32
kazuki
2020-07-02 15:51:03 +0900
@kazuki has joined the channel
igrep
2020-07-02 18:16:17 +0900
便利そう（他の言語にも同種のライブラリーがあるそうなのであまり目新しくはないかも知れないけど）
https://github.com/hiratara/hs-string-random
Jahon
2020-07-03 15:32:06 +0900
@Jahon has joined the channel
takenobu.hs
2020-07-04 12:41:44 +0900
Redditなどから、いくつか情報です。

その１: FPcompleteのHaskellチュートリアルのページです。 しばらく見ないうちに、かなり整備されてます。
APPLIED HASKELL SYLLABUS
https://www.fpcomplete.com/haskell/syllabus/
（上記URLの情報の出処は、 です。）

その２: 人工衛星の管制システムでのHaskell使用についてです。 品質と生産性で使いどころですね。
Using Haskell in the Mission Control Domain
https://www.youtube.com/watch?v=26ViUXHtah0&feature=youtu.be
（コードは、）

その３: テキスト形式でのアドベンチャーゲームのフレームワーク。 レトロなシンプル感。
hyzzy
https://github.com/gelisam/hyzzy
igrep
2020-07-04 15:12:22 +0900
glibcの問題を回避するためにmuslにしたのか。普通に動いているようで素晴らしい。 https://qiita.com/lambda_funtaro/items/5ac47f83616f8c07d4db
igrep
2020-07-04 16:55:53 +0900
話題のrandom-1.2を使おうという方へ
https://twitter.com/igrep/status/1279322626427514881
Aquila Minakami
2020-07-06 03:44:39 +0900
@Aquila Minakami has joined the channel
fumieval
2020-07-08 12:32:24 +0900
Backpackを活用したByteStringビルダーのベンチマークに触れる機会がありました。
競合する複数のライブラリをうまく扱えて便利です https://github.com/andrewthad/bytes-builder-shootout
cashitsuki
2020-07-08 13:25:24 +0900
@cashitsuki has joined the channel
kakkun61
2020-07-10 16:15:30 +0900
コード生成ででかいファイル作ったら Hackage での Haddock 実行が No space left on device になってしまった
http://hackage.haskell.org/package/postgresql-pure-0.1.3.0/reports/2
kakkun61
2020-07-10 17:18:57 +0900
これ利用者にとって厳しいし自前ホストするか GitHub Pages で
それかそもそも巨大タプル使うなと対応タプル数減らすか
kimihito
2020-07-10 18:03:44 +0900
@kimihito has joined the channel
Ftt
2020-07-11 18:17:42 +0900
@Ftt has joined the channel
igrep
2020-07-11 18:59:58 +0900
述語関数を組み合わせる方法。関数のApplicativeインスタンスを使う方法はしってたけど、そうか予めliftA2しておけばApplicativeへの二項演算もきれいに書けるんですね
https://dev.to/gillchristian/composing-predicates-30jb
naohaq
2020-07-11 19:04:48 +0900
ファンカンペーンの定理っぽい図式……
lotz
2020-07-11 19:31:16 +0900
Pushoutにはなってなさそう？そもそもxからf に矢印が引かれてるの謎ですねw
lotz
2020-07-11 19:32:49 +0900
liftA2便利ですねー
関数だけど変数っぽいやつにはなんでも使えそうですね、確率変数とか
2020-07-11 20:15:15 +0900
勉強になりました
shiogai1987
2020-07-11 20:41:17 +0900
@shiogai1987 has joined the channel
igrep
2020-07-11 22:12:46 +0900
:point_up: の記事、最初に読んだときに思って適切な数学用語が出てこなくって言うのをためらったんですが Monoid b => Monoid (a -> b)と同じ要領で関数と Bool が Semiringだったら && も || もお手の物ですよね？
naohaq
2020-07-12 01:23:17 +0900
なんか &&& と書かれると Arrow の &&& 演算子( (->) でいうと (b -> c) -> (b -> c') -> b -> (c,c') )が思い出されてもにょる……。
naohaq
2020-07-12 13:49:44 +0900
型を理解するのにだいぶかかりました orz 。`a -> Bool` を f Bool だと思うわけですね(`->` のどっち側を型引数だと思うかで混乱したでござる)
すとまと
2020-07-12 15:36:43 +0900
@すとまと has joined the channel