emscripten & WebAssembly night !! まとめ #emsn

ドッグ @Linda_pp

Wasm をサポートしてないブラウザでも Wasm が動かせるようになるので意味はある気がする #emsn

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

パーサーコンビネーター楽しいよね！そうだよね！！！ #emsn

okunokentaro @okunokentaro

Parser一回実装すると言語仕様策定者の気持ちわかるの、わかる。 #emsn

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

パース結果を表す型も専用に定義した方が分かりやすいかなぁ、と。TypeScriptだと配列で定義しても十分安全にできるんでしょうけども #emsn

chikoski @chikoski

パーサーコンビネータ使って複雑な式をパースできると、なんというか必殺技が決まった感じがして気持ちがいいですよね。 #emsn

qwerty2501 @qwerty2501

64bit整数はどうあつかってるんだろう #emsn

qwerty2501 @qwerty2501

TypeScriptじゃないほうがよかったのでは・・・ #emsn

ドッグ @Linda_pp

型パラメータの数を可変にするのは型推論とかなり相性悪いからどうだろう #emsn

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

Elm製のパーサーコンビネーターの実装を参考にするとよりかっこよく書けそうな気がします。 （do記法があればなぁ。。。） #emsn

chikoski @chikoski

パーサー1つ1つは単純なのでテストは簡単。だけどコンビネータで組み合わせた時は、バグ原因の解析が難しかった。 #emsn

Yosuke Kurami @Quramy

parser combinatorをtsで書くと、3.4のhigher order generic function inference、上手く使えたりするのかしら？ #emsn

qwerty2501 @qwerty2501

WebAssembly Studioにはだいたいお世話になる #emsn

chikoski @chikoski

github.com/WebAssembly/wa… つかうとコマンドラインでwatからwasmを作れます。 #emsn

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

誤解なきように捕捉しますと、組み合わせたときのエラーがわかりづらいのはパーサーコンビネーターだからというわけではないです。エラーを賢く報告してくれるパーサーコンビネーターライブラリーも世の中にはあります。 #emsn

chikoski @chikoski

命令の型定義は、頑張る以外ないですよね… #emsn

qwerty2501 @qwerty2501

命令の定義は頑張るしかないです #emsn

qwerty2501 @qwerty2501

実装したけどなんの命令か覚えてないのいっぱいあるわ #emsn

Atsushi Eno @atsushieno

命令リストどう考えても自動生成したほうがよさそうなやつｗ #emsn

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

sealed classみたいなのはないのかな。。。 #emsn

Yosuke Kurami @Quramy

operationのswitchと型定義、redux action typeとreducerの書き方と通じるものがあるような。 #emsn

bokuweb @bokuweb17

今日の発表資料です！よろしくお願いいたします！#emsn speakerdeck.com/bokuweb/emscri…

chikoski @chikoski

数値は変わってないんですけどね… #emsn

chikoski @chikoski

そして、バイナリのバージョン番号は「固定」です #emsn

ドッグ @Linda_pp

パーサの実装は人間向けフォーマットより機械向けのフォーマットのほうが楽は確かになぁ #emsn

Masaaki Goshima @goccy54

うっ…parserの話聞いてると、大変だった記憶が…。自分も昔パーサーコンビネータ検討したけど、perlのsyntaxで作りきる自信がなくて諦めてしまった… #emsn