haskell-jp / random #24

as_capabl
2018-09-19 18:07:15 +0900
「プログラムの実行中を通して実行結果が変わらず、かつ、いつ実行されてもいい（されなくてもいい）式」ならば使っていいかな、と最近思うようになりました。
ex) 開始時に排他ロックして終了時まで解放しないファイルからリードする
as_capabl
2018-09-19 18:08:56 +0900
一般的には、もう少しゆるい基準があっていいかもしれません:sweat_drops:
aiya000
2018-09-19 23:40:45 +0900
これよさそうですね！ :100:
nobsun
2018-09-21 11:48:40 +0900
「プログラムの実行中を通して実行結果が変わらず、かつ、いつ実行されてもいい（されなくてもいい）式」
という条件がなりたったとして，unsafePerformIOが使いたい場面ってどうときですか？
as_capabl
2018-09-21 12:17:49 +0900
@nobsun あまりないんですよね正直。「 開始時に排他ロックして終了時まで解放しないファイルからリード」も、最初に全部読んでしまった方が後腐れが無いし
nobsun
2018-09-21 12:28:37 +0900
Concurrent Clean でいうところの一意性が安全の条件だと思います．
nobsun
2018-09-21 12:46:23 +0900
はい，そうです．
as_capabl
2018-09-21 12:49:06 +0900
これのファイルの例だと「書き込むたびにファイルハンドルが別物扱いになる」という仕様とワンセットで安全が実現されてるっぽいので、unsafePerformIOでいうと如何なるケースで同じ話が使えるのか、というのは、ちょっと考えてみたいところです
2018-09-21 14:25:18 +0900
@ has joined the channel
kiridaruma
2018-09-21 17:28:57 +0900
@kiridaruma has joined the channel
2018-09-21 17:48:43 +0900
shakespeareで演算子コンストラクタがパターンマッチングに失敗する問題修正するついでに
[added: parse pattern-match with operator constructor closed #222 by ncaq · Pull Request #223 · yesodweb/shakespeare]()
GHC 7でTravisがコケてて全てのテストに失敗するようになってたから
Yesod本体でGHC 7のサポート終わってたからGHC 7対応コードとテストを消滅させることでテストを通したんですが
[deleted: drop GHC 7 test by ncaq · Pull Request #225 · yesodweb/shakespeare]()
結局何が原因でGHC 7でコケてたかはわからないままでしたね
タイムアウトしてましたがGHC 7だとそんなに速度差が出るコードには見えなかったんですけどねえ…
2018-09-22 00:02:10 +0900
@ has joined the channel
takenobu.hs
2018-09-22 16:18:19 +0900
こちらでも共有します。 GHC 8.6.1がリリースされました:slightly_smiling_face:、enjoy:haskell:
https://pay.reddit.com/r/haskell_jp/comments/9hwx4r/ghc_861_%E3%81%8C%E5%87%BA%E3%81%BE%E3%81%97%E3%81%9F/
takenobu.hs
2018-09-23 10:46:02 +0900
今日からICFP2018です:earth_americas:
今日がHIW(Haskell Implementors’ Workshop)で、月〜水がICFP本体、木、金がHaskell Symposium 2018です。その他も色々。
https://conf.researchr.org/home/icfp-2018/
https://icfp18.sigplan.org/track/hiw-2018-papers
https://icfp18.sigplan.org/track/haskellsymp-2018-papers
zeronone
2018-09-24 14:04:24 +0900
@zeronone has joined the channel
smasuda
2018-09-27 09:57:05 +0900
haskell wikiのアカウントを頂いたので、弊社(Cryptact)を Haskell In Industry のページに追加しました。 https://wiki.haskell.org/Haskell_in_industry
kakkun61
2018-09-28 16:21:12 +0900
なんかここ数日テラテイル Haskell タグが盛況
lotz
2018-09-28 16:21:53 +0900
ﾜｲﾜｲ
kakkun61
2018-09-28 16:27:32 +0900
Windows 7 32bit 固有の問題はちょっと手助けできないな……
2018-09-28 23:48:26 +0900
@ has joined the channel
takumaw
2018-09-29 13:33:03 +0900
@takumaw has joined the channel
2018-09-29 18:10:23 +0900
@ has joined the channel
hiratara
2018-10-02 11:28:39 +0900
こんなツイートしつつ、プログラマのための圏論勉強会に落選した人のための圏論勉強会を誰かが開催してくれるのを待っています :innocent:
https://twitter.com/hiratara/status/1046516258470907904
Slackbot
2018-10-02 15:52:50 +0900
This message was deleted.
2018-10-02 16:05:21 +0900
そういう煽り良くないと思います。
2018-10-02 19:33:57 +0900
@ has joined the channel
2018-10-02 20:52:08 +0900
この発言は撤回された方が良いでしょう。何かの間違えかな？
2018-10-02 20:54:21 +0900
私外国の会社で働いた経験が長いのですが、人種差別的な発言は特に外国では容赦なく非難されます。
2018-10-02 20:56:22 +0900
おそらく事故的な物なので、早めに削除して綺麗さっぱり忘れましょう^_^
igrep
2018-10-02 21:02:24 +0900
すみません、以前fumievalさんから「日本で募集かけたときに誰も来なかった」という話があったのでその流れで言ったのですが、そのような意図としてとられてしまうのであれば、削除します。
fumieval
2018-10-02 21:03:13 +0900
逆にどんな内容だったのか気になってしまう…
igrep
2018-10-02 21:04:27 +0900
あ、ごめんなさいメンション来ちゃいましたか。。。
https://www.reddit.com/r/haskell/comments/9knxtu/tsuru_is_looking_for_more_interns/ についての話でした、といえば通じますかね？
fumieval
2018-10-02 21:05:22 +0900
なるほど、何となく想像はつきました
2018-10-02 21:17:44 +0900
数日前にBartoz Milewski 氏やDerek Elkins氏と話す機会があってこの勉強会のことも言っておきました。Bartozさんは全然したなかったって笑ってましたよ^_^
2018-10-02 21:19:45 +0900
お二人とも機会があれば日本でtalkをするのもいいかもということをおっしゃってました(全く約束とかそういったものでは一切ありません)
2018-10-02 21:35:03 +0900
Derekさんは特に、日本で何かCategory Theoryについてなんでも聞いてくれ会的なことをやれる機会があれば開催したいと言ってました^_^
1to100pen
2018-10-02 21:47:34 +0900
「英語に怯まず申し込もうよ」という応援をちょっと煽り気味にしたメッセージとして読んでました。
fumieval
2018-10-02 22:08:51 +0900
まあTOEIC700点以上ならそんなに心配はいらないレベルだと思います
hiratara
2018-10-03 13:20:21 +0900
日本に来ていただいたら楽しそうですね。楽しみです。
igrep
2018-10-05 08:19:53 +0900
今週のHaskell Weeklyから。
https://github.com/soupi/haskell-study-plan
This guide is an opinionated list of resources for learning Haskell.
It is aimed at more experienced programmers that would like a denser Haskell tutorial.
丁寧な解説ではなく素早く学びたい人向けらしい
Hiroto
2018-10-05 08:34:25 +0900
ざっくり見たけど、ほんとに簡潔にまとめられてるなぁ（笑）
takenobu.hs
2018-10-06 08:14:01 +0900
GHCiを使った16進電卓的なものを以下に置きました。
これまで個人的に使っていたものを少し整備して共有してみました。
後置記法の`.@`や、指定bitをハイライトする`.@color`などがお気に入りです:)
普段、16進や2進数などと格闘している方に役立ちましたら:slightly_smiling_face::haskell:

https://github.com/takenobu-hs/ghci-hexcalc#readme
Yocchan
2018-10-06 14:53:37 +0900
@Yocchan has joined the channel
fumieval
2018-10-06 18:37:11 +0900
https://www.reddit.com/r/haskell/comments/9ls1b4/burnout_risk_relationship_of_hackage_maintainers/ ごく少数のメンテナが大半のパッケージをカバーしているため、誰かが欠けるリスクが大きいという考察。確かに「著名なライブラリ作者」「使い手」に分かれている雰囲気があり、もっと言うと根幹的なパッケージほど決まったメンバーが保守している傾向がある
Yugo Osano
2018-10-07 13:59:20 +0900
@Yugo Osano has joined the channel
たろちん
2018-10-07 15:22:02 +0900
@たろちん has joined the channel
fumieval
2018-10-08 16:06:32 +0900
https://github.com/Mojang/DataFixerUpper/tree/8b5f82ab78b30ff5813b3a7f3906cd3f4f732acf/src/main/java/com/mojang/datafixers/optics Minecraftのデータのバージョン間の変換にJava製lensが使われているようだ :mag:
kobatako
2018-10-08 19:40:52 +0900
@kobatako has joined the channel