haskell-jp / random #90

kazu
2021-04-22 14:34:09 +0900
どうも buffer overrun を起こして、GCのデータを壊しているっぽい。
... Replies ...
igrep
2021-04-23 17:16:27 +0900
the new RecordDotSyntax and NoFieldSelectors language extensions, as well as Support for DuplicateRecordFields with PatternSynonyms.
これがやっぱでかいっすねー :open_mouth: あとAArch64のネイティブサポートもあるのか 。
matsubara0507
2021-04-23 17:23:49 +0900
9系の勉強会したいですね〜
2021-04-25 12:00:44 +0900
@ has joined the channel
Kenta Arai
2021-04-25 20:04:12 +0900
@Kenta Arai has joined the channel
千吉川
2021-04-25 20:28:15 +0900
@千吉川 has joined the channel
nobsun
2021-04-26 23:49:11 +0900
SICPの1版の2つある注釈のうち4章にある注釈には、実行中のAlgol システムでデータをスタックに積むときの音、というのがありますね。
The word thunk derives from the implementation of call-by-name in Algol 60. We do not know the origin of the name, but we have heard that it refers to the sound made by data when pushed onto the stack in a running Algol system.
igrep
2021-04-27 12:24:18 +0900
~以前こちらに投稿した~sydtestと同様に、Hspecを置き換えるテスティングフレームワークみたいです。こっちの方が大分高機能？
... Replies ...
autotaker
2021-04-29 21:36:27 +0900
RIO+HasパターンでのDIを書きやすくする
hierarchical-envというライブラリを作りました。
https://zenn.dev/autotaker/articles/hierarchical-env-tutorial
https://hackage.haskell.org/package/hierarchical-env
igrep
2021-04-30 18:08:06 +0900
「プログラミング Haskell」の原著者Grahum Hutton先生のノッティンガム大学におけるHaskellの講義動画が公開されたそうです。 :sugoi:
入門編: https://www.youtube.com/playlist?list=PLF1Z-APd9zK7usPMx3LGMZEHrECUGodd3
発展編: https://www.youtube.com/playlist?list=PLF1Z-APd9zK5uFc8FKr_di9bfsYv8-lbc
2021-04-30 19:43:29 +0900
@ has joined the channel
tomonaga
2021-05-01 02:27:14 +0900
@tomonaga has joined the channel
matsubara0507
2021-05-02 13:13:58 +0900
https://z.haskell.world/
前チラッと出てた zhaskell、スポンサーは EMQ なんですね。すごいなこの会社。
... Replies ...
autotaker
2021-05-03 16:33:49 +0900
GADT Syntaxで複数のコンストラクタをカンマ区切りで定義できるのに
初めて気付いたんですがこれって常識ですか？
（少なくともSyntaxHighlighterは知らなさそう）
hexirp
2021-05-03 17:10:34 +0900
知らなかった…… 型注釈の構文を流用しているからかな
... Replies ...
Pachiras Yokohama
2021-05-04 14:45:52 +0900
@Pachiras Yokohama has joined the channel
kakkun61
2021-05-06 15:01:23 +0900
GitHub Actions で README.md しか変更してないのに Haskell プログラムのリンクに失敗するようになった……
ぐぬぬ
何か環境が変わったんですかね？
https://github.com/kakkun61/static-site-generator-template/runs/2515531072?check_suite_focus=true
... Replies ...
Koki Sato
2021-05-09 10:31:39 +0900
@Koki Sato has joined the channel
2021-05-11 02:26:01 +0900
@ has joined the channel
igrep
2021-05-14 09:57:45 +0900
こちらで詳細な議論が。GHC Proposalとは別にHaskell Foundationのproposalができてたんですね。
https://github.com/haskellfoundation/tech-proposals/pull/1
hexirp
2021-05-15 10:55:16 +0900
コモナドで Java 的なオブジェクトを表現することを考えていたら、メソッドの型は this 型に対して共変でなければいけないという結論に達した。これは正しいのかな。
hexirp
2021-05-15 10:58:05 +0900
これに従うと、例えば Object.equals(Object) は存在してはいけない。 equals メソッドの実装は継承の時に厄介な問題になるので、その通りかもしれない。
TH
2021-05-16 00:11:19 +0900
@TH has joined the channel
takenobu.hs
2021-05-16 10:18:51 +0900
Redditからです。 (ハード！)リアリタイム用のDSLとフレームワークの"Copilot"です。
ドローンのテスト飛行のモニタ用に使ってるとのこと。NASAとGalois社が関係者のようです。
最終的には、C99のコードを出力する方式のようです。
Redditのコメントでは、Arduino用のpackageもあるみたいです。
https://www.reddit.com/r/haskell/comments/nd002g/ann_copilot_33/
igrep
2021-05-18 21:10:37 +0900
:sunny: 今年も Haskell.org 提案のアイディアがたくさんGSoCに採用されたようです :tada:
https://discourse.haskell.org/t/gsoc-accepted-projects-for-2021-announced/2524
juxtapose
2021-05-18 23:04:27 +0900
@juxtapose has joined the channel
Xosdy
2021-05-19 17:21:51 +0900
@Xosdy has joined the channel
kakkun61
2021-05-19 18:47:36 +0900
ghcups は ghcman に名前を変更します！
https://github.com/kakkun61/ghcups#-planned-breaking-changes
takenobu.hs
2021-05-20 21:31:32 +0900
IRCのfreenodeの件に関して、#ghcのチャネルの運用は既に libera.chatへ移っています。
https://twitter.com/bgamari/status/1395065974496317442
... Replies ...
ddd
2021-05-21 22:31:12 +0900
@ddd has joined the channel
takenobu.hs
2021-05-22 22:31:22 +0900
Redditから。 HaskellでTetrisです。短いコードで書かれてて、大学の課題成果とのこと。
Tetris project I made in Haskell
https://www.reddit.com/r/haskell/comments/nhue23/tetris_project_i_made_in_haskell/
GitHub: Ubspy/Haskell-Tetris
https://github.com/Ubspy/Haskell-Tetris
2021-05-23 07:47:58 +0900
@ has joined the channel
Kei
2021-05-25 21:49:27 +0900
@Kei has joined the channel
igrep
2021-05-26 11:06:19 +0900
NikeがHaskell製のライブラリーを出しているとは :athletic_shoe:
https://github.com/Nike-Inc/hal
（このライブラリー自体は恐らく以前も挙げたもので恐縮ですが、今更気づきました :man-bowing: ）
... Replies ...
T C
2021-05-26 20:12:24 +0900
@T C has joined the channel
hexirp
2021-05-27 01:50:04 +0900
i を j と誤字る系のバグ、見つけにくい上に型検査にも引っ掛からなくて辛い
... Replies ...
kakkun61
2021-05-27 01:59:17 +0900
「依存型やってくぞい」という GHC Steering Committee からのやる気宣言だ https://twitter.com/nomeata/status/1397456973633888260
kyoheiu
2021-05-27 14:27:36 +0900
@kyoheiu has joined the channel
takenobu.hs
2021-05-29 10:24:39 +0900
立て続けにRedditに募集の投稿が出てます。何のタイミングでしょうね。

