haskell-jp / random #31

hexirp
2018-11-28 19:11:21 +0900
知らないパッケージを検索した時に見つかる Hackage の URL が、いつも https ではなく http になっているのちょっと不思議 (検索サイトは関係ない模様)
1to100pen
2018-11-29 16:30:11 +0900
今年の Advenct Calendar は去年に比べたら低調ですね。（去年が多すぎただけか）
「Haskell Advent Calendar 2018」（空席1つ） https://qiita.com/advent-calendar/2018/haskell
「Haskell (その2) Advent Calendar 2018」（空席多数） https://qiita.com/advent-calendar/2018/haskell2
lotz
2018-11-29 16:35:27 +0900
去年は その5 まであったんですね...ｗ
igrep
2018-11-29 16:36:46 +0900
まぁ、多けりゃいいってもんでもないですし、やる気のある範囲でやればよいのではないかと。（私は今回できるかまだ不透明なので登録を先延ばししています :bow:
fumieval
2018-11-29 16:46:15 +0900
アドベントカレンダーの数に固執するよりは、一年を通して質の良い記事を発信するほうがコミュニティのためになるとは思います
matsubara0507
2018-11-29 18:48:35 +0900
むしろ、なんで去年はあんなに多かったのか
matsubara0507
2018-11-30 12:12:05 +0900
このCustom Runtimesに対応したC++とRustの環境をAWSはオープンソースとして公開。さらにPHP、COBOL、Erlangなどのサポートを行うパートナーも発表されました。

COBOL すごい
2018-11-30 12:26:52 +0900
Haskellがない。
2018-11-30 12:29:05 +0900
golangのaws lambdaは
https://golang.org/pkg/net/rpc/
これをつかったTCPのサーバーをたてるだけだから
同じような感じでhaskellも動かせるような気がしています。
matsubara0507
2018-11-30 12:33:55 +0900
カスタムランタイムでどんな言語でもできるよ、公式は C++ と Rust の分を作ってOSS化しといたよ
PHP、COBOL、Erlang のもやってくれる人がいるってさ
ぐらいに思ってたので、誰か Haskell やって公開すればいいんですよね
matsubara0507
2018-11-30 12:43:28 +0900
実行ファイルを zip 化して upload する感じなのかな
Custom Runtimes
syocy
2018-11-30 13:03:45 +0900
AWS Lambda の実行環境は Amazon Linux (CentOS) なので、Amazon Linux 向けにビルドした Haskell バイナリを JavaScript の zip に同梱して node API でキックすれば、今までも実はLambda上で Haskell を動かせないことはなかった。
Custom Runtimeというのが実際何をしてくれるのかは把握していないですが。
2018-11-30 14:27:45 +0900
1, LAMBDAのAPIをたたいてリクエストもらう
2, リクエストに基づいて処理
3, LAMBDAのAPIをたたいて結果を返す
という流れなのですね。
Custom RuntimeというのはLAMBDAのAPI（RESTかなにか）の仕様なんでしょうかね。
its_out_of_tune
2018-11-30 17:56:04 +0900
:tune:
its_out_of_tune
2018-11-30 17:56:26 +0900
（igrepさんに「ちゃんとHaskellerしてください」と怒られた気がする）
Cosmia
2018-11-30 18:20:23 +0900
Haskell は dlopen みたいな機能あるかなあ？もしあったら汎用的な Runtime を作れるかもしれないなあ
Cosmia
2018-11-30 18:23:41 +0900
plugins というpackageを知ってるけど、でもGHCを必要から、ばかでかくなっちゃう。。。
igrep
2018-11-30 18:24:55 +0900
完全にGHCのランタイムから分離させたものは難しいでしょうね。。。 :disappointed:
Cosmia
2018-11-30 18:32:09 +0900
Haskell コード同士で FFI を使うという邪道を考えてみた ww :joy:
igrep
2018-11-30 18:34:11 +0900
確かGHCでビルドしたsoファイルをGHCでforeign importするのはできなかったはず（多分、ランタイムの何かが衝突してしまうから）なので、同じ理由でそれも難しそう。。。 :sweat_smile:
Cosmia
2018-11-30 18:35:47 +0900
rts 二人分で喧嘩しちゃうってこと？
igrep
2018-11-30 18:45:56 +0900
... あ、と思ったけど、すぐ上のセクションで書いてある、 Shared libraries for Haskell packages の方法ならHaskellで書かれたパッケージをHaskellのプログラムからdynamic linkできるみたいですね。すみません。
Cosmia
2018-11-30 18:48:40 +0900
:thinking_face:明日ちょっといじってみよう。。。
Cosmia
2018-11-30 18:58:46 +0900
でもよく考えたらそうやるメリットが全然ない。。。
takenobu.hs
2018-11-30 21:56:48 +0900
WebAssemblyのイメージ図集を描きました。
HaskellもWebAssemblyのバックエンド(Asteriusやdhc)があるので、ここでも共有しておきます:slightly_smiling_face:
（ちょっと忙しくなりそうなので、現バージョンでopenしました。理解ミス箇所等は今後修正します。）
ちなみに、WebAssemblyのreference interpreterは、OCaml製です。

