haskell-jp / random #104

2023-08-24 15:37:37 +0900
@ has joined the channel
mod_poppo
2023-08-25 12:40:35 +0900
最近こんな記事 https://blog.miz-ar.info/2023/08/haskell-simd/ を書きましたが、記事中で言及しているLLVMバックエンドによるAArch64向けのSIMDプリミティブの対応がマージされました。不具合でrevertとかされなければ、GHC 9.10に入ります。
2023-08-25 17:27:45 +0900
リクルーティングメッセージで恐縮です。
Haskellで書いてるプロジェクトで「誰かが体調不良になっただけで遅延が発生しかねないのはどうなんですか」と私の体調不良リスクを指摘されています。
Haskell書ける人がたくさん増えれば解決する問題なので、Haskellで自然言語処理を行うプロジェクトに興味がある方は是非 pluszero に参加して欲しいなと思います。

連絡は、 https://twitter.com/ncaq のリプライかDM(FF外は認証済みユーザしか送れませんが伝えられればフォローします)とか [email protected] で可能です。
ryoppippi
2023-08-27 06:22:14 +0900
@ryoppippi has joined the channel
igrep
2023-09-06 07:38:45 +0900
GHCのエラーメッセージをJSONで出力できるようにするMerge Requestについて、フィードバック募集中だそうです
https://discourse.haskell.org/t/feedback-wanted-json-diagnostics-output-for-ghc/7531
高橋紀美
2023-09-15 10:04:43 +0900
@高橋紀美 has joined the channel
igrep
2023-09-16 19:06:24 +0900
https://twitter.com/fwnnl/status/1702890725950759021
Haskell -> wasm できた
依存ライブラリも問題なくコンパイルできて、少し感動
すばらしい。IOを消すために依存パッケージをforkしてた頃に比べれば隔世の感がありますね
gksato
2023-09-16 23:34:39 +0900
今日のAtCoderのコンテストで，`vector-algorithms` のソートアルゴリズムを変えたらTLE(time limit exceeded)がACになってびっくりしました．Introsort -> Merge sort なので，どっちも最悪O(NlogN) のはずなのに何故…
Introsort, TLE: https://atcoder.jp/contests/abc320/submissions/45644448
Merge sort, AC: https://atcoder.jp/contests/abc320/submissions/45644739
TLEのテストケースは一個だけなので、ひょっとすると何かのバグを踏んだかもしれません．
mod_poppo
2023-09-18 13:19:26 +0900
GitHub Actionsがいくつか入っているhaskell/actionsが解体されてhaskell-actions/に移動するんですね（haskell/actions/setup→haskell-actions/setup）。 https://github.com/haskell-actions/setup
kakkun61
2023-09-19 00:41:47 +0900
haskell/actions のやつも移るんですね（補完的かとなんとなく思ってた
igrep
2023-09-21 12:43:38 +0900
StackageがFP CompleteからHaskell Foundationに移管されるそうです https://discourse.haskell.org/t/a-new-home-for-stackage/7632
working neco
2023-09-23 10:20:46 +0900
@working neco has joined the channel
igrep
2023-09-26 08:18:23 +0900
初心者フレンドリーさと開発生産性に重点を置いたHaskell方言（ただし開発中）
https://neohaskell.org/
... Replies ...
Hiromi ISHII / mr_konn
2023-09-26 14:58:04 +0900
これ、Show case 的なものも別に現行の GHC でできそうなことしか書いてないように見え、技術的詳細の掛かれたドキュメントも見当たらず、パッと見ても Git レポジトリ空っぽいんですけど、どこかに何か期待の持てそうなリソースがあったりするんでしょうか……？
kazu
2023-09-27 10:06:40 +0900
サーバーとかで、いろいろなパラメータの統計をとる場合、たくさんの IORef ではなく、IOUArray を用意してそれぞれの要素を atomic に更新したくなります。
array にそういう関数は提供されてないのですが、プリミティブに cas があるようで、"massiv" パッケージを参考に作ってみました。
https://github.com/kazu-yamamoto/dnsext/blob/main/dnsext-utils/DNS/Array.hs
Haskellの弱点が、一挙になくなった感じ。
array はデフォルトでこれを提供してほしい。。。
... Replies ...
R
2023-09-29 14:15:46 +0900
@R has joined the channel
takenobu.hs
2023-09-29 21:42:16 +0900
GHC2024拡張のproposalが始まったみたいです。
https://github.com/ghc-proposals/ghc-proposals/pull/613
igrep
2023-09-30 11:20:43 +0900
現状のWasmの制約の元でどのようにGHC製WasmをJSと連携させるか
https://joeyh.name/blog/entry/Haskell_webassembly_in_the_browser/
Hiromi ISHII / mr_konn
2023-10-01 12:34:35 +0900
手前味噌ですが、さいきん Haskell で線型型,を使えるようにする GHC の LinearTypes 言語拡張をがっつり使ってみたので、Haskell の線型型を使おうとすると現在はこんな感じだよ、将来はこうなって Rust のリソース管理により近くなっていくよ、というような記事を書きました。Linear Haskell のライブラリを使う側の話が主ですが、ライブラリを作る時の話についても需要があればそのうち書くかもしれません（書かないかもしれません）。
https://zenn.dev/konn/articles/2023-10-01-linear-haskell-in-2023
... Replies ...
2023-10-03 09:10:26 +0900
@ has joined the channel
arark
2023-10-07 13:15:43 +0900
みなさんってHaskellどんな用途で使用されてますか？
... Replies ...
kei.ad
2023-10-08 16:59:03 +0900
@kei.ad has joined the channel
sat0ma
2023-10-10 15:00:46 +0900
@sat0ma has joined the channel
takenobu.hs
2023-10-10 21:35:35 +0900
GHC 9.8.1がリリースされています :haskell:
https://discourse.haskell.org/t/ghc-9-8-1-is-now-available/7832
kazu
2023-10-12 11:58:03 +0900
GHC 9.8.1 ですが、Data.List と Data.Functor を import すると unzip が衝突しますね。
ひどい。
... Replies ...
bizyutyu
2023-10-13 20:25:48 +0900
@bizyutyu has joined the channel
mitsuru793
2023-10-14 21:25:22 +0900
@mitsuru793 has joined the channel
かりんとう
2023-10-15 20:56:37 +0900
直接haskellの部分でなくて恐縮ですが、.hsをコンパイルした.wasmファイルをhtmlに組み込む例を知りたいです。
(ghc-wasm-metaからのwasi-jsとか見ましたがNode向けの内容しか見つけられていません)
進み具合として、wasm32-wasi-ghc により.wasmにはできています。
自分なりにwasmの組み込みかたを検索してhtmlはこうなっています。
!DOCTYPE html
<html lang="ja">
<head>
<meta charset="utf-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1">
</head>
<body>
<script>
const importObject={wasi_snapshot_preview1:{proc_exit:arg=>arg,fd_close:arg=>arg,fd_write:arg=>arg,fd_seek:arg=>arg,environ_sizes_get:arg=>arg,environ_get:arg=>arg,fd_fdstat_get:arg=>arg,path_open:arg=>arg,path_filestat_get:arg=>arg,path_create_directory:arg=>arg,fd_prestat_get:arg=>arg,fd_prestat_dir_name:arg=>arg,clock_time_get:arg=>arg,fd_fdstat_set_flags:arg=>arg,fd_read:arg=>arg,fd_filestat_set_size:arg=>arg,fd_filestat_get:arg=>arg,poll_oneoff:arg=>arg}};
WebAssembly.instantiateStreaming(fetch('Hello.wasm'),importObject).then(obj=>{
obj.instance.exports.hs_init(0,0);
console.log(obj.instance.exports.test(10));
});
</script>
</body>
</html>
ちなみにここでtestは引数の数値を2倍して返す関数です。で、以下のエラーが出ています。
Hello.wasm:0xb42e Uncaught (in promise) RuntimeError: unreachable
at Hello.wasm._Exit (Hello.wasm:0xb42e)
at Hello.wasm.exit (Hello.wasm:0x176db)
at Hello.wasm.stg_exit (Hello.wasm:0xabf3b)
at Hello.wasm.getProcessTimes (Hello.wasm:0xd513)
at Hello.wasm.stat_startInit (Hello.wasm:0xa904a)
at Hello.wasm.hs_init_ghc (Hello.wasm:0xabcb8)
at Hello.wasm.hs_init (Hello.wasm:0xabc44)
違うアプローチも含めて、解決方法があれば知りたいです。
... Replies ...
kk
2023-10-19 21:17:20 +0900
ulid-tightパッケージをリリースしました。
https://hackage.haskell.org/package/ulid-tight
2023-10-21 00:32:26 +0900
@ has joined the channel
minus1216
2023-10-26 22:25:45 +0900
https://twitter.com/yuki_20020924/status/1717404851536302332?t=-MHrJdCBXSb7zSNJNwl_KA&s=19

