haskell-jp / random #52

kameoka.ryota
2019-06-14 21:39:27 +0900
これですかね
Internally, Stack has changed many datatypes, including moving to Cabal’s definition of many data types. As a result of such changes, existing cache files will in general be invalidated, resulting in Stack needing to rebuild many previously cached builds in the new version. Sorry :(.
matsubara0507
2019-06-14 21:43:35 +0900
そうそれっぽいっす！
matsubara0507
2019-06-15 00:11:04 +0900
pantry、仕組みちゃんと追ってないけど、別プロジェクトで該当バージョンのビルドがあるときにちゃんと再利用してくれる
asn1-encoding                    > using precompiled package
mime-types                       > using precompiled package
asn1-parse                       > using precompiled package
crypto-pubkey-types              > using precompiled package     
...
takenobu.hs
2019-06-15 14:25:43 +0900
GHC Steering committee のメンバー募集がアナウンスされています。
https://mail.haskell.org/pipermail/ghc-devs/2019-June/017775.html

GHC proposalへの提案を判断することなどが内容です。
GHCハッカーよりも、Haskellユーザーを期待されています。

参考に、以下は、GHC Steering committeeの人たちがやりとりしているMLです。
https://mail.haskell.org/pipermail/ghc-steering-committee/
chikusat
2019-06-15 22:00:23 +0900
@chikusat has joined the channel
igrep
2019-06-16 10:52:53 +0900
※すみません、投稿内容が被ったので削除しました:bow:
takenobu.hs
2019-06-16 10:54:55 +0900
あれ、Benさんのtwitter、参考になって良かったですよ:slightly_smiling_face:　再投稿してもらえたら有り難い気がします:sparkles:
tsuzuki357
2019-06-18 09:24:43 +0900
@tsuzuki357 has joined the channel
as_capabl
2019-06-18 22:08:44 +0900
https://github.com/ghc-proposals/ghc-proposals/pull/242 リンク先の論文の「なぜ型族が部分適用できないのか」の説明がすごく勉強になりました
net
2019-06-19 22:18:15 +0900
@net has joined the channel
frenzieddoll
2019-06-24 00:09:11 +0900
@frenzieddoll has joined the channel
kamogawa.doumei
2019-06-24 03:02:24 +0900
@kamogawa.doumei has joined the channel
takase
2019-06-24 07:02:35 +0900
@takase has joined the channel
igrep
2019-06-24 10:27:34 +0900
これは貴重なHaskell採用例だ。すばらしい。
https://qiita.com/yasuabe2613/items/0f15e261d1893b9476f8
a_kirisaki
2019-06-24 10:58:20 +0900
やっぱLambdaだけにHaskellで書きたいっていうのありますよね
y_taka_23
2019-06-24 15:36:13 +0900
今年の初めに aws-lambda-haskell-runtime 試したとき、外部アクセスがとても遅くなる問題があったけど解決策があるなら知りたい。
y_taka_23
2019-06-24 15:40:51 +0900
【06/24 追記】分散システムの CFP が採択されたため、モナドの CFP は不採択でした。
y_taka_23
2019-06-24 16:07:33 +0900
補足すると、Lambda から外部へのアクセスが遅くなる問題なので、今回の記事（値の変換のみ）は該当しません。以前、話題にも出ていた件です。
hiroto.shioi
2019-06-25 11:43:46 +0900
これってどうなってるんですか・・？ライブラリがなにもExportしてない？
http://hackage.haskell.org/package/containers-0.6.2.1
http://hackage.haskell.org/package/containers-0.6.2.1/docs/Data-Map.html
kazu
2019-06-25 11:45:09 +0900
hackage が doc を生成するのを失敗しているだけです。
kazu
2019-06-25 11:45:44 +0900
ライブラリを upload した瞬間はリンクが何もなく、doc の生成に成功するとリンクが張られます。
hiroto.shioi
2019-06-25 11:46:30 +0900
なるほど！ありがとうございます。
igrep
2019-06-25 11:48:09 +0900
だからStackageに上がっているのを読めよ、ってよくSnoymanあたりは言うんですよねぇ... :disappointed_relieved:
https://www.stackage.org/lts-13.26/package/containers-0.6.0.1
と思ったけどStackageに上がっているバージョンも最新ではない... :sweat_smile:
masako.shinomiya
2019-06-25 13:06:59 +0900
@masako.shinomiya has joined the channel
igrep
2019-06-25 13:13:21 +0900
Excellent. https://shogixjp.hatenablog.com/entry/2019-06-shogix-architecture
SHOGIX のメインロジックはそれぞれ、フロントエンドを Elm バックエンドを Haskell で書きました。これらの言語を採用したのは、個人的に関数型言語で何か作ってみたかったのと、静的型付けバリバリな言語の雰囲気を知りたかったのが動機です
igrep
2019-06-25 13:15:02 +0900
しかしながら、Cloud Firestore の REST アクセス時に時々パフォーマンスが落ちる現象が発生したので、この構成に変更しています。想像ですが REST アクセスの処理でスペースリークしてたかも

これは気になる :thinking_face:
yhrsys.04
2019-06-26 11:44:04 +0900
@yhrsys.04 has joined the channel
t.mitsuchi3
2019-06-27 00:11:40 +0900
@t.mitsuchi3 has joined the channel
ishaninaritaina623
2019-06-27 17:04:31 +0900
@ishaninaritaina623 has joined the channel
ncaq
2019-06-27 23:46:25 +0900
HashSetのfilter関数をさっくり並列化しようと思ったのですが,HashSetは元からstrictなのでfilterを実行後にtoListにした後にparListしても無駄なので,filterを自前で定義しようと思ったら思ったよりHashSetが参照しているHashMapのfilterが複雑過ぎて力尽きました…
と思ってtoListしてリスト版のfilterをparListしても大してCPU使用率伸びなかったのでfilterがボトルネックじゃなかったっぽいですね
計測,しよう!(とは言っても何故かprofile版ビルドしても計測が受け付けられないからこういう手さぐりを行ってたのですが)
igrep
2019-06-28 07:38:36 +0900
今回もHaskell Weeklyに載りましたね！ :tada: https://kazu-yamamoto.hatenablog.jp/entry/2019/06/21/124224
kakkun61
2019-06-28 23:46:57 +0900
type family dependencies って functional dependencies みたいにカンマで区切って複数書けない？
    parse error on input ‘,’
   |
25 | type family Homotuple (n :: Nat) a = (t :: Type) | t -> n, t -> a
   |                                                          ^

何か制約があるのかな
kl459
2019-06-29 13:11:37 +0900
@kl459 has joined the channel
kakinouchi_6283
2019-06-29 20:29:35 +0900
@kakinouchi_6283 has joined the channel
ueno.denshi.kobo
2019-06-30 00:51:52 +0900
@ueno.denshi.kobo has joined the channel
igrep
2019-06-30 07:05:33 +0900
これはすごい。GHC 8.8からGHCがコンパイル時に収集した型や関数の定義情報を再利用しやすい形でファイルに書き込めるようにするらしい。いろいろ使い道ありそう。
https://www.haskell.org/ghc/blog/20190626-HIEFiles.html
notogawa
2019-06-30 09:21:00 +0900
https://twitter.com/notogawa/status/660838452997419008 みたいなのが起きないといいですね．
igrep
2019-06-30 09:30:41 +0900
そのあたりが一元化されれば大分リソースの節約ができそうでいいですよね！
koyama
2019-06-30 12:48:42 +0900
HIE って何の略なんでしょう…
koyama
2019-06-30 13:11:28 +0900
.hi の extended ってだけでしたか^^;
igrep
2019-06-30 13:51:52 +0900
Haskell IDE Engine Fileだと思ってましたたw
wado
2019-07-01 18:45:50 +0900
AtCoder の言語アップデートの SpreadSheet が公開されました。
https://twitter.com/chokudai/status/1145624486546309120

https://docs.google.com/spreadsheets/d/1PmsqufkF3wjKN6g1L0STS80yP4a6u-VdGiEv5uOHe0M/edit#gid=0

Ubuntu 18.04 みたいなので普通に apt で入れると ghc-8.0.2 になりそうです。

"$ uname -a
Linux ip-***-***-***-*** 4.15.0-1041-aws #43-Ubuntu SMP Thu Jun 6 13:39:11 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux
$ cat /etc/lsb-release
DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=18.04
DISTRIB_CODENAME=bionic
DISTRIB_DESCRIPTION=""Ubuntu 18.04.2 LTS"""


今までの議論のまとめです。
https://gist.github.com/waddlaw/b6a14d4dbc94d282a175abe7f9596ae7
kakkun61
2019-07-01 18:59:40 +0900
8.0.2 でもそんなに困らないのかなぁ
minorinoki_haskjp
2019-07-01 19:16:21 +0900
GHC 8.0系でTypeApplicationsが使えるようになったり、Data.Semigroupがbase入りしたりしているので7.10と比べれば幾分マシですね。どうせならGHC 8.6系にしたいところですが