haskell-jp / random #94

オープニング動画作んなきゃ
@hiroyuking has joined the channel
Haskell Dayに間に合った! 
@KoyaTofu has joined the channel
MacにghcupでGHC 9.2.1を入れてghcup的に9.2.1がdefaultではない状態で~/.ghcup/bin/ghci-9.2.1を実行するとGHCiが起動に失敗する(あるいはdefaultとなっているバージョンのGHCiが起動する)んですが、他に同様の症状の方はいますか?
... Replies ...
@ has joined the channel
一応作っておきました。もうそんな時期ですか :bamboo:
https://qiita.com/advent-calendar/2021/haskell
直接Haskell関係ないですが個人的にあまりにもツボだったので... https://twitter.com/wtakuo/status/1455295566057902080
Haskellの2021 Surveyが始まってるようです。11月15日まで。
https://haskellweekly.news/survey/2021.html

なお、去年2020年の結果はこちら。
https://taylor.fausak.me/2020/11/22/haskell-survey-results/
Haskell Day 2021 いよいよ明日(11/7(日))ですね:sakulambda:
https://haskell.jp/haskell-day-2021/
https://haskell-jp.connpass.com/event/215363/
わいわい
@mark haskell has joined the channel
@nekurai has joined the channel
GHC 9.2の正式版も出たことですし、スライド2枚で紹介を終えるのは味気なかったな、ということで、解説記事を書きました: https://zenn.dev/mod_poppo/articles/ghc-9-2-and-future
GHC から Windows 32 ビット版のサポートがなくなったのってバージョンいくつからでしたっけ?
... Replies ...
Kazuhiko Sakaguchi
Haskell Day 2021 お疲れさまでした。私の発表 take k (sort xs) in Haskell has O(n + k log k) time complexity の間にクイックソートと遅延評価が組み合わさったときの計算量がどうなるかというコメントが @as_capabl さんからあったと思うので、この場を借りて回答します。(チャットで書いたつもりが、リンクを含んでいたせいかアーカイブに残っていなかったもので……)
結論としては、クイックソートの場合も実装が適切であれば take k (sort xs) の平均時間計算量を O(n + k log k) にできそうです。詳細な説明は Heinrich Apfelmus の投稿Peter Van Roy の講義動画 にありますが、いずれの場合も「平均時間計算量を考えているので、partition はリストを大体同じ長さの2つの部分に分割するものと考える」というクイックソートの平均時間計算量の証明でありがちなごまかし(だと自分は思っているんですが、これって妥当なんでしょうか?)が見られるので、証明をより精緻にする余地があると思います。
... Replies ...
extensibleの謎の構造として居座っていたTangleのエッセンスを、独立したパッケージに切り出してリリースしました。HKDの表現力を生かし、依存関係を持った計算をメモ化して合成可能にするライブラリです 
hspecの作者にPRで「流石にGHC 7はもうサポートしなくて良いんじゃないですか、古いやつを使いたい人は古いパッケージを使えば良いわけですし、大抵のパッケージはもうbaseが8前提になってるから追加がつらい」
みたいなこと言ったけど「GHC 7をサポートしたい」って普通に言われたので他のパッケージのデバッグをやっています
ウオーunicode-showのCIコケてる問題を解消したけどあまりにもコードがアドホックすぎる、提出したくないが、少なくともテストケースを通らない状態よりは通ってる状態の方が良いはずなのでPR提出します
提出することでGHC内部のlexerに詳しい人がちゃんと直してくれるかもしれないし、それに期待ですね
@igrep さんがレビューする感じで良いのでしたっけ
fixed: Pass the tests that were already done by CI. by ncaq · Pull Request #5 · haskell-jp/unicode-show
Travis CIもはや分からなすぎる、GitHub Actionsに移行した方が良かったりするのかな
移行して全然良いと思います
うっかり取り残されてるだけだと思うので
まあとりあえず見たら簡単に更新が、証明書が死んでるからcurlでStackを取ってこれない…ダメっぽいですね…
GitHub Actionsに移行させますか
あ、ほんまか?となって投稿消した
古いイメージとかですかね?
curl
Let’s encryptのルート証明書が切れた際に、古いイメージの古い curl (の設定)だとエラーはいて動作しなくなっちゃったんですよね
Travis CIのデフォルト指定マシンで動いてるのにcurlがエラーになるのはちょっとなあってもうTravis調べるより将来性あるしってGitHub Actions移行を書いてしまった
modified: Travis CIからGitHub Actionsに移行 by ncaq · Pull Request #7 · haskell-jp/unicode-show
これです、実は自分はCircleCI派なのでGitHub Actionsはあまりよく分かってなかったりしますが…
@ @matsubara0507 ありがとうございます!いい機会なのでchannelを作っておきました unicode-show
@ひで has joined the channel
Glob 0.10.2 をリリースしました:tada:
https://hackage.haskell.org/package/Glob-0.10.2
0.10.2, 2021-11-10:
Relaxed transformers-compat version bound.

Supported Win32 2.12.0.0 or higher.
... Replies ...
↑ 今バージョンから Glob のメンテナーに加わりました
GHC 9.2.1は、Linux依存のrealpathコマンドを使っていて、macOSではまともにインストールさえできない。。。
... Replies ...
個人的なシェルスクリプトを雑に書くと、そういった環境依存の問題が発生したりしますが、GHCのようにいろんな開発者が開発に参加しているようなプロダクトでも、そういうことが発生してしまうんですね。。。
Makefileの $(shell ...) はエラーを無視するので問題が起こっても気づきにくいというのはあるかもしれませんね。私も今まで気づきませんでした。
5ヶ月前には報告があるので、直してほしいところです。 https://gitlab.haskell.org/ghc/ghc/-/issues/19963
Globの差分で思い出しましたが、「winapi擬似呼び出し規約を追加しよう」というGHC Proposalがあったのに結局実装されてないですね(32ビットWindowsのサポートは切り捨てられてしまったので今後実装されることもなさそう) https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0277-winapi-callconv.rst
ウェブ上で Haskell の GitHub Actions をセットアップすると古いメンテナンスされてないアクションが使用されてしまう問題が改修されました~
https://github.com/actions/starter-workflows/pull/1216
... Replies ...
Web UI からやったことなかったから気づかなかったw
すごい、Summer of Haskell もそうなるのかな
学生に限定しない
https://twitter.com/kelseyhightower/status/1458681633209389057
GHC 9.2.1 は、AArch64では下記の不具合(16bit, 8bit精度の演算不具合)ありとのことです。 AArch64は9.2.2待ちですね。
https://discourse.haskell.org/t/psa-9-2-1-aarch64-miscompilation/3638
vierccさんにおよびFilterableクラスの性質と、Filterable+Traversableとの違いの解説を書いていただきました。開発当初、こうすればより正しい振る舞いだけを表せる、と直感で考えていたところを、実例も交えて形式的かつ痛快に示しています 
@葉酸you3 has joined the channel
StackageのHackage検索が動かなくなってしまった
lts-18.16に上がったからかな
だとしたら待てば復旧するとは思うけど
configure するライブラリーあるけど、Windows だとマシンによってどれくらい差があるんだろう
(ふだんは MinGW に PATH を通してなくて configure があるとビルドがこけるので configure がない方が嬉しい気持ちがあり