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