haskell-jp / random #84

takenobu.hs
2020-11-07 10:20:10 +0900
以前に話のあった、prime関連のWebページの在り処についてです。 TracからGitLabへの移行に伴って、以下の場所にmigrateされていましたので共有しておきます。
https://gitlab.haskell.org/haskell/prime/-/wikis/home
なお、3-release-policyのページは以下です。
https://gitlab.haskell.org/haskell/prime/-/wikis/libraries/3-release-policy
（あと、タイトルindexページを追加したので、そのうち各ページが、Google検索などの対象になると思います。）
kazyasui
2020-11-07 12:40:50 +0900
@kazyasui has joined the channel
shintak
2020-11-07 15:41:11 +0900
@shintak has joined the channel
2020-11-10 11:56:40 +0900
@ has joined the channel
2020-11-11 12:43:37 +0900
@ has joined the channel
igrep
2020-11-12 11:29:52 +0900
久々にRedditのタイムラインを見てみたらhaskell-language-server-0.6.0が出てた https://www.reddit.com/r/haskell/comments/jsfq35/ann_haskelllanguageserver060_has_been_released/
2020-11-12 15:57:32 +0900
hieでは動いてたhlint統合動かないなーと思ってたら動くようになったんですね
これはうれしい
2020-11-14 15:18:42 +0900
@ has joined the channel
igrep
2020-11-15 19:30:19 +0900
Windowsユーザーのみなさんへ: まだ手元で試せていないんですがGHC 8.10.2がまともに動かない問題、 https://gitlab.haskell.org/ghc/ghc/-/issues/18550#note_309996 曰くChocolatey版のGHCでは解決してるとのこと。
stackと併せて使いたい場合はstackの--system-ghcオプションを有効にすれば使えるはずです。
as_capabl
2020-11-16 00:40:08 +0900
これちょうど昨日ハマりました。issueのコメントに書いてある、lib/settingファイルを書き換えるワークアラウンドで動かしてます
igrep
2020-11-16 11:21:31 +0900
（余談）Haskellと関係なくてすみません。
ここを見てる人で当時を覚えている人がどれだけいるかわからないけど、そういえばそっくりな画像が昔Haskell-jp Blogのトップに使われてましたね... :sweat_smile: :mount_fuji:
https://togetter.com/li/1623319
hexirp
2020-11-16 12:25:08 +0900
issue でケレン味がありすぎると言われてたのが印象に残ってます
hexirp
2020-11-16 12:33:18 +0900
そうそう、それです。少し間違えて覚えてましたね
yuki2501
2020-11-18 20:58:19 +0900
@yuki2501 has joined the channel
igrep
2020-11-19 20:15:03 +0900
Haskell製アプリのWindows向けインストーラーの作り方（普通にNSIS全般の話
https://blog.patchgirl.io/haskell/2020/10/30/windows-installer-for-haskell-software.html
kakkun61
2020-11-19 22:39:54 +0900
C でよくある
char* strcpy ( char* destination, const char* source );

みたいな関数が、線形型を使えば純粋なままできて、融合変換に頼らずとも中間データを消せるという話（と理解した
copyArray :: Array a → DArray a ⊸ ()

