12:14:31

やったー FFI で標準入力できたよー

12:15:10

readline-sync を包んだ

12:17:59

こうじゃ

12:18:07

PureScript わからない

12:20:29

整数以外を入れるとこう

12:22:39

do 記法わからない

12:23:21

聞くところによると >>= 演算子の糖衣構文らしいが

12:24:50

頭おかしくなって死んだ

12:27:26

とりあえず束縛演算子の糖衣構文だから <- の右辺はモナド函数でなければいけないらしい

12:29:15

だから,最後は return (pure) する必要があったんですね。

12:30:03
2020-05-23 12:29:44 ふぉーじ🍋の投稿 KY_fno@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:30:10

Z 軸があるだろ?

12:31:33
2020-05-23 12:31:07 ふぉーじ🍋の投稿 KY_fno@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:31:54
2020-05-23 12:31:15 ハッピーポメラニアンの投稿 imobatake@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:31:55
2020-05-23 12:31:49 ふぉーじ🍋の投稿 KY_fno@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:32:23

自家用車ドライバーは社会を支えていないという偏見やめろ

12:34:54
2020-05-23 12:33:56 厶二の投稿 muniel@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:34:56

「いつも車の中にいるのが業務なのでコンビニのトイレでも使わなかったら問答無用で漏らす方」に書き換えよう(提案)

12:35:35

舞台最高本当になってるのこーん🖐️………!?

12:35:42
2020-05-23 12:35:21 ナイハッピ(LTL圧縮くん)の投稿 asshukuLTL@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:37:58

@tai
実質的に届いたよ
今日受け取りに行く

12:39:47
2020-05-23 12:38:21 ナイハッピ(LTL圧縮くん)の投稿 asshukuLTL@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:42:03

こ,こんじたおる

12:43:33

「頻出するくせに本来はクソ面倒な書き方しないといけない処理」を簡潔に書けるようにした書き方のことだよ
プログラミング用語だよ
>糖衣構文

12:46:20
古代C言語の例

配列というシステムがあって,連続した数字をメモリ上に順番に値を入れれるんだけど,その 2 番目を取り出したいとき

*(array + 2)

と書かなきゃいけないのは直感的ではないので

array[2]

と書ける

12:46:51

これで array という配列の 2 番目の数字が取り出せる

12:47:37

いいぜ

12:48:56

たぬかる

12:49:25
2020-05-23 12:49:15 ラ・サングレ・デ・サンチョの投稿 wakame11Cthulhu@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:49:29

おはドナルド

12:51:37
ふと

PureScript の >>= 演算子は組み込みじゃないのにもとはその糖衣構文の do は組み込みなの面白いな

12:53:46
2020-05-23 12:53:35 コヨコヨの投稿 tokotokobanban@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

12:54:40

蛇フレンズ,ただのしっぽが生えた女の子にならないよう探検隊服などで帽子かぶってるわけなので多分代替要素を身につける

13:00:35

ツチノコがヘビかと言われるとそのぅ

13:12:44
2020-05-23 13:12:08 ꭉㄝ゛の投稿 4z@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

13:12:49

お,意外と早い

13:13:17

これでおうちボルテできるね

13:14:17
2020-05-23 13:14:05 さばさばくわがたかぶとむしの投稿 Sabataroto@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

13:14:52

朝食を朝に食べるのを守ってないじゃん

18:25:42

Effect (IO) モナド完全に理解した

18:26:41

Effect String は文字列じゃなく「文字列を得るルール(ルーチン)」を保持しているんやね

18:28:08

モナドはプログラマブルセミコロンなので中身を気にすることなくルーチンをつなげる方法を提供できるらしい

18:28:15
2020-05-23 18:28:04 ミキシング博士の投稿 atsushi015@fedibird.com

このアカウントは、notestockで公開設定になっていません。

18:28:30

「蚊」のバリエーション的な

18:30:41
2020-05-23 18:30:26 ミキシング博士の投稿 atsushi015@fedibird.com

このアカウントは、notestockで公開設定になっていません。

18:36:55

こういう図を書かれると「取り出している」ように見えるけど実際には「標準入力から文字列を得るルーチン」と「文字列が指すファイルの中身の文字列を得るルーチン」と「文字列を標準出力に表示するルーチン」を組み合わせることで「標準入力から得た文字列が指すファイルの中身を標準出力に表示するルーチン」を作ってるだけなんだね

どんな文字列かは気にしないので計算の上では副作用とか関係ないわけです

adit.io/posts/2013-04-17-funct

18:38:34
2020-05-23 18:38:10 望月🌕円香の投稿 mt_madoka@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

