haskell-jp / atcoder-lang-updates #1

2019-07-03 11:28:37 +0900
@ has joined the channel
2019-07-03 11:28:37 +0900
@ set the channel purpose: AtCoder の言語アップデートについて議論・意見交換を目的とする
igrep
2019-07-03 11:28:38 +0900
@igrep has joined the channel
mod_poppo
2019-07-03 11:28:38 +0900
@mod_poppo has joined the channel
kakkun61
2019-07-03 11:28:39 +0900
@kakkun61 has joined the channel
2019-07-03 11:31:02 +0900
リポジトリも作成しました。とりあえず gist にまとめておいた内容を Readme としておきました。
https://github.com/haskell-jp/atcoder-haskell-resources
2019-07-03 11:39:41 +0900
slack の招待用URLってどこかで確認できましたっけ？
lotz
2019-07-03 11:51:59 +0900
@lotz has joined the channel
2019-07-03 12:08:09 +0900
決めていきたいこと (今やっていること)

1. 環境の構築方法
2. インストールするライブラリ

1. 環境の構築方法については igrep さんの提案通り、僕も ghcup が良いと思うので Ubuntu 18.04 でのインストール手順をまとめています。

https://gitlab.haskell.org/haskell/ghcup でインストールしちゃいましょう。
curl https://gitlab.haskell.org/haskell/ghcup/raw/master/bootstrap-haskell -sSf | sh でサクッとイケるのかな？
https://haskell-jp.slack.com/archives/C4M4TT8JJ/p1561978077089900?thread_ts=1561974350.082400&cid=C4M4TT8JJ


2. ライブラリの選定については、<@UGM9F7XQS> さんなど、実際に AtCoder に参加してる人の意見をまとめていきたいです。

これまでに名前があがったライブラリの一覧
https://haskell-jp.slack.com/archives/C4M4TT8JJ/p1561978077089900?thread_ts=1561974350.082400&cid=C4M4TT8JJ
2019-07-03 12:08:55 +0900
ありがとうございます！
スプレッドシートに貼っておきます。
igrep
2019-07-03 12:10:53 +0900
@ https://github.com/haskell-jp/slack-log/pull/16/files を参考にこのチャンネルをslack-logで記録するよう設定お願いします！
チャンネルのIDはここのURLの