Haskellで書いたプログラムの動作速度は（得意不得意はあれど）おおむねJavaぐらいになるものだと思っているのですが、これは正しいでしょうか
... Replies ...
takenobu.hs
2023-10-30 20:56:55 +0900
HaskellではなくErlang/Elixirベースですが、QuickCheck等にも活かせると思うのでラムダノートの新刊紹介です :bow:
https://www.lambdanote.com/collections/proper-erlang-elixir
kazu
2023-10-31 14:56:42 +0900
軽量スレッドのスタックは、最初1kですが、次は32k足されて33kになります。
これはひどいデフォルト値です。
たくさん軽量スレッドを起動すると、使われないスタックで溢れかえります。
この問題は、スタックの増える量を最小値の2kにすると解決するようです。
+RTS -kc2k
karoyakani
2023-11-01 13:21:40 +0900
AtCoder での最近の Haskell (GHC 9.4.5) update from (8.8.3) によって実行速度が低下している模様　例： 競プロ典型 90 問 9 日目 - Three Point Angle
https://atcoder.jp/contests/typical90/submissions/47126051
... Replies ...
gksato
2023-11-01 21:22:46 +0900
あー，これ公知するの忘れてました． VAI.sort を VAI.sortBy compare で置き換えると改善します：

https://atcoder.jp/contests/typical90/submissions/47136959

