haskell-jp / random #55

igrep
2019-07-30 12:44:16 +0900
ShouldBeAnInstanceOf はないのか... 技術的に難しいのかな。
niszet
2019-07-30 22:08:33 +0900
@niszet has joined the channel
igrep
2019-07-31 16:12:36 +0900
この間の私のHaskell-jp Blogの記事のある意味での続きです。ご査収ください。 hask(_ _)eller
Mokumitsu
2019-07-31 21:45:36 +0900
@Mokumitsu has joined the channel
Cynthia
2019-07-31 22:37:31 +0900
@Cynthia has joined the channel
miau
2019-08-01 13:08:26 +0900
@miau has joined the channel
mazamachi
2019-08-01 16:53:42 +0900
@mazamachi has joined the channel
igrep
2019-08-02 08:08:37 +0900
https://typeclasses.com/phrasebook 今日のHaskell Weeklyから。
Go By Examplesにインスパイアされて、作られたチュートリアル。
as_capabl
2019-08-02 08:55:06 +0900
これがOverlappingなインスタンスだったら、コンパイル通って実行時の謎バグになるのでHaskellこわい
fumieval
2019-08-03 00:13:42 +0900
↑私もレビューしました！
tamuhey
2019-08-04 01:01:48 +0900
@tamuhey has joined the channel
fumieval
2019-08-04 17:57:00 +0900
GHC 8.8.1 rc1を試したいが、head.hackageを利用してもなお依存パッケージがビルドできないことが多いので、各所から修正済みの版を取ってくると同時に膨大なallow-newerを指定するcabal.projectの雛形を作りました。大変な作業だった… https://github.com/fumieval/vanguard-starter/blob/master/cabal.project
2019-08-05 17:31:38 +0900
@ has joined the channel
as_capabl
2019-08-08 12:15:59 +0900
THで生成したコードにHaddockコメントが入れられないという問題に対し、Haddock APIを使ったカスタム版Haddockを作って対処するという力技を模索中 https://gitlab.haskell.org/ghc/ghc/issues/5467
as_capabl
2019-08-08 12:24:09 +0900
生成したいHaddockコメントを別ファイルに出力しておき、読み込んだ Interface を書き出す前に注入するイメージ http://hackage.haskell.org/package/haddock-api-2.22.0/docs/Documentation-Haddock.html
as_capabl
2019-08-08 12:38:48 +0900
上記のチケットが対応されると単なる無駄骨になってしまうのがリスクなんですけど、当初7.Xで対応されるはずだったのに現段階で未対応なので、待てばいいのか突っ走ればいいのか判断に迷う案件なんですよねー
hexirp
2019-08-08 13:49:06 +0900
ついついこう書いてしまう。ここではかっこはいらないのに。

case x of
  [] -> ...
  (x : xs) -> ...
