haskell-jp / random #75

fumieval
2020-06-08 12:04:38 +0900
ここだけの話元メンテナの不参加と職権濫用が委員会に問題視されて追い出されたという感じですが、平和的に解決したようで何より
naohaq
2020-06-09 15:27:27 +0900
Unboxed で Mutable な Vector を使うとHaskellでも十分？高速な配列アクセスができると実感したけど、関数プログラミングっぽい書き方からは遠くなっていく……
2020-06-10 03:41:03 +0900
ありがとうございます。
igrep
2020-06-10 08:16:53 +0900
CodeWorldという、ブラウザーベースのHaskell実行環境で動くライブラリーを登録して欲しいとのこと
http://haskell.1045720.n5.nabble.com/Library-maintainers-Include-your-library-in-CodeWorld-web-based-Haskell-environment-td5896969.html
siosio
2020-06-11 17:54:23 +0900
Erlang VM上で動くHaskell風言語
https://www.hamler-lang.org
matsubara0507
2020-06-11 18:08:49 +0900
変態だ
matsubara0507
2020-06-11 18:13:01 +0900
会社で作ってるの、、、やばw
https://github.com/hamler-lang/hamler#authors
The Hamler core team comes from  now.
igrep
2020-06-11 19:59:49 +0900
約1ヶ月半ぶりのHaskell-jp Blogの記事です。 https://haskell.jp/blog/posts/2020/strict-gotchas.html
最初にTopic Requestのissueを作ってから10ヶ月近くもかかってしまいましたがなんとかやりきりました... :sweat_smile:
https://github.com/haskell-jp/blog/issues/167
siosio
2020-06-11 20:12:45 +0900
名前の由来はアメリカのオハイオ州にあるハムラー村だそうです。
kakkun61
2020-06-11 20:32:11 +0900
Elixir では満足しなかったのか
matsubara0507
2020-06-11 23:19:01 +0900
型検査ないし
kakkun61
2020-06-12 00:57:28 +0900
あ、Elixir もそうだったか
簡単な静的検査があるぐらいか
aiya000
2020-06-13 11:19:06 +0900
あ、もう上で紹介されてたw
matsubara0507
2020-06-13 15:04:52 +0900
その hamler の docker image 作りました。手元で動かしたい人で brew install したくない人はぜひ
https://hub.docker.com/repository/docker/matsubara0507/hamler
matsubara0507
2020-06-13 15:06:26 +0900
（その過程で、修正して欲しいところが出てきたので PR を出した https://github.com/hamler-lang/hamler/pull/157）
ysys13
2020-06-13 17:57:51 +0900
@ysys13 has joined the channel
takenobu.hs
2020-06-14 10:33:16 +0900
今年のZuriHac 2020 のOnline公開群です。登壇者はスター揃いで内容もすごい、大豊作です！ これらがOnlineで見れるとは、すごい年ですね:ideograph_advantage::haskell:
https://www.youtube.com/channel/UC2zfPMH_srjxUN5EYrfIhCw

Richardさんの、30分のライブコーディングでGHCに機能拡張(default構文)を入れるのも面白いです。
https://www.youtube.com/watch?v=bhhE2DxbrJM

なお、字幕も付けられます。

ZuriHac 2020は、まだこの週末中、続きます。 全体内容はこちら。
https://zfoh.ch/zurihac2020/
igrep
2020-06-15 13:00:05 +0900
おっ、GHC 8.10 Stackage Nightly入り間近か？（まだWIPっぽいし、気が早い
https://github.com/commercialhaskell/stackage/pull/5425
naohaq
2020-06-15 13:44:34 +0900
mwc-random の uniformRange の実装を見ていて「TypeFamilies使うとこんなことできるのかー」という気持ちに https://github.com/bos/mwc-random/blob/master/System/Random/MWC.hs#L565
kakkun61
2020-06-15 18:30:51 +0900
“Quick Look Impredicativity” というのが承認されたらしい（よく分かってない
https://twitter.com/nomeata/status/1272441484789366784
takenobu.hs
2020-06-16 22:24:30 +0900
↑ （私は仕様の中身を理解できてませんが）著者本人による解説動画があります。
https://www.youtube.com/watch?v=ZuNMo136QqI
igrep
2020-06-17 21:58:28 +0900
めっちゃレアなバグを引いてしまって、しかもそれが作っているプロダクトにとって結構深刻で回避困難なものだったので嘆かせてください :cry:
https://github.com/fpco/typed-process/issues/32
lotz
2020-06-17 22:01:53 +0900
うわ、これWindows依存なんですかね、、、つらそう
igrep
2020-06-17 22:02:19 +0900
ちなみに、今のところWindowsでしか試せてないので、もしよければ他のOSをお持ちの皆さんも試してみてissueにコメントください :pray:
igrep
2020-06-17 22:04:45 +0900
最初に発覚したのがこのコメントのときで、その時がAppVeyorのみだったので多分Windowsだけなんじゃないかなぁと思っています。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/pull/108#issuecomment-641945858
notogawa
2020-06-17 22:16:32 +0900
MacOS入れときました
notogawa
2020-06-17 22:22:06 +0900
WSL2(のUbuntu LTS 20.04)でも起きないですね．
igrep
2020-06-17 22:46:31 +0900
やっぱり手元のLinuxでも再現しませんねぇ。（そして、やっぱプロセスの起動速いなLinux... Windowsが遅いというべきなんでしょうけど... :cold_sweat:
minus1216
2020-06-18 17:08:45 +0900
@minus1216 has joined the channel
takenobu.hs
2020-06-18 22:27:58 +0900
先日のZuriHac 2020での、Alexis Kingさんのプレゼン動画です。 すごい名作です:tada:
タイトルからしてEffectシステム中心の話かと思ったのですが、GHCの最適化コード生成の話です。
GHCでの最適化・コード生成の紹介に興味のある人は、是非、いつか見て下さい。

