haskell-jp / icfp #3

GHC HEAD でプラグインの口はもうあるらしい
Explicit Dictionary Applications - From Theory to Practice?
去年のHaskell Symposiumで発表した件の続きやな
Debut in GHC 8.10!
17 submissions 10 accepted (to make time for LT)
時間を超えるような発表をして申し訳ない... :cry: :bow:
GHC 8.8:
- Visible kind application
- パターンマッチしたローカル変数にpolymorphicな型注釈をつけたときの扱いが変わるらしい
GHC 8.8.1、もうすぐ出るってよ!
GHC 8.10はFeb. 2020で8.12はMay 2020!?
Hadrianはやっとmergeされたけど、GHCのofficial binaryのビルドに使うのは8.10からなのか。
テスター募集中とのこと
パネルディスカッション中。
静的解析系のツールは全部Source Pluginsに寄せちゃえ、みたいな話かな?
スライドがないので厳しい ><
https://beautifulracket.com/explainer/lang-line.html みたいな仕組みをHaskellにも入れるか、という議論が盛り上がってるようじゃ
Haskell以外の言語もサポートするって、ことですか…?
詳細わかりません!:cold_sweat:
@takoeight0821 has joined the channel
Reminder: @igrep Add this channel to slack-log.
@kazup0n has joined the channel
@asakamirai has joined the channel
このチャンネルのslack-logへの保存が完了しました
https://haskell.jp/slack-log/html/CM4J6EDHR/3.html
記事にしました。もう2~3本書きます。
https://haskell.jp/blog/posts/2019/hiw-ghc8.8.html
@nobsun has joined the channel
シリーズ第2弾。あと2つは公開できそうです。
https://haskell.jp/blog/posts/2019/hiw-ghc-future.html
HIW シリーズ最終回 https://haskell.jp/blog/posts/2019/hiw-copilot.html と、
Haskell 2019のレポート https://haskell.jp/blog/posts/2019/haskell-symposium.html を今日まとめて出しました。
@kakkun61 お疲れ様でした。 :relieved:
@takoeight0821 has left the channel
@shinichi has joined the channel
@cutsea110 has joined the channel
ICFP 2020はこの後10時から ICFP Crowdr Trainingというイベントから始まるみたいです
https://icfp20.sigplan.org/program/program-icfp-2020?past=Show%20upcoming%20events%20only#session-timeline
交流とか発表の共有に使うClowdrというツールのテストってことかな?
プログラムのページ、タイムゾーン変更できるかしこい
そう、なので「10時から」というのはもちろんJSTの10時からを指しています
:confused: プログラム見る限りやっぱり日本時間だと深夜が中心なんだけど、 https://conf.researchr.org/track/icfp-2020/icfp-2020-papers で言っているとおり12時間後に北京時間向けにやるときのタイムテーブルはどこにあるんでしょうね。
恥ずかしながら全然気づかなかったんですけど、発表ってYouTubeとかで観るものだったんですか :cold_sweat:
今アンケートに答えていてやっと気づきました...
てっきりCLOWDRで全部完結するんだろうと思って最初のキーノートの中国時間の時に見に行ったんですけどわからなくて。
で、仕事が忙しかったし、どうせ後で観られるだろうからいいや、と思ってそのまま何も見なかったんですよね... :disappointed_relieved:
改めてメール見返してみたら、確かにCLOWDRの設定してくれ、って書いてありましたね... :disappointed:
CLOWDERへのログインまではしたけどこのメールはちゃんと読めてなかったな...
@niszet has joined the channel
@ has left the channel
@ has joined the channel
@yFkhr has joined the channel
@ has joined the channel
@CLERK has joined the channel
@ has joined the channel