04:58:50 @cormojs@nayukana.info
icon

起きた

05:25:17 @cormojs@nayukana.info
icon

あれ

05:39:39 @cormojs@nayukana.info
icon

type State s r = s -> (r, s)
bind :: State s a -> (a -> State s b) -> State s b
とすれば
bind sa func = \s -> func (fst (sa s))
加えて
return :: a -> State r a
return a = \s -> (a, s)
を付ければめでたくモナド

05:43:13 @cormojs@nayukana.info
icon

これってnewtypeしなくてもいいんだっけ……まあいいや…‥

06:00:29 @cormojs@nayukana.info
icon

通知飛んできた人を軽率にフォロー、🐦だとやらないんですが🐘だとそれ以外に他ユーザとの出会いがないんですね

06:00:47 @cormojs@nayukana.info
icon

いや連合とかあるけども

06:01:40 @cormojs@nayukana.info
icon

Stateモナドは難しいのでMaybeモナドあたりから始めるのが一番良いと思います。

06:01:52 @cormojs@nayukana.info
icon

一番(?)

06:03:51 @cormojs@nayukana.info
icon

概念的にモナドが非常にしっくりくる場面として非同期操作を繋いでいく(JSでいうPromiseやJavaでいうFuture)があります

06:06:24 @cormojs@nayukana.info
icon

TwitterだとAPI limitが気になるがMastodonだとそれ以前に鯖缶への配慮が発生する

06:43:19 @cormojs@nayukana.info
2018-01-28 06:24:56 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

色々ぐぐって読んでるけど、オレンジがなんか作る場合、ぐちゃぐちゃに試作してる時は状態は外に持っていて清書する時は状態を中に持つようになるみたいな感じになるけど、その逆をするみたいでなんか・・・なんだろう><;

06:43:20 @cormojs@nayukana.info
2018-01-28 06:27:33 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

完全に主観で感覚でしかないけど、電子回路で言う所の「ブレッドボードで試作してから本番の機械の回路を作る」みたいなのを逆に、「完成品の機械(オブジェクト指向的?><;)は正しくないのでブレッドボードで作りましょう」みたいに感じる><;

06:44:40 @cormojs@nayukana.info
icon

OOとFPの対立みたいに見えるけどポピュラーなOO言語の機能セットとポピュラーなFP言語の機能セットとのギャップだと思いますね

06:48:41 @cormojs@nayukana.info
icon

Haskellは一見すると継承と隠蔽がなくてかつイミュータブル強制なのでそのギャップがあるんだけど、よくよく考えるとイミュータブルなオブジェクトはJavaでも普通に書けるんですね。

06:53:33 @cormojs@nayukana.info
icon

SMLやOCamlなどは参照が使えるしF#やScalaはその上private指定までできるので実際にはHaskellのような極端な言語は少ないかと。

11:58:13 @cormojs@nayukana.info
icon

ぐすくま卿謎の奇病マジ!?!?!?!?!?誕生日近いとかない???大丈夫?????

12:00:38 @cormojs@nayukana.info
icon

XML吐くのにVue.jsみたいなの使えんかなあ

12:33:15 @cormojs@nayukana.info
icon

@osapon いきなりすいません。おさぽんさん作の「フォローリンク」のソースを見てて気づいたんですが、これは自鯖にキャッシュ持ってやってるんでしょうか。自分も同じような事しようとして鯖への負担が気になっていて……

12:43:23 @cormojs@nayukana.info
icon

@osapon 参考になります🙏

14:45:55 @cormojs@nayukana.info
icon

アイヌには「訳に立つ優れた道具にもカムイが宿っている」というカムイ観があったと記憶してるんですが、これって最近のおたくがよく使う「はさみ、ものが切れるので神」みたいな宗教観なんだろうか?

14:48:38 @cormojs@nayukana.info
icon

スト魔女2期6話ンカムイに感謝

17:23:16 @cormojs@nayukana.info
icon

なゆかなはconohaです