VAI.sort は {-# INLINABLE sort #-} になっています． vector-algorithms における7年前のコミット https://github.com/erikd/vector-algorithms/commit/298333ee4a26bdd25a08a852d3123c9aab24c364 で，「`INLINABLE` ではなく {-# INLINE sort #-} としないとパフォーマンスが悪化するということだがそれが再現しない」，ということを理由に INLINABLE に差し戻された状態です．GHC 8.8.3 ではきちんとインライン化されていたところ，多分 GHC 9.4.5 のバグか仕様かで sort がインライン化されなくて時間がかかっているようなんですよね．
lotz
2023-11-01 22:10:55 +0900
今年の Haskell Advent Calendar の枠を作りましたのでぜひ登録して書いていただけると嬉しいですー！ :pray:
https://qiita.com/advent-calendar/2023/haskell
haru It
2023-11-02 15:33:56 +0900
@haru It has joined the channel
igrep
2023-11-03 08:19:00 +0900
HaskellでTUIアプリを作るフレームワーク、vtyがついにWindowsをサポートしたそうです！
https://discourse.haskell.org/t/vty-6-released-now-with-support-for-windows/7975
1000 k_k_y_a_n
2023-11-03 23:17:41 +0900
@1000 k_k_y_a_n has joined the channel
gksato
2023-11-05 13:39:01 +0900
それはよかったです．あ，一応ですが， VAI.sort を VAI.sortBy compare に置き換える以外にも，

{-# RULES "Force inline VAI.sort" VAI.sort = VAI.sortBy compare #-}

を追加することによってもACできることを確認しました：
https://atcoder.jp/contests/typical90/submissions/47295075
import を大量に書いたtemplateを用意して書くタイプではなさそうなコードなので，あんまりお役に立つかはわからないですけど．
2023-11-08 19:07:58 +0900
@ has joined the channel
kakkun61
2023-11-15 10:36:46 +0900
Cabal の Windows での QA テスターが足りていないそうです
我こそはという方:point_down:
https://discourse.haskell.org/t/cabal-is-looking-for-qa-testers-on-the-windows-platform/8103
... Replies ...
kakkun61
2023-11-15 10:37:16 +0900
まあ我な気がするな
ymorita
2023-11-22 23:06:35 +0900
@ymorita has joined the channel
Birudo Un
2023-11-23 14:41:05 +0900
@Birudo Un has joined the channel
lesguillemets
2023-11-23 15:26:41 +0900
@lesguillemets has joined the channel
Sato Naoto
2023-11-24 21:18:15 +0900
@Sato Naoto has joined the channel
2023-11-27 23:27:16 +0900
興味本位なのですが haskell for all ってどういう人(or チーム)が書いているかどなたかご存知ですか?
(あるいは特定の著者が不在のキュレーションサイトだったりしますか?)
... Replies ...