haskell-jp / random #53

igrep
2019-07-01 19:19:06 +0900
8.0は特にコンパイル速度が一番遅かった時ですしね。
mod_poppo
2019-07-01 19:20:51 +0900
「議論のまとめ」には入っていませんが、拙作unboxing-vectorも入れたいところです。Hackageには登録済み、Stackageのnightlyには今日PRを出したところです。
2019-07-01 19:43:32 +0900
「議論のまとめ」には入っていませんが、拙作unboxing-vectorも入れたいところです。
追記しました:ok_hand:
igrep
2019-07-01 19:47:57 +0900
https://gitlab.haskell.org/haskell/ghcup でインストールしちゃいましょう。
curl https://gitlab.haskell.org/haskell/ghcup/raw/master/bootstrap-haskell -sSf | sh でサクッとイケるのかな？
2019-07-01 19:53:48 +0900
https://gitlab.haskell.org/haskell/ghcup でインストールしちゃいましょう。
curl https://gitlab.haskell.org/haskell/ghcup/raw/master/bootstrap-haskell -sSf | sh でサクッとイケるのかな？

前に試した時はライブラリ含めサクッとインストールできたので、Ubuntu 18.04 の環境でも一度確認してみますね。
o3o
2019-07-01 22:53:52 +0900
@o3o has joined the channel
gksato
2019-07-02 11:42:46 +0900
@gksato has joined the channel
2019-07-03 11:04:34 +0900
@igrep Rust の人たちのように haskell-jp に atcoder の環境についてまとめるためのリポジトリと、slack に言語アップデート用のチャンネルを作っても大丈夫ですか？

Atcoder の言語アップデートのスプレッドシートには、リポジトリの URL と slack の URL を載せておこうと思います。
igrep
2019-07-03 11:07:31 +0900
やりましょう:+1:
リポジトリーについては権限がなかったら教えてください。
チャンネルの作成については特に制限してないのでご自由に。
ただ、 github.com/haskell-jp/slack-log に記録するよう設定を追加するのを忘れずに
やり方は後で示します。
2019-07-03 11:51:25 +0900
AtCoder の言語アップデートについて意見交換するためのチャンネルを作りました。

atcoder-lang-update

興味ある方よろしくお願いします！
addokoda
2019-07-03 15:44:55 +0900
@addokoda has joined the channel
cojna
2019-07-03 23:15:45 +0900
@cojna has joined the channel
solzard
2019-07-04 21:54:27 +0900
@solzard has joined the channel
igrep
2019-07-05 11:54:11 +0900
https://qiita.com/todays-mitsui/items/a1cd29974ced3f011515
fix、想像以上に便利で面白いですよね。
igrep
2019-07-05 11:54:28 +0900
例がHaskellじゃなくて恐縮ですが https://lyrical-logical.hatenadiary.org/entry/20111107/1320671610 みたいなこともできるし。
Hiroto
2019-07-05 16:41:36 +0900
マイアミで受けたQuickCheckの講義の一部がペーパーで公開されてました。
https://www.dropbox.com/s/tx2b84kae4bw1p4/paper.pdf?dl=0

またペーパーにて記述されているテストコードを以下のRepoで公開しました。
https://github.com/HirotoShioi/functional-correctness-with-quickcheck
https://github.com/HirotoShioi/functional-correctness-with-quickcheck/blob/master/src/Examples/BST.hs
https://github.com/HirotoShioi/functional-correctness-with-quickcheck/blob/master/src/Examples/BSTSpec.hs