Haskell job in the UK with Standard Chartered
https://www.reddit.com/r/haskell/comments/nn11sm/haskell_job_in_the_uk_with_standard_chartered/

[Job] SlyceData is Hiring Haskellers
https://www.reddit.com/r/haskell/comments/nn0x25/job_slycedata_is_hiring_haskellers/

[Job] Groq is hiring!
https://www.reddit.com/r/haskell/comments/nmh80n/job_groq_is_hiring/

[HIRING] SundaeSwap Protocol - Decentralized Exchange on Cardano Blockchain
https://www.reddit.com/r/haskell/comments/nmrlgp/hiring_sundaeswap_protocol_decentralized_exchange/

[Job] Heya r/haskell, Feeld is Hiring! (100% remote)
https://www.reddit.com/r/haskell/comments/nm3azc/job_heya_rhaskell_feeld_is_hiring_100_remote/
igrep
2021-05-30 19:43:21 +0900
こんな本でてたの全然知らなかった（忘れてるだけかも知れないけど） :open_mouth:
https://www.manning.com/books/haskell-in-depth?
... Replies ...
matsubara0507
2021-05-30 19:47:18 +0900
今日だけ割り引きしてる？
nseki
2021-06-01 13:18:14 +0900
@nseki has joined the channel
thanai
2021-06-02 11:39:08 +0900
@thanai has joined the channel
hakamatao
2021-06-03 15:46:55 +0900
@hakamatao has joined the channel