21:08:19 @cormojs@nayukana.info
icon

フルコーラス出たのか

21:44:06 @cormojs@nayukana.info
icon

速報 やる気がログアウト

21:44:17 @cormojs@nayukana.info
icon

短い命であった

22:35:41 @cormojs@nayukana.info
icon

こんさん、インスタンス建てましょう

23:14:11 @cormojs@nayukana.info
icon

割りと真面目な話、良い百合作品を見るとジェンダーがボロボロになる

11:49:01 @cormojs@nayukana.info
icon

ふと思い立って新規登録の設定を変更して「サーバ内のユーザであれば誰でも招待リンクを作成できる」にしておいたので誰かをMastodonに誘導したいけど適切なサーバが見つからないという場合に使ってください

11:56:10 @cormojs@nayukana.info
icon

末代鯖に浸かりすぎて自鯖(なゆかな)に顔出さなくて申し訳ないんですけど精神が安定していて外向きになっているという事だと思ってください……言い訳ですが……

11:58:25 @cormojs@nayukana.info
icon

普段の用途では末代で事足りるし便利だし末代の方がちゃんとメンテされていると思ってるからなんですけど、それはそれとしていざという時に自分の不可侵の領域は常に必要なので出来る限りなゆかなは維持されます。

12:10:38 @cormojs@nayukana.info
icon

一回で良いからDB等のバックアップ取らないとなあ

12:15:26 @cormojs@nayukana.info
icon

バックアップ取るためのストレージの余裕がないのでなんとかしてConoHaの設定から別のストレージをアタッチしてやる必要があるんですね。

23:32:37 @cormojs@nayukana.info
icon

常に「過去の方が現在よりも闇に満ちている」と暗示をかけて生きている

22:13:19 @cormojs@nayukana.info
2021-01-28 18:39:20 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

22:13:21 @cormojs@nayukana.info
2021-01-28 18:36:23 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

09:42:27 @cormojs@nayukana.info
icon

@aqua_cat 江戸川区はメティらしいですよ
r.gnavi.co.jp/g-interview/entr

Web site image
インド料理に欠かせない野菜「メティ」が江戸川区で作られている
10:32:59 @cormojs@nayukana.info
2022-01-28 10:32:41 :icon_short_short_mewlme:の投稿 mewl@mewl.me
icon

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

18:25:09 @cormojs@nayukana.info
2022-01-28 18:24:45 ぐすくま@わかりみの投稿 guskma@abyss.fun
icon

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

11:21:59 @cormojs@nayukana.info
icon

@ikka_yachi アイカツどうでしたか

19:48:54 @cormojs@nayukana.info
icon

PS5、4Kと60fpsのゲーミング環境が大きい

19:53:38 @cormojs@nayukana.info
icon

PS5でやるべきゲームというとReturnalはオススメ

19:55:26 @cormojs@nayukana.info
icon

デモンズリメイクもPS5専用だけどこれはまあ

08:33:33 @cormojs@nayukana.info
icon

ガバリニチアサ

08:34:37 @cormojs@nayukana.info
icon

ダイジャーグ

08:37:10 @cormojs@nayukana.info
icon

挿入歌来た

08:41:24 @cormojs@nayukana.info
icon

すんなりやられてて草

08:50:49 @cormojs@nayukana.info
icon

あ~~~

08:58:04 @cormojs@nayukana.info
icon

新しいプリキュア「こんばんわんわん!」

09:04:20 @cormojs@nayukana.info
icon

どこいな

10:13:33 @cormojs@nayukana.info
icon

そういえばINTERNET OVERDOSEってSpotifyでExplicitついてないけどええんかいな

10:16:53 @cormojs@nayukana.info
icon

@204504bySE たしかに

13:12:29 @cormojs@nayukana.info
2024-01-28 13:10:07 久々豆の投稿 cuckoo_s_pint@misskey.io
icon

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

17:17:09 @cormojs@nayukana.info
icon

サイバーパンク: エッジランナーズを見始めました