Top Tweets for #TAPLts

almost 2 years ago

これならは不定期で色々やる感じになってますが、今度は超ミニコンパイラ作ってみようの会をやる予定です。ゆるーくやってるので興味ある方は是非！ #TAPLts #TSKaigi

canalun @i_am_canalun

almost 2 years ago

#TSKaigi で #TAPLts が紹介してもらえてた！！ @pd1xx さんとやっているTAPLの勉強会で、最近はお休み期間なのですが、discordサーバーはいつでもやってます👶 型の情報交換をゆる〜〜くやったりやらなかったりしてます、どなたもぜひ！ (discordのリンクが↓にあります👶) https://t.co/nHH0mr3N8P

0

17

7

0

3K

0

4

1

0

708

canalun @i_am_canalun

almost 2 years ago

#TSKaigi で #TAPLts が紹介してもらえてた！！ @pd1xx さんとやっているTAPLの勉強会で、最近はお休み期間なのですが、discordサーバーはいつでもやってます👶 型の情報交換をゆる〜〜くやったりやらなかったりしてます、どなたもぜひ！ (discordのリンクが↓にあります👶) https://t.co/nHH0mr3N8P

0

17

7

0

3K

Masahiro Sakai @masahiro_sakai

about 2 years ago

先日の「カワるガワるTAPLカタるヨる」 #TAPLts で聞いた A Gentle Introduction to Semantic Subtyping を読んだ。型を集合で解釈して包含関係で部分型関係を定義する意味論的部分型は、構文的定義と比べ、様々な性質(例: 部分型関係の推移性)を煩雑な証明なしに自動的に満たすなどの利点がある一方、

1

15

2

7

2K

Masahiro Sakai @masahiro_sakai

over 2 years ago

あ、書いてる途中で Twitter がエラーになったせいで #TAPLts タグをつけるのを忘れてしまった…… ついでに、関連論文もう一本と @ytb_at_twt さんによるオススメ: https://t.co/jw3NGq1Z5A https://t.co/GADimJLCFA

0

2

0

0

344

Masahiro Sakai @masahiro_sakai

over 2 years ago

自分は値呼び向けにη変換したものも含めてYコンビネータと呼んでしまっていたけど、そういえばZコンビネータという名前もあるのだった。 #TAPLts

masahiro_sakai's tweet photo. 自分は値呼び向けにη変換したものも含めてYコンビネータと呼んでしまっていたけど、そういえばZコンビネータという名前もあるのだった。 #TAPLts https://t.co/UOdtPsCoQL

over 2 years ago

混乱した。今日のやつはZコンビネータだよね?

0

2

0

0

646

0

2

0

1

548

over 2 years ago

昨日のイベントの資料上げ忘れていたのでSpeaker Deckにアップロードしました #TAPLts https://t.co/q39AScvQEk

0

6

2

5

596

canalun @i_am_canalun

over 2 years ago

昨日の資料です👶 https://t.co/jipHGPAkHm #TAPLts #TAPL

0

10

2

0

645

Takeo Imai (bonotake) @bonotake

over 2 years ago

自分もTAPLで一番読んでほしい章は21章かなぁ原稿レビューしてて一番しんどかったけど一番楽しかったところ #TAPLts

Keigo Imai @keigoi

over 2 years ago

21章 (再帰型のメタ理論) はTSの再帰型の部分型付けをわかりたい人もぜひ… (同じようになっているかどうかは知らない) (セッション型の論文からたまに引用されてるのを見るね…) #TAPLts

0

3

0

0

1K

0

2

0

0

466

canalun @i_am_canalun

over 2 years ago

関数の引数と返り値の型の変性を、論理の仮定と結論の性質でつかみにいく発想！めちゃくちゃ腑に落ちました😭 #TAPLts

吉村優 ☕ YOSHIMURA Yuu

over 2 years ago

自分は引数側の型を論理の「仮定」とみなしての、仮定の強弱は全体の強弱と反転するみたいな理解をしていたけど、なるほどたしかに水流と考えることもできるのか👀 #TAPLts

0

6

0

1

971

0

2

0

0

503

Yusuke Endoh @mametter

over 2 years ago

「型システム入門」のイベント、『カワるガワるTAPLカタるヨる』に参加しました。どの発表もおもしろく、おもしろい人たちと話せてとても楽しい会でした。自分はTAPL翻訳時のエピソードを話したので、資料をあげておきます #TAPLts https://t.co/Ohvzwn95uF

1

157

52

68

20K

sititou70 @sititou70

over 2 years ago

ところで@mametter さんにサインを頼んだらいきなり紙面上でQuineをコーディングしだしたのはびっくりしました。そして帰ってからPCに入力して動かしてみたらホントに動くってどういうこと……？ #TAPLts

sititou70's tweet photo. ところで@mametter さんにサインを頼んだらいきなり紙面上でQuineをコーディングしだしたのはびっくりしました。そして帰ってからPCに入力して動かしてみたらホントに動くってどういうこと……？ #TAPLts https://t.co/bAeDuBmXN2

sititou70 @sititou70

over 2 years ago

#TAPLts で紙のTAPLに @mametter さん、@masahiro_sakai さん、@yoshihiro503 さんのサインを書いていただき、めっちゃ嬉しかったです。家宝にします。

0

6

0

0

2K

1

19

1

0

2K

sititou70 @sititou70

over 2 years ago

#TAPLts で紙のTAPLに @mametter さん、@masahiro_sakai さん、@yoshihiro503 さんのサインを書いていただき、めっちゃ嬉しかったです。家宝にします。

0

6

0

0

2K

over 2 years ago

本日の「カワるガワるTAPLカタるヨる」ですが、無事に終わりました😭 楽しかった〜。スピーカー、ゲストの皆さん、ありがとうございました！なお、会場に忘れ物っぽい灰色のパーカーがあったので心当たりがある方は＠i_am_canalun さんにご連絡下さい！ #TAPLts

1

7

0

0

560

ほっと @hotwatermorning

over 2 years ago

とても面白いイベントで参加できて良かったです！運営の皆さんありがとうございました！ #TAPLts

0

2

0

0

316

びしょ〜じょ @Nymphium

over 2 years ago

型システムやランタイムなどの話しまくれて楽しかったです😹 #TAPLts

0

4

0

0

310

over 2 years ago

#TAPLts 楽しかったですやはり一度しっかりTaPLを読み通したい気持ちが強くなってきた

0

4

0

0

1K

よんた @keita44_f4

over 2 years ago

型型した方々と久しぶりに会いわちゃわちゃした。参加者の方々とも話足りないくらいでしたわ〜。 #TAPLts

0

5

0

0

278

asa1984 @asa_high_ost

over 2 years ago

全部おもしろかった〜頑張ってTAPLを読破したい #TAPLts

0

5

0

0

339

はるぐち @haruguchiyuma

over 2 years ago

話面白かったー。読むたびに理解できるところ増えてきてRPG感あるんだよなー。 #TAPLts

0

4

0

0

319

over 2 years ago

TaPLの翻訳者が一同に集っているらしくてすごい #TAPLts

0

5

0

0

351

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users