もし面白いと感じたらチャレンジ問題を用意したので挑戦してみてください！
https://github.com/HirotoShioi/functional-correctness-with-quickcheck/blob/master/Trie.md
2019-07-06 15:50:56 +0900
@ has joined the channel
ysawc
2019-07-07 17:56:14 +0900
@ysawc has joined the channel
kakkun61
2019-07-08 09:52:42 +0900
地味に作りました https://github.com/kakkun61/tuple
1要素タプルを汎用的に操作するやつとタプルをリストっぽく操作するやつ
kakkun61
2019-07-08 09:53:10 +0900
言語拡張のいい練習になった
sarashino
2019-07-08 11:09:57 +0900
Haskell 2010からpat <- expのパターンだけ対応するみたいですね．初めて知りました．
kakkun61
2019-07-08 11:10:15 +0900
let でも書けるんですけどマッチ失敗時の挙動が違うのかなぁ
igrep
2019-07-08 12:36:50 +0900
また小さな記事を書きました。ご査収ください。 hask(_ _)eller
2019-07-08 16:05:14 +0900
@ has joined the channel
kakkun61
2019-07-08 18:16:05 +0900
自分が困ってた問題で @igrep さんが気付いたんですが instance signatures（ InstanceSigs ）って単に型が書けて読みやすいってだけじゃないんですね
https://wandbox.org/permlink/UZe9GJz4s3E06brC
hatoo
2019-07-10 15:38:00 +0900
@hatoo has joined the channel
statiolake
2019-07-10 15:39:09 +0900
@statiolake has joined the channel
igrep
2019-07-11 07:38:21 +0900
:warning: Real World Haskellのサイトがおかしなことになっている :fearful:
https://www.reddit.com/r/haskell_jp/comments/cbnj0a/is_the_real_world_haskell_books_website_hacked/
aximov
2019-07-11 21:43:19 +0900
@aximov has joined the channel
igrep
2019-07-12 08:19:21 +0900
polysemyなどの作者であるisovectorさんが世界中を旅して現地のHaskellerと共同でプロジェクトに取り組むプランを計画中。一緒にやりたい、という方は応募せよ、と。
https://isovector.github.io/erdos/
as_capabl
2019-07-12 13:05:33 +0900
「とりあえず泊めてくれる人を募集中。何をするかはこれから考えよう！」みたいなステータスかな
2019-07-12 13:47:38 +0900
“eyeball a solution to the travelling salesman.” ていう表現がおもしろいですね。
takumi_watanabe
2019-07-12 15:47:06 +0900
@takumi_watanabe has joined the channel
igrep
2019-07-12 17:11:55 +0900
必須ではないにせよ、泊まるところが結構ハードル高いっすね...。AirBnBかユースホステルでも紹介すればいいかな？
tos
2019-07-13 00:47:04 +0900
@tos has joined the channel
kakkun61
2019-07-16 15:37:56 +0900
overloaded record fields 使ってみたんだけどハマって、それは型検査される箇所で #foo なら foo フィールドがスコープにないといけないことだった。
foo をフィールドに持つが露出しないレコードと、 IsLabel "foo" a な制約を持つ関数を露出するとき、その関数を「使う」ところで foo がスコープにないといけなかった。
#foo と書いているのはモジュールの中に閉じているにもかかわらず。
https://github.com/ghc-proposals/ghc-proposals/blob/7790b73fa685f42773b895a11845a40916839a27/proposals/0002-overloaded-record-fields.rst#solving-hasfield-constraints
igrep
2019-07-17 11:00:07 +0900
State Monadマジ戻り値の順番どっちが結果でどっちが状態かわからなくなりますね...。Stackageで検索したらすごい紛らわしいのがヒットしてハマりました... :angry:
偽物: https://www.stackage.org/haddock/lts-13.28/containers-0.6.0.1/Data-Sequence-Internal.html#t:State
本物: https://www.stackage.org/haddock/lts-13.28/transformers-0.5.6.2/Control-Monad-Trans-State-Lazy.html#t:StateT
なんでcontainersパッケージが State を公開してるんだ... :cry:
と思ったらこれInternalだからってことか...
igrep
2019-07-17 11:04:10 +0900
はてどこに文句を言うべきか...
- containersパッケージ？
- Stackage？
- Hoogle？
notogawa
2019-07-17 11:13:30 +0900
どこに文句言うのも筋違いでは
moss
2019-07-17 11:32:40 +0900
@moss has joined the channel
igrep
2019-07-17 11:42:10 +0900
なぜ？例えばInternalなモジュールをデフォルトで検索結果から避けるとかはできると思うんですけども
as_capabl
2019-07-17 12:07:34 +0900
newtypeされてるから関係ないんですけど、偽物の方が (,) s a の順番になってて部分適用しやすそうなのが余計罠っぽいですね
igrep
2019-07-17 12:10:24 +0900
付け加えると、 runState で検索したとき偽物の方が先頭にヒットした、というのも大きな理由です。 :disappointed:
https://www.stackage.org/lts-13.28/hoogle?q=runState
https://hoogle.haskell.org/?hoogle=runState