Effects for Less
https://www.youtube.com/watch?v=0jI-AlWEwYI

単なる機能紹介ではなくて、小さな話から始めて、シンプルなコード例で、機構的・動機的に本質を掘り進めていく展開は圧巻です。ディープな研究者以外に丁寧に説明してくれるスタンスが素晴らしいです。

詳細内容を事前に知りたくない人がいるかもしれませんので、概略内容はスレッド側に書きます。
takenobu.hs
2020-06-18 22:30:47 +0900
視聴する人の楽しみのために内容詳細は控えますが、例えば以下の内容があります:
• Inline化などの、Simplifierでの最適化
• List fusion (rewrite rule) (ここは軽めの紹介のみ)
• 型クラスは、どのようなコードに変換されるか
• .hi ファイルに出力される内容
• known call と unknown call の違い
• Specializingの適用可否
• bind(>>=) の課題
• unbox化 (ここも軽めの紹介)
私は未だ全部を理解しきれてません、ゆっくりとenjoyします:slightly_smiling_face:
なお、それぞれの項目については、日本語でも良いWeb記事がたくさんあると思います。
2020-06-18 22:32:05 +0900
-- 内容詳細 あるといいかもしれないですね。(あまりきにしないでください。)--
igrep
2020-06-19 08:05:39 +0900
私もほぼ全部観ました。これまでGHCの最適化についてもやもやしていたことがまとまってすっきりしました。すごいです。
あと、 :point_up: の内容の他に、開発中のeffパッケージや https://github.com/ghc-proposals/ghc-proposals/pull/313 の背景も最後の方で説明されます。
これ以外の話はすべてこの二つの背景につながるわけです。
igrep
2020-06-19 08:19:30 +0900
Haskell製のAndroid・iOSで動くゲームらしいが技術的な詳細が載ってないっぽい…:confused:
クロスコンパイルでもしたのだろうか。
https://keera.co.uk/2020/06/18/enpuzzled-released-for-android-and-ios/
takenobu.hs
2020-06-19 22:03:06 +0900
Linear types言語拡張の巨大なパッチ第一弾がGHCのmasterにlandingしました。 安定すれば、8.12に間に合うかもしれませんね:haskell:
https://gitlab.haskell.org/ghc/ghc/-/commit/40fa237e1daab7a76b9871bb6c50b953a1addf23

QualifiedDo言語拡張のパッチはこちら。 まだmasterには入ってませんが、こちらも8.12に間に合いそう:haskell:
https://gitlab.haskell.org/ghc/ghc/issues/18214

なお、どちらも、ZuriHac 2020での解説動画があります。
A tour of linear types and linear base
https://www.youtube.com/watch?v=I7-JuVNvz78

QualifiedDo: customizable 'do' syntax without fuss
https://www.youtube.com/watch?v=TH3cYp3349A
takenobu.hs
2020-06-19 22:10:44 +0900
動画ついでに。
GHC 8.10から入っている、Non-moving GC についての、Benさん本人による解説動画があります:haskell:
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM)
Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
https://www.youtube.com/watch?v=skNDP5ZYZJ4
（3:04:00付近から）

今年中に見きれないくらい豊作ですね:slightly_smiling_face:
takenobu.hs
2020-06-19 23:54:58 +0900
Linear typesについて、tweagによる記事が上がってました
https://www.tweag.io/blog/2020-06-19-linear-types-merged/
takenobu.hs
2020-06-20 10:36:03 +0900
妙に圧にならないように、このくらいにしときます:slightly_smiling_face:

週明け6/22(月)のCHALMERS ONLINEは、Stephanie Weirich氏です。
内容は "Strongly Typed System F in GHC" です。
YouTubeで日本時間だと夜11時から。後からでも見れます。

CHALMERS ONLINE FUNCTIONAL PROGRAMMING SEMINAR SERIES
http://chalmersfp.org/

Stephanie Weirichさんは、"System FC with explicit kind equality"() 等の著者で、GHCのactive開発者のRichard Eisenbergさんの師匠です。

GHC Haskellの内部表現の１つであるCore言語は、System F(C)に基づいています:haskell:
takenobu.hs
2020-06-20 10:43:12 +0900
英語の動画リンクをいっぱい貼っちゃったので補足です。既知かもしれませんが念の為。
少なくともPC版のYouTubeだと、コンテンツによっては字幕(誤変換多々ですが)が付きます。ショートカットの"c"キーで字幕on/off。
ショートカットの、"j", "l"キーがそれぞれ、10秒戻しと10秒送りです。 ショートカットの"k"キーか"space"キーが、停止/再生のトグルです。
（10分くらいの内容を見るのに、1時間くらいかかってます:thinking_face:）
matsubara0507
2020-06-20 12:08:10 +0900
字幕、知らなかった！
2020-06-21 12:59:10 +0900
godotからhaskell を共有ライブラリでよんで、
gccの仕組みでそのライブラリを初期化してますね
なにかにhaskell を組み込む場合の参考になりますね
igrep
2020-06-21 18:43:56 +0900
GCCの仕組み、というのはなんですか？ https://gcc.gnu.org/onlinedocs/gccint/Initialization.html のことですかね？
2020-06-21 18:48:24 +0900
addons/godot-haskell-plugin/cbits/flib.c:static void flib_init() __attribute__((constructor));
です
kazu
2020-06-24 07:33:02 +0900
random なので、random で。random 1.2 が出ましたね！ 劇的に速いみたい。
kazu
2020-06-24 07:34:52 +0900
cryptonite 0.27 が出たけど、`support_pclmuldq` フラグが False のまま。ずいぶん待たせてこれかい。