haskell-jp / random #78

maoe
2020-07-27 22:51:26 +0900
cabal.projectに
package パッケージ名
  test-show-details: direct

と書いておくと便利です
kakkun61
2020-07-27 23:06:23 +0900
さっそく書きました！
kakkun61
2020-07-28 17:01:37 +0900
MonadState にも MonadReader の local に相当するものが欲しくなった（具体的な型使えばいいんだけど
takenobu.hs
2020-07-28 19:20:20 +0900
cabal-install の 3.4.0.0-rc1 がリリースされました。今回は、ARMのaarch64用バイナリもリリースされています。
ですので、ラズパイ4の Ubuntu 20.04LTS上にて、cabal-install-3.4.0.0-rc1 + ghc-8.10.1 の組み合わせが、苦労なく動きます:pie:

cabal-install-3.4.0.0-rc1 リリース情報
https://mail.haskell.org/pipermail/cabal-devel/2020-July/010484.html

別件おまけ。 ARM aarch64用の GHC 8.10.1 のバイナリはここ。
https://www.haskell.org/ghc/download_ghc_8_10_1.html#linux_aarch64

GHCのARM対応近況はここ。
https://www.haskell.org/ghc/blog/20200515-ghc-on-arm.html
fumieval
2020-07-28 19:47:46 +0900
coercionを使う場合、内部表現が同じであるという証拠としてnewtypeコンストラクタが要求されます（それがない場合、エラーとなります）。今回のように、不正な値を作る方法がない場合、コンストラクタは公開するのがベストプラクティスと考えられています。　 に簡単な説明があります
kakkun61
2020-07-29 00:20:25 +0900
ありがとうございます。勉強になりました。
値構築子を公開した 0.1.1.0 を公開しました。
kakkun61
2020-07-30 01:02:04 +0900
VS Code のプラグインをインストールするだけで haskell-language-server がダウンロードされてうまく動いたっぽい～（Windows でも
VS Code のプラグイン、id が alanz.vscode-hie-server から haskell.haskell に変わってますね
kakkun61
2020-07-31 03:56:01 +0900
しばらく使ってると何か処理が終わらなくなる……
igrep
2020-07-31 09:43:13 +0900
はて、そういえばMonadとApplicativeはどう訳したものか... :confused: https://twitter.com/FlavioCorpa/status/1288983432870219777
igrep
2020-07-31 11:02:57 +0900
Monadは「単子」という訳も一応はあったような。
中国語で「単子」と訳すこともあるそうなのでなかなか紛らわしいことになりそう :sweat_smile:
すみません、引用したtweetを読み違えてました。むしろぴったりじゃん
https://twitter.com/lastland0/status/1288991181259575299
naohaq
2020-07-31 11:25:49 +0900
英辞郎で applicative を引いたら "applicative language" に「作用型言語」(他で調べるとどうも「関数型言語」のsynonymらしい)という訳があるっぽいので、 applicative は「作用素」としてはどうだろうとか思ったけど別の「作用素」(operator)と衝突しますねっていう。
naohaq
2020-07-31 11:26:42 +0900
Applicative Functor は「作用的関手」でどうでしょうとか
igrep
2020-07-31 11:28:52 +0900
https://xtech.nikkei.com/it/article/COLUMN/20120110/378061/?P=2 で呼んでいる「作用ファンクタ」とも整合しますね！ :+1:
igrep
2020-07-31 11:30:38 +0900
ただ個人的には、「適用可能関手」の方が「Functorにapを付けたものだよ」という意図がはっきり伝わるので好みですね。
naohaq
2020-07-31 11:36:46 +0900
Control.Applicative から参照されてる Applicative Programming with Effects http://www.staff.city.ac.uk/~ross/papers/Applicative.html というpaper、内容を見ると "Effectful Programming with Applicative" というタイトルのほうが正しいんじゃないかという気持ちになる……
naohaq
2020-07-31 13:17:54 +0900
そういえば「群作用」という用語があったな……、と思って元の名前を調べてみたら "group action" でした、と…… https://ja.wikipedia.org/wiki/%E7%BE%A4%E4%BD%9C%E7%94%A8
mod_poppo
2020-07-31 19:20:57 +0900
例の論文を読んだ感じではApplicativeは関数適用を意識したネーミングのようなので、あえて訳すとすれば「適用的（関手）」かなあと思ってます
siosio
2020-07-31 22:03:42 +0900
中国語で検索してみたところ、适用函子(適用〜)、应用函子(応用〜)、可应用函子(応用可能〜)、高级函子(高級〜)、加强版函子(強化版〜)などが見つかりました。ご参考まで…
lotz
2020-08-01 11:44:05 +0900
こんな読書会を @nobsun さんとやる予定なので興味ある人はぜひ！
https://twitter.com/lotz84_/status/1289391122238717953?s=21
igrep
2020-08-01 12:47:40 +0900
スライドに使うフォントだけで話題になる男、Simon Peyton Jones。
https://t.co/WvleQezUjv https://twitter.com/YuriyBogomolov/status/1289202285159919616?s=20
igrep
2020-08-01 12:50:29 +0900
GoogleカレンダーのHaskell勉強会カレンダーへの登録お願いします:pray:（アクセス権限ありましたよね？
Nobuyuki Tomizawa
2020-08-01 13:10:58 +0900
たしかに、Comic Sans以外のフォントはほぼ見たことがないですね :slightly_smiling_face:
kakkun61
2020-08-01 21:49:21 +0900
Hackage の haskeline-0.8.0.0 と GHC 8.10.1 付属の haskeline-0.8.0.0 が MonadFail に関して異なるせいでハマった……
Thanks to @mod_poppo
https://hackage.haskell.org/package/haskeline-0.8.0.0/docs/System-Console-Haskeline.html#t:InputT
https://downloads.haskell.org/~ghc/8.10.1/docs/html/libraries/haskeline-0.8.0.0/System-Console-Haskeline.html#t:InputT
igrep
2020-08-01 21:51:12 +0900
なんでわざわざ
 MonadFail m => MonadFail (InputT m)