https://twitter.com/tweagio/status/1326913487751286788
Manami
2020-11-21 00:07:54 +0900
@Manami has joined the channel
Hesca
2020-11-21 12:16:32 +0900
@Hesca has joined the channel
usabarashi
2020-11-22 01:54:11 +0900
@usabarashi has joined the channel
takenobu.hs
2020-11-23 10:45:07 +0900
今年の、State of Haskell Surveyの結果が出ています、ご参考:slightly_smiling_face::haskell:
2020 State of Haskell Survey results
https://taylor.fausak.me/2020/11/22/haskell-survey-results/
igrep
2020-11-23 19:15:59 +0900
「Which platforms do you target?」でBSDはまだ分かるんですけどAndroidやiOSが10人以上もいるのすごい :open_mouth:
igrep
2020-11-24 08:33:08 +0900
Clashという、Verilogを生成するHaskell製のDSLでFPGAを設計するガイド
https://github.com/standardsemiconductor/VELDT-getting-started
Yasuhiro
2020-11-24 22:43:53 +0900
@Yasuhiro has joined the channel
Jaeseung Han
2020-11-27 13:54:03 +0900
@Jaeseung Han has joined the channel
takenobu.hs
2020-11-27 22:09:36 +0900
Haskell Weeklyでの紹介記事です。 本当のReal World用にちょっとHaskellを使った話:slightly_smiling_face:
Haskell in the Real World
https://reasonablypolymorphic.com/blog/3d-printing/index.html
そこで紹介されている、Haskell製の3D CADライブラリの ImplicitCAD: Math Inspired CAD
https://github.com/colah/ImplicitCAD
http://www.implicitcad.org/
その対話環境の例！
http://www.implicitcad.org/examples/screw
Yudai Tanabe
2020-11-28 23:08:19 +0900
@Yudai Tanabe has joined the channel
sh9
2020-11-29 00:08:10 +0900
@sh9 has joined the channel
igrep
2020-11-30 12:22:14 +0900
BloggerやWordPressからhakyllに自動で移行できるツールらしいです。そこまでやんのか... :open_mouth:
https://github.com/Minoru/hakyll-convert
igrep
2020-11-30 12:23:42 +0900
連投済みませんがもう一つHaskell製の便利そうなツールを（こっちの方が利用頻度高そう）
https://github.com/tfausak/github-release
takenobu.hs
2020-12-01 21:23:06 +0900
kowainikのメンバーによる、Haskell and Functional Programming についての新しいonline magazineだそうです。
Bind The Gap
Monthly Digital Functional Programming Magazine
https://bindthegap.news/#issues
takenobu.hs
2020-12-02 21:21:17 +0900
以前にRedditで紹介されていた、英語版のAdvent calenderの一つです:christmas_tree::santa::gift:
（各々、軽いページっぽいので、Chromeでページごと和訳して気楽に読むのも良いでしょう）
Advent of Haskell 2020
https://adventofhaskell.com/
matsubara0507
2020-12-02 23:14:35 +0900
お洒落だ
igrep
2020-12-03 14:28:20 +0900
ステップバイステップでLLVM IRへのコンパイラーをHaskellで書くガイド
https://qiita.com/mitsuchi/items/91b2b41cc63bb3ec87ff
kazu
2020-12-03 14:50:00 +0900
aeson って、どうしてコンパイルに信じられないぐらいの時間がかかるんですかね？
2020-12-03 14:57:46 +0900
ご紹介ありがとうございます！　嬉しいです。
igrep
2020-12-03 17:45:09 +0900
こういうの書いた人が宣伝してくれてええんですよ！（宣伝しようと思っていたら私に先を越された、というケースもたまにあるようですが:sweat_smile:
takenobu.hs
2020-12-05 20:45:26 +0900
GHC2021拡張について、ghc steering committeeによる議論＆投票の中間状況(随時変更)です。
最終的に委員投票の2/3以上となった拡張が`GHC2021`拡張に入る方向です:haskell:
https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-ghc2021.rst
committeeによる議論状況はこちら。
https://mail.haskell.org/pipermail/ghc-steering-committee/2020-December/date.html
yusuken_
2020-12-08 15:00:40 +0900
@yusuken_ has joined the channel
fumieval
2020-12-09 21:42:09 +0900
https://www.snoyman.com/blog/2020/12/haskell-bad-parts-3 一部を除いて頷きすぎて首がもげるかと思いました。
• -Wallにしても有効にされない警告がいくつもある
• 標準ライブラリが小さいのでたくさんのパッケージをコンパイルする必要がある
• ByteStringと互換性のないText専用のビルダーがあるなど、textパッケージの抱える問題
• 未だにエコシステムがStringから脱却できていない
• ストリーミングライブラリではなくLazy ByteStringが使われている
• モジュール名が長く、qualified importするとさらに冗長になる
igrep
2020-12-09 21:53:03 +0900
Lazy ByteStringやLazy Textは楽だし使っちゃうなー。
2020-12-09 21:54:17 +0900
conduitとか結構難しいですからね…
しかしストリームしようとすると結局必要なので頑張る必要があるんですが
kazu
2020-12-10 13:30:32 +0900
読んでたら、僕のツイートが出てきて焦った。。。
2020-12-10 23:33:31 +0900
@ has joined the channel
kazu
2020-12-11 15:58:15 +0900
timeout って、catch が使われていると、挙動が変わるかもと思ってやったら、本当に変わってました。こわ。

haskell
> timeout 1000000 (takeMVar mvar)
Nothing
> timeout 1000000 (takeMVar mvar `catch` \(SomeException _) -> return ())
Just ()
> timeout 5000000 (takeMVar mvar `catch` \(SomeException e) -> throwIO e)
Nothing
> timeout 5000000 (takeMVar mvar `catch` \(SomeException e) -> throwIO (userError ""))

igrep
2020-12-11 16:44:38 +0900
そういうの避けるための https://hackage.haskell.org/package/safe-exceptions じゃないっすかね。safe-exceptionsなら timeout とかがだす非同期例外を catch しなくなるはずです。
eliza0x
2020-12-13 15:17:27 +0900
Haskellで型レベルCPUを定義して、その上で型レベルCコンパイラを動かそうとしたんですけどメモリをものすごく使うのでダメでした、残念
https://www.slideshare.net/mobile/SoheiYamaga/compile-time-type-level-c-compiler-this-may-indicate-out-of-memory
https://github.com/eliza0x/type-level-cpu https://github.com/eliza0x/elvm