18:38:46

モナドは関数合成の抽象化,一理ある

18:40:28

ogiwara @designpatterngf (2018/05/16 23:24:41) 「変数ってズバリ何?」「箱」 「オブジェクトは?」「箱」 「モナドは?」「箱」 「パッケージは?」「箱」 「名前空間は?」「箱」 twitter.com/designpatterngf/st

18:40:59

プログラムは箱だった…?

18:41:49

風邪の一部になれば収束よ

18:42:54

襲う~~!?

18:43:12
2020-05-23 18:42:36 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

18:43:33

風邪の特効薬,事実上の万病への薬なのでそれはそう

18:44:54

do 記法で手続きっぽくかけるって喜んでるとワケワカメになって死ぬので早めに >>= 演算子も教えるべき

18:45:47

すべてがわかる……

18:47:55
2020-05-23 18:47:24 でかちちきつねの投稿 MikadoBlast75@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

18:47:59

おかえりなさい

18:48:05

無限車なに

18:49:45

たぬかる

18:54:47

ブラジルレアルの為替情報が流れる LTL なに

19:12:39
2020-05-23 19:12:09 緑茶の投稿 MPD_bousai@mstdn.jp

このアカウントは、notestockで公開設定になっていません。

19:12:50

国会とか知らないけど全員抱いたぜ

19:13:20
2020-05-23 19:12:51 ミキシング博士の投稿 atsushi015@fedibird.com

このアカウントは、notestockで公開設定になっていません。

19:15:09
2020-05-23 19:14:50 リリ​:white_pelican:​​の投稿 ririel_kfp@mstdn.kemono-friends.info

ドラッグストアで見かけたからどうなのよと思ってググったら尼で2倍額で転売されていたので即購入。量が少ないから切り札として持っとこう。アライさんが頼もしく見える。

19:15:18

謎のアライさん

19:15:43

:araisan:​ 別にアライさんは手とか洗ってるわけじゃないのだ?

19:16:12
2020-05-23 19:16:06 rapidexpの投稿 rapidexp@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

19:16:23

ネ版自己紹介だ…

19:18:23
2020-05-23 19:18:19 リリ​:white_pelican:​​の投稿 ririel_kfp@mstdn.kemono-friends.info

:araisan:​ シーッなのだ…

19:21:30
2020-05-23 19:21:15 リリ​:white_pelican:​​の投稿 ririel_kfp@mstdn.kemono-friends.info

なお公式図鑑台詞なので3にもしっかり記載されてます

19:21:39

受け継がれる意思じゃん

19:26:27

主たる神は造物主なので偉いみたいな風潮あるけど,俺らが作ったプログラムがバグで狂ったら悪いのは俺らなんだから神もそうあるべきだと思う

19:27:10
2020-05-23 19:26:51 なによ〜!の投稿 naniyo_caracal@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

19:32:18

おうかさんわしゃる

19:33:38

わしゃわしゃー

19:38:24

じゃあおうかさんとあそぼう

19:39:05
2020-05-23 19:38:59 【ワル】赤道🍁桜花†の投稿 sekidou_ouka@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

19:39:16

クソゲーハンター桜花さんじゃん

19:42:59

ミリもかすってねえ…

19:43:55
2020-05-23 19:43:37 リビアヤマネコの投稿 halmatch@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

19:44:10

現金を失うやめろ

19:44:50

ロストビーフ

19:46:01

宵越しの金,月単位で給与が出る現代ではあまりにも敷居が高い

19:50:00

skeb は難儀な性癖持ちが喜ぶ仕組み

19:55:42

チョコミントもんじゃはもんじゃって言われるからあれだけどクレープの一種みたいなもんだ

19:59:14

いまでもしばしば RT されるやつ

twitter.com/BlueRayi/status/60

20:00:46
2020-05-23 19:59:52 でかちちきつねの投稿 MikadoBlast75@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

20:00:53

宣伝ぶら下げるか

20:03:56
2020-05-23 20:03:48 厶二の投稿 muniel@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

20:04:21

ほか三人よりは無名だけど頭おかしいので俺推薦枠になったラマヌジャン

20:05:08
2020-05-23 20:04:47 厶二の投稿 muniel@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

20:09:19
2020-05-23 20:07:40 リリ​:white_pelican:​​の投稿 ririel_kfp@mstdn.kemono-friends.info

ブッ飛んでるよなあインド人

20:18:20
2020-05-23 20:18:09 湯船がめちゃんこ浅いの投稿 korwan@mstdn.kemono-friends.info

このアカウントは、notestockで公開設定になっていません。

20:23:02

どうでしょう新作見てる