haskell-jp / random #99

@宮川哲 has joined the channel

@Kai Ma has joined the channel

Google Summer of Code の Haskell の詳細出てました
対象者じゃなくても課題リスト見るとそういうの求められてるんだなと分かりますね
https://twitter.com/HaskellOrg/status/1528054034388623367

GHC 9.2 で導入されたQuick Look型推論アルゴリズムについて
https://techblog.asahi-net.co.jp/entry/2022/05/23/162236

非可述多相まわりよく分かってなかった

GHCの今後のリリース見通しが出てますね https://www.haskell.org/ghc/blog/20220523-release-status.html
9.4.1-alpha2は今朝出ました。9.2.3も近いうちに出るようです。
9.0系の新しいリリースは出ない一方で、9.2系が事実上のLTS扱いされる（8.10系と同様）ことに注目したいです。
GHCupを使っている人はpre-release channelsを使うことによってGHCupでalpha版を試せるようになります（現時点ではalpha2はまだ降ってきていませんが）： https://www.haskell.org/ghcup/guide/#pre-release-channels

@toyboot4e has joined the channel

何やら歯切れの悪い記事を書きました https://kakkun61.hatenablog.com/entry/2022/05/26/%E9%87%8D%E3%81%AD%E7%9D%80%E3%81%97%E3[…]0%E3%83%BC%E3%83%93%E3%83%BC%E4%BA%BA%E5%BD%A2_in_Haskell

@fet has joined the channel

今朝はGHC 9.2.3の他にHF Tech Proposalが二つほど出てますね。
• Introduce GHC.X.hackage proposal: 依存関係の上流にあるパッケージが新しいGHCに対応していないと下流のパッケージが新しいGHCに対応できない、という問題を緩和するための提案。新しいGHCへの対応を並列化することを促す。 https://github.com/haskellfoundation/tech-proposals/pull/27
• A tick-tock release cycle for GHC: GHCの正式リリースをLTSとそうでないものに分けて、LTSは18ヶ月間重要な問題の修正を行う。GHC 9.2はLTS, GHC 9.4はそうではない、という感じ。 https://github.com/haskellfoundation/tech-proposals/pull/34

HHPで型情報を得ると %1 が出力される問題ですが、dataConWrapperTypeの代わりにdataConNonlinearTypeを利用することで解決しました。ドキュメントなどは皆無ですが、GHCiのソースを読んでいて、なんとなく閃きました。

@shinya sakae has joined the channel

@ has joined the channel

@ has joined the channel

期限切れ問題また起きてるみたいですけどStackが悪いのかHackageが悪いのかどっちなのかわからない
< error: <repo>/mirrors.json is expired · Issue #3731 · commercialhaskell/stack>

GHC 9.2? で -Wincomplete-uni-patterns が入って、

let Just foo = ...

とかに警告が出るようになったけど、どうするのがいいんでしょうね？
絶対 Just になるんだけど、Nothing の部分を書くとしたら何を書きますか？
error ですか？

@hirofumikubo has joined the channel

いまさらですが、
-fdefer-typed-holes を使うと type hole の が error にはならずに warning になるようになって、開発途中の状況によっては undefined より を利用する方が便利かもしれないと気がつきました.

@Nakamin7 has joined the channel

はじめまして。
普段はデータサイエンス分野でRやPythonを主に書いているものですが、関数型プログラミングに興味があって参加させていただきました。今は「Programing in Haskell 2nd edition」を読んだり手元で試したりして勉強しています。
よろしくお願いいたします。

@osada has joined the channel

@ has joined the channel

@あびしゃい後円墳 has joined the channel

@Hiromasa Sakata has joined the channel

Cabalのソースを読んでいたら出てきたんですけど、

module Foo
  ( foo,
  module Foo
  ) where

みたいに、re-exportするモジュールに自分自身を指定してもいいんですね... :open_mouth:
Fooの識別子を全部エクスポートしつつ他のモジュールの識別子もre-exportしたい時に便利なようで
https://github.com/haskell/cabal/blob/dac10555299fa0d750838529a67598821264e5e3/Cabal-syntax/src/Distribution/Types/GenericPackageDescription/Lens.hs#L2-L7

