02:55:49
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
#introduction
Hello! 👋
We are a non-profit international community where since 1994 our Members, staff and the public design and develop standards for the underlying protocols of the web.
Our focus: interoperability, security, privacy, web accessibility, internationalization.
With your help and our proven standards process based on fairness, openness, royalty-free, we make the Web work, for everyone.
We regularly publish highlights from our many work groups.
https://www.w3.org/Consortium/highlights/
W3C Strategic Highlights - April 2022
02:55:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
an illustration with 3 forms. on left, "centralized" of lines ending in dots all coming from one point, in middle "decentralized" with lines and dots connected but some coming out from different point; on right "distributed" lines and dots connected like a net or webs
02:56:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-06 02:01:20 s001@hazukiの投稿
s001_hazuki@fedibird.com
このアカウントは、notestockで公開設定になっていません。
02:57:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 02:56:53 松永紅葉の投稿
kouyoumatsunaga@pawoo.net
このアカウントは、notestockで公開設定になっていません。
07:30:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
タイムラインの人々の声によるとTwitterが研究室の学生共有サーバーみたいなノリで改修されているらしいな
07:35:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 07:34:18 千矢の投稿
karno@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
07:48:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 05:33:10 Eleventy 🎈 v3.0.0の投稿
eleventy@fosstodon.org
このアカウントは、notestockで公開設定になっていません。
07:49:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
09:27:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
09:51:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 09:39:56 Jim Rionの投稿
JimRion@bookwor.ms
このアカウントは、notestockで公開設定になっていません。
10:02:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 08:49:29 画眩の投稿
ggagen@pawoo.net
このアカウントは、notestockで公開設定になっていません。
10:02:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 08:49:31 画眩の投稿
ggagen@pawoo.net
このアカウントは、notestockで公開設定になっていません。
10:09:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 10:08:51 もんどの投稿
momdo@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
10:17:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ツイッタラー「今日は午後から大雨なのに川の中州でバーベキューやってる人たち」じみてきたな
10:20:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
“This is fine. I’m okay with the events that are unfolding currently. That’s okay, things are going to be okay.”
http://gunshowcomic.com/648
10:23:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
This is Fine Flame Stickers 3-Pack
10:32:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Twitterユーザー全員がTwitterユーザー全員と交流しているわけではないはずなので、Twitterが全世界の計算資源や通信網の50%以上を社内で保有しているのでもない限り、いい感じのfederationプロトコルを使って人々をいい感じに配置すればいい感じになりうる。どうやって？それは……
10:37:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 10:37:09 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
10:38:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
あのテスラとスペースXのイーロン・マスクでこうなのにomasanoriとかいうよくわからんやつに任せたらめちゃくちゃですよ
10:39:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 10:37:28 Urabe, Shyouhei.の投稿
shyouhei@configure.ac
このアカウントは、notestockで公開設定になっていません。
10:46:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 10:46:07 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
10:52:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
10:56:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
YAMAHAのエレキギターPACIFICAが品薄なのって『ぼっち・ざ・ろっく』の影響？（？？）
10:59:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-08 19:31:08 Akhil Varkeyの投稿
akhilvarkey@mastodon.social
このアカウントは、notestockで公開設定になっていません。
11:08:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@takayaki スマートフォンを分割払いで購入して完済するとクレジット履歴が残るので審査が通りやすくなるという話はときどき見かけます。
11:13:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 11:11:54 千矢の投稿
karno@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:13:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Twitterのおすすめタイムライン、"わからせ"に成功してるとマジで便利なんよね
11:13:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 11:12:59 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:15:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 11:15:31 あやふみの投稿
afm@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:18:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
11:20:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Blueskyはプロトコルをやっていっており、アプリのリリース時期は不明
11:35:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
11:40:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
NixOSで「システムにこのツールを入れる」なら/etc/nixos/configuration.nix、「このプロジェクトではこのツールを使う」というのはshell.nix、「このユーザーではこのツールを使う」ならnix-envでもできるけれどhome-managerを入れて~/.config/nixpkgs/home.nixで設定するのがおすすめ
11:47:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
システムのパッケージは22.11だけど特定のユーザーが自分で入れるツールはunstableから最新版を取ってくるみたいなこともnix-channelで可能
11:51:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 11:50:59 himanoaの投稿
himanoa@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:51:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 11:51:03 himanoaの投稿
himanoa@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:52:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Arch Linux上でNixを使ってみて合いそうならNixOSを導入するという手もありますよ
11:54:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Arch Linux じゃなくていいんだけど Arch Linux 並みにパッケージ更新が早いディストリがあんまりなくて…
11:56:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Repologyによれば、nixpkgs unstableの方がArch LinuxやAURよりも最新バージョンへの追随が行き届いているらしい。まあ、必ずしも最新版がいいとは限らないと私は思うけれど……。
https://repology.org/
11:59:01
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 09:27:31 Rob Whiting 📓の投稿
whitingx@mastodon.cloud
このアカウントは、notestockで公開設定になっていません。
12:01:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Repologyを見ると、nixpkgsはパッケージ数が多くてそのほとんどが最新版に追随しているがパッケージあたりのメンテナの人数が少ないことがわかる
12:03:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 12:00:11
あきょぜ（4.3.0a)の投稿
akyoz@plustodon.net
このアカウントは、notestockで公開設定になっていません。
12:04:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
『アステリズムに花束を』に掲載されているのでそれを買えばよさそう
12:04:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 10:19:25 Foone🏳️⚧️の投稿
foone@digipres.club
このアカウントは、notestockで公開設定になっていません。
12:26:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 12:19:14 Spiegel@予備系の投稿
spiegel@fedibird.com
このアカウントは、notestockで公開設定になっていません。
12:28:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 12:24:23 さK🍺の投稿
debugordie@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
12:28:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
12:33:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 12:30:30 ssig33の投稿
ssig33@misskey.io
このアカウントは、notestockで公開設定になっていません。
17:11:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
有線VRが快適に。ケーブルを頭上から配線する「ケーブル・ランニングワイヤ VR」が2月20日に発売
17:15:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Ivan Sutherlandが1960年代に作ったヘッドマウントディスプレイじゃん
Source: http://lavalle.pl/vr/hmd.html
1968年に作られた世界初のヘッドマウントディスプレイ。頭上に伸びる巨大な柱には頭の位置や方位を認識するためのセンサーが組み込まれており、ダモクレスの剣（The Sword of Damocles）とあだ名された。
Virtual Reality - LaValle
17:28:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:31:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 17:29:34 千矢の投稿
karno@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
17:40:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
pre-async/await 時代の非同期プログラミングとかもう考えられんな……
17:41:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
async/awaitが発明されなければプログラマがみんな継続を理解している世界になったかもしれないのに
17:41:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:56:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
現在のasyncはF# 1.0（2007）にコンピュテーション式とともに実装されたものに由来する。歴史的に見ると、asyncに相当する非同期計算の理論は1990年代にモナドや継続の文脈で研究されていた。また、F# にasyncが実装される経緯にはScalaのMartin Oderskyも関わっている。詳しくは以下の論文を参照。
The F# Asynchronous Programming Model | SpringerLink
https://link.springer.com/chapter/10.1007/978-3-642-18378-2_15
The early history of F# | Proceedings of the ACM on Programming Languages
https://dl.acm.org/doi/10.1145/3386325
The F# Asynchronous Programming Model
The early history of F# | Proceedings of the ACM on Programming Languages
18:02:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:04:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:01:52 ぜま
クラゲ丼鯖缶の投稿
yi0713@kurage.cc
このアカウントは、notestockで公開設定になっていません。
18:10:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
“The Early History of F#”はオープンアクセスなので、プログラミング言語に興味がある人はぜひ読んでほしい。理論と実践のギャップを埋め、現在のC#に影響を与えてきたF#というプログラミング言語とその歴史を知ることができる。
18:17:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:23:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:18:33 seibeの投稿
seibe@handon.club
このアカウントは、notestockで公開設定になっていません。
18:26:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Mastodonだけ話題になるよりActivityPubが話題になってくれとは思ってたけどMisskeyが話題になってmisskey.ioに人が殺到するのを見るとうーん、サービス名でしか話題にならんなぁ……って顔になる
18:27:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
まあ、ウェブサーバーを建てたい人にnginxじゃなくてHTTPに興味を持ってほしいと願っても厳しいものがあるんじゃないかなと思う
18:28:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:27:43 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:28:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:27:55 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:28:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:28:02 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:29:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:28:09 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:29:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:28:16 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:29:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:28:27 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:29:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:28:35 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:29:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:28:43 GrapheneOSの投稿
GrapheneOS@grapheneos.social
このアカウントは、notestockで公開設定になっていません。
18:29:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 05:08:59 Cloudflareの投稿
cloudflare@cloudflare.social
このアカウントは、notestockで公開設定になっていません。
18:32:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
AP で接続可能であることを表現するために URI Scheme を使う回きた？
18:32:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:36:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:34:17 azumabashi@misskey.azumabashi.devの投稿
azumabashi@misskey.azumabashi.dev
このアカウントは、notestockで公開設定になっていません。
18:36:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:35:22 Nakaya 🍥 [ @eniehack@akk2.eniehack.net へ移行中]の投稿
eniehack@akkoma.eniehack.net
18:38:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ActivityPubはgemini的ではないと思う
18:41:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:42:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:38:52 azumabashi@misskey.azumabashi.devの投稿
azumabashi@misskey.azumabashi.dev
このアカウントは、notestockで公開設定になっていません。
18:44:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:42:03 ピエロの人 in Pawooの投稿
nok_Pawoo@pawoo.net
このアカウントは、notestockで公開設定になっていません。
18:44:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
俺ら2017年組のにわかfediverse民としてもな
18:59:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 18:58:35 陽方龍🍀創作垢2の投稿
pyontamus@misskey.io
このアカウントは、notestockで公開設定になっていません。
19:07:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:10:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
cloudflare.socialを観測できてなかったんだけどなんでだろうと思ったらapplication/activity+jsonじゃなくてapplication/jsonの応答返してくるからだった。pleromaでcloudflare.socialのactivityの観測はできない了解！
19:16:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:17:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 19:06:26 まるめの投稿
malme@fedibird.com
このアカウントは、notestockで公開設定になっていません。
19:18:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:23:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 19:20:25 埼玉ギャル（仮）の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:23:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
digo.clubのウェブサイト作り全然やってない
19:26:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 19:25:24 ぷぅぷぅの投稿
pupu1366@mstdn.tamag.org
このアカウントは、notestockで公開設定になっていません。
19:27:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:27:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:29:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 17:02:32 O-157 新刊既刊通販中の投稿
kaiser@unkomaker.hostdon.ne.jp
このアカウントは、notestockで公開設定になっていません。
19:33:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 19:29:43 Kaede Fujisakiの投稿
psi@sabbat.hexe.net
このアカウントは、notestockで公開設定になっていません。
19:56:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 19:51:18 高菜しんの💪|∵💪|健全作家の投稿
synno@pawoo.net
このアカウントは、notestockで公開設定になっていません。
20:00:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 20:00:16 Masayuki Hattaの投稿
mhatta@mastodon.social
このアカウントは、notestockで公開設定になっていません。
20:58:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:00:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 21:00:21 Masayuki Hattaの投稿
mhatta@mastodon.social
このアカウントは、notestockで公開設定になっていません。
21:07:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:09:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Lemmyにオープンソース時代の/.のガワを載せるというのを夢見ている
21:13:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:14:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:15:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:17:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 21:15:31 Lachsrogenの投稿
ikuradon@drdr.club
このアカウントは、notestockで公開設定になっていません。
21:17:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 21:16:43 Lachsrogenの投稿
ikuradon@drdr.club
このアカウントは、notestockで公開設定になっていません。
21:19:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:21:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:22:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:24:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
FOSSな2ちゃんねる系掲示板のガワをLemmyに載せるのも考えたけれど、治安悪くなりそうな気がして……
21:34:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 21:32:57 a_kawashiro (Akira Kawata)の投稿
a_kawashiro@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:18:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:14:11 しなちくシステム【お乳搾り経験済み】の投稿
ThinaticSystem@honi.club
このアカウントは、notestockで公開設定になっていません。
22:18:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:16:58 しなちくシステム【お乳搾り経験済み】の投稿
ThinaticSystem@honi.club
このアカウントは、notestockで公開設定になっていません。
22:18:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:17:37 とがの投稿
five_seven@misskey.io
このアカウントは、notestockで公開設定になっていません。
22:19:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
コンビネーター系のプログラミング言語でもいいし、Forthのようなスタックベースのプログラミング言語にする手もありますね
22:46:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:44:58 さK🍺の投稿
debugordie@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:48:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
HM 推論はもう古いこれからは双方向型検査に乗せられて、Dunfield 先生の論文さらった結果
* そんなことは特にない
* HM type system に bidirectional typing 導入できるが、そこから algorithmic typing 構築しても Algorithm W と似たようなことすることにはなる
みたいな感想しか持てんかった
22:48:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
大体 bidirectional typing、bidirectional じゃなかったりするしな、type check と synthesize をいい感じに連動させてやっていこうぜってだけで、direction 自体は bi じゃなくてもいいわけだしな
22:48:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
後 directional typing と HM 推論、題材が System-F だからこそ比べられることが多そうだが、directional typing 自体は別に多相型専用というわけではなく、色々応用が効く型推論のモデル化手法だが、HM type system は多相型題材の場合に基礎とできる完成されたシステムなので、そもそも比較するものでもないという
22:48:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
HM 推論で扱える範囲は、そもそも推論モデル作らなくていいわけだから絶対 HM 推論の方が楽そうだな、そもそも directional typing は完成形を与えてくれるわけではなく、モデル化から考えるので難易度が高そう。ただ、確かに higher-rank poly とかに HM 推論を頑張って無理やり拡張するより、一度 directional typing の手法でモデル化して、algorithm 組み上げた方が筋は良さそう
22:53:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:54:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:56:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:48:32 てらモス🆓の投稿
termoshtt@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:56:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:49:53 てらモス🆓の投稿
termoshtt@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:58:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 22:57:44 斎藤ただしの投稿
tadd@best-friends.chat
このアカウントは、notestockで公開設定になっていません。
22:59:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
「今は時期が悪い、Pixel Tabletが発売されてその評判が固まるまで様子を見よう」
23:03:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 23:02:17 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
23:22:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 23:20:53 '; DELETE FROM users; --の投稿
boronology@social.penguinability.net
このアカウントは、notestockで公開設定になっていません。
23:23:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 07:32:50 neil 🍄の投稿
neil@social.coop
このアカウントは、notestockで公開設定になっていません。
23:40:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-09 23:36:36 もちゃ(あと-14.14Kg)の投稿
mot@mastodon.motcha.tech
このアカウントは、notestockで公開設定になっていません。
23:44:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
理論屋泥臭さ避けすぎてる感はまあ分かるが、System-F レベルになってくると、たまに value restriction / sub typing translation 入ってなくて soundness が意図せずぶっ壊れてる実装はあって、やっぱ理論も大事ですねとなる時はある
23:44:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
副作用と多相型は人類には早すぎるが、やっぱ必要な道具でもあるので厳しいんだよなあ
