Zeitpunkt Nutzer Delta Tröts TNR Titel Version maxTL Do 11.07.2024 00:00:00 191.520 0 9.151.853 47,8 Mastodon 4.3.0... 500 Mi 10.07.2024 00:00:02 191.520 -1 9.143.378 47,7 Mastodon 4.3.0... 500 Di 09.07.2024 00:00:00 191.521 -19 9.133.920 47,7 Mastodon 4.3.0... 500 Mo 08.07.2024 00:00:04 191.540 +1 9.125.263 47,6 Mastodon 4.3.0... 500 So 07.07.2024 00:00:02 191.539 -34 9.116.590 47,6 Mastodon 4.3.0... 500 Sa 06.07.2024 00:00:02 191.573 -2 9.109.015 47,5 Mastodon 4.3.0... 500 Fr 05.07.2024 00:00:04 191.575 -2 9.101.575 47,5 Mastodon 4.3.0... 500 Do 04.07.2024 00:00:00 191.577 -2 9.092.066 47,5 Mastodon 4.3.0... 500 Mi 03.07.2024 00:00:00 191.579 -2 9.082.513 47,4 Mastodon 4.3.0... 500 Di 02.07.2024 00:00:03 191.581 0 9.073.920 47,4 Mastodon 4.3.0... 500
Sebastian Graf (@sgraf) · 04/2022 · Tröts: 70 · Folger: 86
Do 11.07.2024 11:22
IMO, (2) is the more fitting meaning of "logical relation"; it says that if σ1 satisfies R and σ1 -> σ2 then σ2 satisfies R. The unary case is the "preservation lemma" of type systems.
It just so happens that combining (1) with (2) is a huge success, in particular if you track higher-order mutable state as a world index to R with special treatment in (1).
E.g. a world is associated to funs `a -> b`, not to `a` and `b` separately. which is why the parametricity doesn't work.
[Öffentlich] Antw.: 0 Wtrl.: 0 Fav.: 0 · via Web