22:59:35
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
22:59:17
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
21:31:20
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
21:19:24
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
た、確かに…… 👀 年金受給が始まるとマネーフォワードはどう連携するのかな?
21:18:57
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
21:15:14
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 20:22:44 eqkry (experimental server)の投稿
eqkry@waq.anqou.net
このアカウントは、notestockで公開設定になっていません。
21:15:03
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-09 20:19:53 ずいぞう☕🦜の投稿
zuizo@misskey.design
このアカウントは、notestockで公開設定になっていません。
21:14:40
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 20:44:27 マキオの投稿
nekodaisukimko@misskey.io
このアカウントは、notestockで公開設定になっていません。
21:14:39
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 20:44:27 マキオの投稿
nekodaisukimko@misskey.io
このアカウントは、notestockで公開設定になっていません。
21:14:03
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 10:26:43 マキオの投稿
nekodaisukimko@misskey.io
このアカウントは、notestockで公開設定になっていません。
21:13:47
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 18:51:32 あかあか

の投稿
RedRed@misskey.io
このアカウントは、notestockで公開設定になっていません。
21:04:31
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
@opaupafz2 「IOアクションは何度評価しても『IOアクションの実行』にはならない」
Yes、そうです!
putStrLn "hello" という式はあくまで「『"hello" を出力する』という手順が記されたデータ」で、何度評価しても「手順が記されたデータ」です
そのデータに main という特殊な名前を付けるとランタイムがその手順にしたがって実行してくれます
プログラムの意味としてはそんな感じになってます
後半については、正格評価で IO モナドの書き味は何も変わらないと思います
蛇足すると Haskell を調べてると「遅延 IO」というのが見つかると思いますが、これは Haskell が IO にモナドを採用する前の遺産なので気にしなくていいです
21:03:28
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
ずっと入札なしで延長されてたヤフオクが入札されてて見てなかった ちょっと悔しい
20:33:18
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
19:47:48
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
17:54:39
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 17:52:19 などり(修行中の投稿
mohumohu5656@pawoo.net
このアカウントは、notestockで公開設定になっていません。
17:26:40
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
154.6円 USD 高いな~ タイムセールしないかな~
16:27:04
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
15:49:11
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-15 03:20:37 キャーさんの投稿
gogo80000v@misskey.io
このアカウントは、notestockで公開設定になっていません。
14:29:10
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
13:29:33
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-16 19:19:05 K.Shirakataの投稿
argrath@mastodon.social
このアカウントは、notestockで公開設定になっていません。
13:19:40
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
Daniel Mauleón on Instagram: "Richard Burns & Subaru Impreza S7 WRC 2001 (Bugeye) The Amazing Richard Burns and @robertreidwrc (“You''re the champion of the world!”) won the 2001 World Rally Championship driving a Subaru Impreza. This is my small tribute. My uncles Juan and Julio Mauleón went together to see this Rally (GB 2001) and enjoyed an incredible experience. The sound is from: Lehman Keen (2002 Subaru WRC car lunch break for donuts| YouTube) . . . @subarumotorsportsusa @subaru_usa @subarues @subaruuk @subaru.jp @subaru.tecnica.international prodriveofficial @truesubiefanatics #subaru #subaruimpreza #subaruwrx #rally #wrc #racing #cars #viral"
13:13:33
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
@opaupafz2 遅延評価は必須じゃないですね do 構文を「評価」しても結果は IO アクションという「値」になるだけで、それを「実行」するのはソースコードの外のランタイムがおこないます
12:44:42
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
12:09:36
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 11:15:45 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:59:46
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
11:11:04
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
11:09:52
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
『狼と香辛料』24巻全部 Kindle Unlimited に入ってるんだ
11:07:12
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
10:52:51
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
10:41:38
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
10:41:21
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
10:24:16
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
10:19:53
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net
2024-04-17 10:09:23 有翼ペンギンの投稿
keorist@misskey.io
このアカウントは、notestockで公開設定になっていません。
10:15:21
kakkun61@技術書典 18 き10(6月1日)
@kakkun61@pawoo.net