を消してしまったんでしょうね。
kakkun61
2020-08-01 21:52:27 +0900
0.8.0.0 で入った（はず）のインスタンスなんですよね
igrep
2020-08-02 18:35:14 +0900
前回のHaskell Weeklyから。Nixでstack scriptとかcabal script的なことをする話ですかね。
https://publish.elbear.com/#Use%20Nix%20to%20make%20experimenting%20with%20Haskell%20easier
igrep
2020-08-03 08:42:46 +0900
Haskell Language Server、VS Codeだけかと思いきや https://github.com/haskell/haskell-language-server/releases から普通に実行ファイルダウンロードできるようになってたんですね。
素晴らしい。これで私の非力なノートでも戦える
igrep
2020-08-03 08:44:00 +0900
https://github.com/mattn/vim-lsp-settings と https://github.com/neovim/nvim-lsp に貢献する日が来たか。
（実はもう誰かやってる？
igrep
2020-08-03 08:46:56 +0900
えっ、Windows版に拡張子 .exe がないのってどういうこと... :cold_sweat:
igrep
2020-08-03 08:48:01 +0900
fileコマンドで調べたら一応ちゃんと実行ファイルにはなっているらしい
kakkun61
2020-08-03 18:14:53 +0900
モナドトランスフォーマーを雑に ResultT という名前にしたら ResultT Identity も Result という名前にしたくなって名前がかぶった。名前空間が違うからまあいいか？
igrep
2020-08-03 18:42:54 +0900
もともと値コンストラクターをかくして直接使わない想定のAPIだったでしょうから、むしろ ResultT Identity に寄せるのもいいかも。
2020-08-03 21:53:47 +0900
@ has joined the channel
lotz
2020-08-03 23:03:04 +0900
登録しましたー！
2020-08-04 10:26:42 +0900
Haskell Implementors' Workshop (HIW 2020)でEgisonのパターンマッチを実装したHaskellライブラリであるSweet Egisonについて話せることになりました！
https://icfp20.sigplan.org/details/hiw-2020-papers/10/Sweet-Egison-a-Haskell-Library-for-Non-Deterministic-Pattern-Matching
2020-08-04 10:29:43 +0900
Sweet Egison ( https://github.com/egison/sweet-egison )は去年Haskell Dayで発表させていただいたminiEgison ( https://github.com/egison/egison-haskell ) を高速になるよう改良したものになっています．
Egisonパターンマッチを使って書いたプログラムが同じ意味のHaskellによる通常の関数型プログラムとほぼ同じ速さで動きます．（Egisonパターンマッチを使って書いたプログラムが同じ意味のHaskellプログラムに変換されるように実装されているおかげです．）
Yutaro Sakamoto
2020-08-04 23:23:33 +0900
@Yutaro Sakamoto has joined the channel
igrep
2020-08-05 07:54:44 +0900
ICFPのearly registration（安くチケットが買える）は8/8まで。
今年は世界中の人が参加できるよう、発表を録画しておいて2回配信するそうです。
https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
kakkun61
2020-08-05 20:58:08 +0900
5年近く放置されてた optparse-declarative ですが自分がメンテナーに追加されたのでメンテナンスしてきます:muscle:
https://hackage.haskell.org/package/optparse-declarative
igrep
2020-08-06 08:14:44 +0900
stack 2.3.3がリリースされました。バグ修正が主な変更のようです。
@coord.e Contributor入りおめでとう！ :tada:
https://github.com/commercialhaskell/stack/releases/tag/v2.3.3
igrep
2020-08-07 13:11:56 +0900
GHC 9からの多倍長整数( Integer 型)のサポートについて。
ghc-bignumというパッケージで内部表現を統一した結果、新しい実装が劇的に作りやすくなったそうです（GHCの作者とかがうれしい）。
Pure Haskellな多倍長整数であるinteger-simpleもそれに合わせて書き換えられ（パッケージの名前も変わる？）、大幅に高速化できた、とのこと。
https://iohk.io/en/blog/posts/2020/07/28/improving-haskells-big-numbers-support/
mod_poppo
2020-08-07 15:01:54 +0900
integer-simpleは内部表現が [Word] 風のデータ構造だったのが新しいpure Haskellによる実装では（これまでのinteger-gmpと同様） ByteArray# ベースになってますし、integer-simpleは書き換えられたというよりは廃止されて置き換えられたと言った方が適切かと思います。
mod_poppo
2020-08-07 15:05:12 +0900
私が絶賛作成中の浮動小数点数パッケージでも Integer の内部表現や内部的な関数に触れられると嬉しいので、ghc-bignum対応を行っています。テストするには自分でGHCをビルドするところから始めないといけないのが辛いところです。 https://github.com/minoki/haskell-floating-point/blob/主/fp-ieee/src/Numeric/Floating/IEEE/Internal/IntegerInternals.hs
fumieval
2020-08-07 16:23:38 +0900
bytestring-0.10.12.0がリリースされました。罠として悪名高いIsString ByteStringインスタンスに注意書きが入っていますね　
2020-08-07 19:00:02 +0900
いっそのこと IsString ByteString は削除してしまっても良いのではないかというのは日本人的感覚なのでしょうかね
Rustだとバイトリテラルは別で b"hoge" みたいに書きますね
kakkun61
2020-08-07 19:47:54 +0900
「主」