vector の 0.13 がリリースされ、遂に待望の「カスタム型の Unboxed Vector を GeneralizedNewtypeDeriving や DerivingVia で手軽に定義できる機能」が実装されたようです:tada:
https://hackage.haskell.org/package/vector-0.13.0.0/docs/Data-Vector-Unboxed.html#g:39

この変更自体はだいぶ前から vector の issue / PR に入っていたと記憶していますが、GHC のリリースのタイミング等あって入るのは少し先になりそうという風に認識していたので、思ったより早く使えるようになってうれしいですね。

とはいえ、この変更のために、Generic な Vector / MVector クラスのメソッドの型が変更になっている（PrimMonad が量化された多相なものから concrete な STベースのものになっている）ので、カスタムな Vector インスタンスを定義している場合、InstanceSigs などを使って書いていたりすると旧バージョンからの移行にはひと手間が必要になる場合はあるかもしれません。

なんとなくまっさらな Windows に Haskell 開発環境を作る RTA やったら30分で終わらなかったので、また挑戦しよう
録画してあるのでうまくいったら編集してアップロードしたい
https://twitter.com/kakkun61/status/1539626171675344897

@Smearble has joined the channel

参加しました 初心者です よろしくお願いします。

↑
参考に、GHC 9.4.1-alpha3のリリース情報はこちら。
https://discourse.haskell.org/t/ghc-9-4-1-alpha3-now-available/4701
9.4.1は、初めてHadrianでビルドしたリリースなので、パッケージング周りとか色々テストしてね、ということです。
バグ報告先はこちら。
https://gitlab.haskell.org/ghc/ghc/-/issues

独断と偏見に基づいてGHC 9.4の新機能・変更点を紹介する記事を書き始めました： https://github.com/minoki/zenn/blob/master/articles/whats-new-in-ghc-9-4.md

個人的には、GHC 9.4はmultiple home unitsがすごく期待ですね。
https://mpickering.github.io/ide/posts/2020-10-12-multiple-home-units.html

@尾﨑嘉彦 has joined the channel

アルファ版はこんな感じで ghcup で管理できます

ghcup install ghc -u '' 9.4.1-alpha3

class (Alternative m, MonadError e m) => ??? e m

こんなクラスがほしくなった
制約は（雰囲気）

throwError e <|> m ≡ m

もしくは

m <|> throwError e ≡ m

https://twitter.com/kakkun61/status/1543624146298740736

@有田翔梧 has joined the channel

@ has left the channel

フリープランでも過去のメッセージ、制限なく見れるようになるらしい

↑ 制限はありま～す（別の形で
:bow:

https://connpass.com/event/254790/ :haskell: オンラインのHaskell勉強会を開催します！:haskell:
15分の発表枠が3つあるので、登録お待ちしています！

全角セミコロンはちょっとセコいw
https://twitter.com/fixedpointfae/status/1551791996183801857

GHC 9.2.4 がリリースされています:haskell:
https://discourse.haskell.org/t/ghc-9-2-4-released/4851
（これとは別に、GHC 9.4.1も近々リリースされるようです。）

@ has joined the channel

@宇高大志 has joined the channel

GHC 9.4.1もリリースされました:haskell:
https://discourse.haskell.org/t/ghc-9-4-1-is-now-available/4901

@def has joined the channel

beginners での質問をきっかけにブログにしました
ご笑覧ください
https://kakkun61.hatenablog.com/entry/2022/08/12/Windows_%E3%81%A7_Haskell_SDL2

SDL2 だけでなく pkgconfig-depends で C ライブラリーに依存してる Haskell ライブラリーを Windows でビルドするときの手助けになると思います

Cabal 3.8.1.0 Released!
https://discourse.haskell.org/t/just-released-cabal-3-8-1-0/4920/2
GHC 9.4のmultiple home unitを利用したreplはまだかな？