haskell-jp / icfp #3

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