12:14:31 @BlueRayi@mstdn.kemono-friends.info
icon

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

Attach image
12:15:10 @BlueRayi@mstdn.kemono-friends.info
icon

readline-sync を包んだ

12:17:59 @BlueRayi@mstdn.kemono-friends.info
icon

こうじゃ

Attach image
Attach image
12:18:07 @BlueRayi@mstdn.kemono-friends.info
icon

PureScript わからない

12:20:29 @BlueRayi@mstdn.kemono-friends.info
icon

整数以外を入れるとこう

Attach image
12:22:39 @BlueRayi@mstdn.kemono-friends.info
icon

do 記法わからない

12:23:21 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:24:50 @BlueRayi@mstdn.kemono-friends.info
icon

頭おかしくなって死んだ

Attach image
12:27:26 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:29:15 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

12:30:10 @BlueRayi@mstdn.kemono-friends.info
icon

Z 軸があるだろ?

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

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

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

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

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

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

12:32:23 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

12:34:56 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:35:35 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:35:42 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 12:35:21 いつ🌱保(LTL圧縮くん)の投稿 asshukuLTL@mstdn.kemono-friends.info
icon

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

12:37:58 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:39:47 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 12:38:21 いつ🌱保(LTL圧縮くん)の投稿 asshukuLTL@mstdn.kemono-friends.info
icon

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

12:42:03 @BlueRayi@mstdn.kemono-friends.info
icon

こ,こんじたおる

12:43:33 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:46:20 @BlueRayi@mstdn.kemono-friends.info
古代C言語の例
icon

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

*(array + 2)

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

array[2]

と書ける

12:46:51 @BlueRayi@mstdn.kemono-friends.info
icon

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

12:47:37 @BlueRayi@mstdn.kemono-friends.info
icon

いいぜ

12:48:56 @BlueRayi@mstdn.kemono-friends.info
icon

たぬかる

12:49:25 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 12:49:15 かけすちゃんおーばーどーずの投稿 wakame11Cthulhu@mstdn.kemono-friends.info
icon

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

12:49:29 @BlueRayi@mstdn.kemono-friends.info
icon

おはドナルド

12:51:37 @BlueRayi@mstdn.kemono-friends.info
ふと
icon

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

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

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

12:54:40 @BlueRayi@mstdn.kemono-friends.info
icon

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

13:00:35 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

13:12:49 @BlueRayi@mstdn.kemono-friends.info
icon

お,意外と早い

13:13:17 @BlueRayi@mstdn.kemono-friends.info
icon

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

13:14:17 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 13:14:05 絵をかけさばさばの投稿 Sabataroto@mstdn.kemono-friends.info
icon

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

13:14:52 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:25:42 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:26:41 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:28:08 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

18:28:30 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

18:36:55 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

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

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

18:38:46 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:40:28 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:40:59 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:41:49 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:42:54 @BlueRayi@mstdn.kemono-friends.info
icon

襲う~~!?

18:43:12 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 18:42:36 ナイスパンチャ🍁こじーの投稿 kossie@mstdn.kemono-friends.info
icon

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

18:43:33 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:44:54 @BlueRayi@mstdn.kemono-friends.info
icon

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

18:45:47 @BlueRayi@mstdn.kemono-friends.info
icon

すべてがわかる……

Attach image
18:47:55 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 18:47:24 ぎんちちの投稿 MikadoBlast75@mstdn.kemono-friends.info
icon

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

18:47:59 @BlueRayi@mstdn.kemono-friends.info
icon

おかえりなさい

18:48:05 @BlueRayi@mstdn.kemono-friends.info
icon

無限車なに

18:49:45 @BlueRayi@mstdn.kemono-friends.info
icon

たぬかる

18:54:47 @BlueRayi@mstdn.kemono-friends.info
icon

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

19:12:39 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 19:12:09 緑茶の投稿 MPD_bousai@mstdn.jp
icon

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

19:12:50 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

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

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

Attach image
19:15:18 @BlueRayi@mstdn.kemono-friends.info
icon

謎のアライさん

19:15:43 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

19:16:23 @BlueRayi@mstdn.kemono-friends.info
icon

ネ版自己紹介だ…

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

:araisan:​ シーッなのだ…

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

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

Attach image
19:21:39 @BlueRayi@mstdn.kemono-friends.info
icon

受け継がれる意思じゃん

19:26:27 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

19:32:18 @BlueRayi@mstdn.kemono-friends.info
icon

おうかさんわしゃる

19:33:38 @BlueRayi@mstdn.kemono-friends.info
icon

わしゃわしゃー

19:38:24 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

19:39:16 @BlueRayi@mstdn.kemono-friends.info
icon

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

19:42:59 @BlueRayi@mstdn.kemono-friends.info
icon

ミリもかすってねえ…

19:43:55 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 19:43:37 🌱保健室登校の投稿 halmatch@mstdn.kemono-friends.info
icon

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

19:44:10 @BlueRayi@mstdn.kemono-friends.info
icon

現金を失うやめろ

19:44:50 @BlueRayi@mstdn.kemono-friends.info
icon

ロストビーフ

19:46:01 @BlueRayi@mstdn.kemono-friends.info
icon

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

19:50:00 @BlueRayi@mstdn.kemono-friends.info
icon

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

19:55:42 @BlueRayi@mstdn.kemono-friends.info
icon

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

19:59:14 @BlueRayi@mstdn.kemono-friends.info
icon

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

twitter.com/BlueRayi/status/60

20:00:46 @BlueRayi@mstdn.kemono-friends.info
2020-05-23 19:59:52 ぎんちちの投稿 MikadoBlast75@mstdn.kemono-friends.info
icon

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

20:00:53 @BlueRayi@mstdn.kemono-friends.info
icon

宣伝ぶら下げるか

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

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

20:04:21 @BlueRayi@mstdn.kemono-friends.info
icon

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

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

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

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

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

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

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

20:23:02 @BlueRayi@mstdn.kemono-friends.info
icon

どうでしょう新作見てる