as_capabl
2019-08-08 17:52:31 +0900
haddock-api、出力関係のAPIが軒並み非公開で出力に使えない疑惑がが。Haddock形式にするのはあきらめて、適当にmarkdownでも吐いて終わりにしようかな
igrep
2019-08-08 18:44:15 +0900
去年と同様に、Haskell Symposium 2019の論文の、PDFへのリンク一覧を作りました。
https://gitlab.com/igrep/papers-notes/blob/master/2019-haskell-symposium.md
igrep
2019-08-08 18:45:03 +0900
今年はなんとなく直リンではなく、ACM Digital Libraryにおけるページへのリンクにしておきました。
会員でなくてもリンク先からPDFのダウンロードができるはず。
as_capabl
2019-08-09 17:46:02 +0900
線形型の話めっちゃあるかと思ったら、タイトル見る限り無さそう？
fumieval
2019-08-09 20:43:01 +0900
今日の失敗: 複数のスレッドから同じソケットでデータを送ろうとしてしまう(このような使い方をするにはMVarで覆っておく必要がある)
りんご姫
2019-08-09 21:20:55 +0900
並列、並行性が絡むやつは等冪性を保証しておきたいですね。
fumieval
2019-08-10 13:11:56 +0900
入出力はアトミックでないことがほとんどなので、注意を怠らないようにしなくては
igrep
2019-08-10 23:24:36 +0900
知らなかった。:cold_sweat: 古いHaskell界の慣習にとらわれていた... Control.Arrow moduleを私が使い出した頃にはData.Bifunctorはbaseにあっただろうに...
https://twitter.com/mod_poppo/status/1160187668363280384
fumieval
2019-08-10 23:50:14 +0900
fmapで最後の要素に触れるという小技も時々便利ですね
2019-08-12 20:31:31 +0900
@ has joined the channel
kakkun61
2019-08-14 12:55:11 +0900
stack 2.1.3 にしてから text-printer パッケージのビルドで止まるようになった……
止まるとは GHC が起動しっぱなしで特にエラーも吐かない。
stack 1.9.3 では同じ resolver でうまくいってたんだけどな
• stack: 2.1.3
• resolver: 12.22
• OS: Windows
• architecture: x64
igrep
2019-08-16 16:06:55 +0900
https://functor.tokyo/blog/2019-08-15-pretty-simple-3.0.0.0
pretty-simple, 着々と進化していて素晴らしい
Dr_Radialist(KAMAKURA)
2019-08-17 11:29:10 +0900
@Dr_Radialist(KAMAKURA) has joined the channel
kakkun61
2019-08-17 17:19:40 +0900
Haskell Symposium 2019 の “Scoping Monadic Relational Database Queries” の related works に HRR 乗ってるけど日比野さんの名前がまちがってる
Key Hibino になってる
りんご姫
2019-08-17 19:50:18 +0900
Alan Key みたいでかっこいいと思ったのは内緒。
kakkun61
2019-08-17 20:19:22 +0900
もしかして: Alan Kay
りんご姫
2019-08-17 21:08:28 +0900
あっ。(｡>﹏<｡)
Kohei Yamamoto
2019-08-18 07:47:22 +0900
@Kohei Yamamoto has joined the channel
kakkun61
2019-08-18 23:52:26 +0900
何名か ICFP 行くかと思うのでその連絡用に icfp 作りました
fumieval
2019-08-19 16:26:04 +0900
GHCではunsafe foreign callの最中はGCが起こらないことが保証されていますが、前段階としてスレッドを同期（世界を止める）するのは防げないので、一つのスレッドがファイルに書き込んでいる間他のスレッドまで停止してしまうというやっかいな現象に遭遇しました。この場合内部でsafeに呼び出す`openFileBlocking`を使うことで回避できました( http://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-IO-Handle-FD.html#v:openFileBlocking )が、アロケーションをバリバリに絞ったコードでも同様の問題が発生しうるので注意が必要です
永江良一
2019-08-23 01:50:15 +0900
@永江良一 has joined the channel
kajitack
2019-08-23 12:30:19 +0900
@kajitack has joined the channel
igrep
2019-08-23 20:24:40 +0900
HIW 2019 https://icfp19.sigplan.org/home/hiw-2019 のLightning Talkで使ったスライドを共有させていただきます。
https://the.igreque.info/slides/2019-08-23-indexed-applicative.html#(1)
igrep
2019-08-23 20:26:07 +0900
時間切れしたしうまく発表できませんでしたが一応。
2019-08-24 00:16:22 +0900
Haskell初心者です。
どなたか下記3点のうちいずれか、または複数を一緒にオンラインで輪講しませんか？

■ Programming in Haskell (2nd ed.)
原書 https://www.amazon.co.jp/dp/1316626229
邦訳 https://www.lambdanote.com/blogs/news/haskell-2

■ Practical Haskell
https://www.amazon.co.jp/dp/1484244796

■ The Haskell School of Music
https://www.amazon.co.jp/dp/1108416756
takenobu.hs
2019-08-24 11:11:46 +0900
私の環境からだと、リンク先がPage Not Foundになってしまいます:thinking_face:
igrep
2019-08-24 13:25:07 +0900
ああー、デプロイミスってる…:scream: Netlifyのせいだ…:sweat:
igrep
2019-08-24 13:30:29 +0900
ご指摘ありがとうございます。今日本に帰るところなんで、空港に着いて時間があったら直します。
Netlifyのmergeしたら自動でデプロイするのなんとかならんのか…
igrep
2019-08-24 14:05:06 +0900
これで直ったはずです。