です。
2019-07-03 12:11:26 +0900
@ has joined the channel
2019-07-03 12:16:57 +0900
PR 出しましたので確認よろしくお願いします。
https://github.com/haskell-jp/slack-log/pull/17
nobsun
2019-07-03 12:39:49 +0900
@nobsun has joined the channel
notogawa
2019-07-03 13:02:35 +0900
@notogawa has joined the channel
fumieval
2019-07-03 13:16:42 +0900
@fumieval has joined the channel
maton
2019-07-03 17:09:45 +0900
@maton has joined the channel
cojna
2019-07-03 23:18:49 +0900
@cojna has joined the channel
gksato
2019-07-04 18:34:26 +0900
@gksato has joined the channel
gksato
2019-07-04 18:37:15 +0900
こんにちは。haskellでatcoderをやっているので、参考になればと思って参加させていただきました。今は使ってないですけど、あったらいいなって思うのはattoparsecとかparsecとかですかね。
gksato
2019-07-04 19:41:11 +0900
Stackっ子で、Cabal Hellにぶち当たったことがない人間の素朴な疑問なのですが、「Haskell-Platform packages + α」っていう意見がライブラリの方であったと思うんですけど、ghcupを使うとしたら、Haskell-PlatformにもStackにも頼らないことになりそうで、Version consistencyは大丈夫かなという不安があるんですが、どうなんでしょう。
igrep
2019-07-04 20:13:20 +0900
依存関係の問題は、大抵の場合インストールの時点でわかるはずです。そしてそれはstackでも本質的には変わりません。
ちなみに 古い cabalで一番厄介だったのは、同じバージョンの同じパッケージは同じパッケージデータベースに一つだけ、という制限があったことによるものでして、一度に必要なパッケージをまとめて入れている限りは問題にならないはずです。
詳しくは英語ですが http://www.well-typed.com/blog/2015/01/how-we-might-abolish-cabal-hell-part-2/ を。
igrep
2019-07-04 20:15:37 +0900
唯一テストが失敗する（ようなバグった）組み合わせのバージョンが混ざってしまう、というリスクはStackageを使わないと防げませんが、それが不安ならcabalからStackageを使うこともできますし。
gksato
2019-07-04 20:53:09 +0900
なるほど、それは古い問題なんですね！ リンクは今から確認してみますが、とりあえず安心しました！ ご丁寧にありがとうございます。
Synm
2019-07-05 08:52:10 +0900
@Synm has joined the channel
as_capabl
2019-07-05 11:34:27 +0900
@as_capabl has joined the channel
as_capabl
2019-07-05 12:01:33 +0900
Pythonだとnumpyが高速化のカギらしいので、HaskellとしてはRepaやAccelerateが入っていると良いのだろうか（使ってる人を見たことがないですけど）
as_capabl
2019-07-05 12:07:48 +0900
AccelerateはCPUで動かす限りは不要で、repaで良いみたいです
igrep
2019-07-05 12:08:24 +0900
それも含めて、特に制限がないならどんどん入れちゃえば？ぐらいに外野の人間として思ってたんですけど、競技プログラミングとして面白くするにはそうでもないんすかね。 :thinking_face:
2019-07-05 13:40:37 +0900
@ has joined the channel
gksato
2019-07-05 14:38:02 +0900
RepaはHaskell Platform packageではないので、普通の競プロサイトで使ってる人はいないかなって思います。
gksato
2019-07-05 14:39:35 +0900
これを機会に入れてみたら面白いかなとも思います。Vector系で2次元配列をまともに扱うのが地味にめんどくさいので。(Java的に、Data.Vector.Vector-of-Data.Vector.Unboxed.Mutable.MVectorってやればいいんでしょうが、実用上Data.Vector.replicateMが遅いので、手で2次元用の配列インデックスを1次元に置き換える羽目になります。割とつらいんですよね。)
gksato
2019-07-05 14:44:08 +0900
ごめんなさい、忘れてください。Mutableの機能はRepaにはないな。
gksato
2019-07-05 14:51:10 +0900
Data.Ix + Data.Vector.Unboxed.Mutable.MVector で我慢するしかないんですかねー…。
gksato
2019-07-06 15:47:11 +0900
よく考えれば、Data.Vector.Unboxed.MutableのData.Array.MArray実装を書けば良いだけだったので、Repaやっぱ要ります、とか言おうとしながらちょっと検索してたんですけど、どなたかmassivパッケージって使ったことある方いらっしゃいます…？
gksato
2019-07-06 15:49:36 +0900
今割と興味が出てきているんですけれど
kakkun61
2019-07-06 17:06:50 +0900
データ並列で高速化しようというのは SRM タイプの競プロだと少ない気がします［要出典］
gksato
2019-07-06 18:31:25 +0900
（並列化にはあんま興味がなくて高次元VectorのNotationを簡単にしたいだけとは言えない…）
gksato
2019-07-06 18:32:40 +0900
ってか大半の方は並列化が目的なんだろうし（ただの推測）
2019-07-08 11:40:15 +0900
@ has joined the channel
2019-07-08 15:13:39 +0900
ghcup を使った環境構築方法についてまとめました。
https://github.com/haskell-jp/atcoder-haskell-resources/blob/master/spec.md

気になる点などあったら教えてください:ok_hand:
2019-07-08 15:56:37 +0900
追加パッケージについても、まとめていきたいですね。
今までは Haskell Platform に付属しているパッケージは全て利用できたので、次のアップデートでも一応入れておいた方が良いんですかねー？

とりあえず、現状のパッケージ案 (会話の中で出てきたもの) は以下の通りです。

- array
- attoparsec
- bytestring
- containers
- extra
- fgl
- hashmap
- heaps
- lens
- mwc-random
- parsec
- psqueues
- repa
- unboxing-vector
- unordered-containers
- utility-ht
- vector
- vector-algorithms
mod_poppo
2019-07-08 16:00:24 +0900
text, primitive, reflectionあたりも欲しいです
mod_poppo
2019-07-08 16:05:13 +0900
スプレッドシート編集の期限って出てましたっけ？まだ告知されていない？
2019-07-08 16:08:35 +0900
まだ告知されていないと思います。
2019-07-08 16:41:08 +0900
このツイートを見る限りだと、アップデート自体は8月あたりに実施されそうな雰囲気ですね。
https://twitter.com/chokudai/status/1140833567376674816
2019-07-08 19:01:06 +0900
提案の Accept / Reject について chokudai さんの見解 (一連のツイート)
追加パッケージ選定の基準として参考になりそうです。

https://twitter.com/chokudai/status/1138677406984691712
https://twitter.com/chokudai/status/1138677959059943424
https://twitter.com/chokudai/status/1138678908088344577
https://twitter.com/chokudai/status/1138679237957677056
2019-07-08 19:32:40 +0900
提案されたパッケージリストが、現状の AtCoder 環境に含まれるかどうかチェックしました。
https://github.com/haskell-jp/atcoder-haskell-resources#%E8%BF%BD%E5%8A%A0%E3%83%91%E3%83%83%E3%82%B1%E3%83%BC%E3%82%B8%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6

Haskell-Platform に含まれていたものについては特に議論の必要は無さそうですが、
新たに追加するパッケージについては、何かしらの理由が欲しいところですね。