情報更新

last update 03/29 09:49

ツイート検索

 

@Nymphium
サイトメニュー
Twilogユーザー検索

Twilog

 

@Nymphium

びしょ〜じょ@Nymphium

  • 551フォロー
  • 1,013フォロワー
  • 53リスト
Stats Twitter歴
4,511日(2011/11/23より)
ツイート数
56,230(12.4件/日)

ツイートの並び順 :

表示するツイート :

2019年10月31日(木)19 tweetssource

10月31日

@Nymphium

びしょ〜じょ@Nymphium

我々の認知世界に実在は無く、すべて人間は描かれるままに動くフィクションのキャラクターなので、アニメキャラのように考察されて好き嫌いが論じられ、アニメキャラのように消費される。

posted at 23:06:02

10月31日

@Nymphium

びしょ〜じょ@Nymphium

one-shot delimited continuation(詳細には多分shift0_one/reset0_one)ではなくasymmetric coroutineを採用する理由ってなんだろう、と思ったけど表現力が同じなので名前が違うだけと考えていいんですね。

posted at 19:07:47

10月31日

@Nymphium

びしょ〜じょ@Nymphium

P5R買ったら絶対遊んじゃって破滅するやんwと思って買ってなかったはずなのに、発送メールが届いてて完全にスタンド攻撃を受けている

posted at 16:08:38

10月31日

@Nymphium

びしょ〜じょ@Nymphium

関数型プログラミングに興味がある高校生が遠方から来るっちゅーのでほぉ〜んと思いながら研に来たら誰もいなくて草原

posted at 14:36:44

2019年10月30日(水)28 tweetssource

10月30日

@Nymphium

びしょ〜じょ@Nymphium

match e with
| K x y when x = z -> ...
| others

match e with
| K x y ->
if x = z then ...
else match e with others

みたいな感じでパワーやっていけばOK!!!

posted at 21:44:46

10月30日

@Nymphium

びしょ〜じょ@Nymphium

`match e with K x y when x = z -> ...` みたいなマッチャーにガードがある場合の操作的意味論ってどうやって定義すんねん、まあif式のsyntactic sugarとして定義するのが定石かしらね

posted at 21:14:14

10月30日

@Nymphium

びしょ〜じょ@Nymphium

『理想と恋』まじで全部が最高って4月から言ってるンすけど読んでない人類がいるのかよ、なんなら俺が買ったるから読め

posted at 20:05:27

10月30日

@Nymphium

びしょ〜じょ@Nymphium

default handlerの型付けが面倒そうということを考えていた。トップレベルとローカルでエフェクトの除去を別途おこなう必要があるな。変換も面倒で、グローバルにやる必要があるので手軽に埋め込むことはできない。eeffみたいなFreeでの埋め込みは最後にid handlerみたいなのつけるんでそれの拡張なら

posted at 12:50:43

10月30日

@Nymphium

びしょ〜じょ@Nymphium

小学生時代にタイムスリップして俺TUEEする夢を見た。兄が微粒子レベルで存在しない世界線だったのでギャン泣きしたところでメタ意識がそんなに泣くわけないとツッコミを入れたところ起きた。

posted at 12:19:48

2019年10月29日(火)13 tweetssource

10月29日

@Nymphium

びしょ〜じょ@Nymphium

型システムがあっても何も性質を保証しないなら意味ないんで切ってしまってOKになったんで論文が簡単になりましたuntyped language最高!一番好きなtyped languageです

posted at 21:58:14

10月29日

@Nymphium

びしょ〜じょ@Nymphium

『Revisiting coroutines』で論じてるモデル言語の操作的意味論が面白いと話題になったのでみんなも面白さ感じてほしい、クロージャを作らずに再帰関数まで定義する意外な方法に一同驚愕ですが分かってしまえばあたりまえ体操が始まってしまう。

posted at 21:43:10

10月29日

@Nymphium

びしょ〜じょ@Nymphium

Lwtを使えばasymmetric coroutinesが実装できるのかしら。だとしたらかなり無視できないがサラッと眺めただけでは分からなかった😭

posted at 13:46:00

10月29日

@Nymphium

びしょ〜じょ@Nymphium

『社畜さんと家出少女』1巻を読んだ。ただ与えるだけの存在ではないところとか友人ちゃんとかが最高ジャン…1巻最後で引きの強い終わり方をしたので続きが早く読みてンだわ

posted at 00:15:59

このページの先頭へ

×