https://takenobu-hs.github.io/downloads/WebAssembly_illustrated.pdf
りんご姫
2018-11-30 22:05:28 +0900
そういえば、haskell(ghc)は、llvmを吐けるからそれ経由でwasmにできないかなとか思ったけどどうなのかな
takenobu.hs
2018-11-30 23:21:54 +0900
asteriusは、GHCから(LLVMを経ずに直接)Binaryen経由でwasmを吐かせているようです。
https://github.com/tweag/asterius

ただ、原理的にはLLVMに持ち込めれば、Binaryen経由でwasmは吐けるのかなと思います。
（LLVM自体がwasm用のバックエンドにBinaryenを使ってるようでした。）

ただ、ランタイムの部分をどうするかが、結構みなさんの工夫と腕力の見せ所のようです。
asteriusは、GHCのランタイムの軽量版をwasm（とJavaScript）で自力で書いたようです。
なかなか凄い腕力です！:star2:
りんご姫
2018-11-30 23:26:34 +0900
さすがはtweag 変態さんってことですね^^
2018-12-01 00:58:08 +0900
[fpco/stack-build]() がめちゃ重だったので小さめのDockerイメージ作ってみました：kirisaki/overflow - Docker Hub https://hub.docker.com/r/kirisaki/overflow/
igrep
2018-12-01 09:33:37 +0900
なんでoverflowっていうんですか？
igrep
2018-12-01 09:36:15 +0900
記憶が曖昧なんですが、wasmって使用できる命令はじめいろいろ制限が厳しいので、単純にGHCが吐いたLLVMを変換できるかは怪しかったかと思います。 :disappointed:
takenobu.hs
2018-12-01 11:50:45 +0900
確かに。 例えば、単純なgotoが使えないので、asteriusは tail callをwasmで工夫して実装してるようでした:muscle:
Cosmia
2018-12-01 14:08:56 +0900
昨日話したHaskell同士でFFIで実行したい話し、なんとか出来たみたいけどが、join $ mkFun <$> dlsym dl "library_close" の一行を実行したらなぜか main が実行終わったらSegmentation fault: 11になっちゃう。。。
Cosmia
2018-12-01 14:09:27 +0900
でも流石に実用性が皆無かなあ。。。
2018-12-01 14:16:17 +0900
stackなので
Cosmia
2018-12-01 14:21:25 +0900
ちなみに、単にlibraryをLoadして何もしないのもSegmentation fault: 11。。。やはりあのGHCの制限みたい。。。逆に、Initializeだけするならエラーなく実行できるのはちょっと不思議。。。
matsubara0507
2018-12-01 14:21:53 +0900
なるほどw
igrep
2018-12-01 14:40:57 +0900
小さくするためにどんな工夫をしたんでしょ？
2018-12-01 14:50:58 +0900
イメージにdebian:stretch使いました。あとstack-buildではいろいろ他にも入ってたみたいなので必要最低限に絞ったり
2018-12-01 22:45:50 +0900
@ has joined the channel
takenobu.hs
2018-12-02 07:42:46 +0900
GHCのホスティングを、TracからGitLabへ移す先行テストが始まります:haskell:
（GitHubのアカウントがあれば、GitLabへログインして試せます。）
https://mail.haskell.org/pipermail/ghc-devs/2018-December/016613.html
hexirp
2018-12-02 08:17:50 +0900
‪Haskell のソースコードの複雑性を、型チェックの際のユニフィケーションの数で測ることを考えたことがあるんだけど、実現できそうですかね‬
hexirp
2018-12-02 08:18:22 +0900
意図しているところは (<$>) <$> (<$>) みたいなコードを排除すること