Nagi being selftype is why the goals that Reo tries to give him (like reaching 300 million or becoming famous) dont work For Reo theyd work, because he gives value to things that usually have value as an worldtype. But that doesnt work for Nagi who follows his own set of values

I also think the worldtype vs selftype classification is why Nagi's praise falls on deaf ears. Nagi praises Reo according to what he himself values, but Reo is a worldtype who prioritises what the rest of the world values So "you literally changed my life" doesnt do much

Немножко подолбавшись в попытаках не тащить везде явный lifetime-параметр, я все-таки сумел родить подобие Curiously Recurring Template Pattern в Rust. Забавно, но выкинуть SelfType из параметров, не получается -- компилятор размеры вывести не может.

SelfType.js https://t.co/ctchyAuQiD

Is #SelfType will replace traditional #keyboard? #MachineVison #AI #ComputerVision #innovation #ML #MI #cool #innovation #Tech @MargaretSiegien @kuriharan @ReedAbend @mvollmer1 @enricomolinari @WorldTrendsInfo @RenatoMunari @pascal_bornet @HeinzVHoenen https://t.co/rTrwmWyLEJ

Thinking in refactoring my thesis to use modular component such as described in http://j.mp/mT7BD2 with selftype annotations and some cake!

hari ni tak twit sgt sbb terhibur dengan kawan2 alam maya ni, ada jer benda nk twit seolah2 hengpongg tuh selftype apa yang trfikir

selftypeか。

#scala で、classに対してselftypeを制限できるが、実用上の意味は？

@astr0n0tes hmm imo its better to study the types and selftype rather than use tests, but i did a google search and apparently ppl like this 1: https://t.co/aQGSIuU3A3 i think u took the truity one? which is notorious in the community 4 being innacurate

Mypy: is there some way to implement a 'SelfType' TypeVar? https://t.co/o1FD4bJBlz #mypy #python #python3x #types

I was gonna comment on something about the selftype/worldtype ego assignments for Nagi and Reo by copypasting from priv but I lost it

class Hoge {hoge => def h = hoge}で、a: Hogeにたいしてa.hするとHogeクラスが返ってくる。これがselftypeらしい。

そういえば、PPLは今年参加してないけど、SelfType Constructorsの話は、後で論文が公開されるなら読みたいなー。

Copypasting from priv Tbh Nagi not 100% believing others calling him a genius wasnt that surprising to me. Nagi always uses his own absurd criteria, rules and logic for everything, so others saying it wont convince him. Not just because he's selftype in Blue lock's psychology bs

何となく風の息づかいを感じるので念のため、継承でリスコフの置換原則を守ろうとしたら、少なくともisEqualToみたくselftypeを引数とするメソッドは禁止するしかないので、「継承でリスコフの置換原則」はそもそも制限つきでしか成り立たないです

@kgtkr HogeTrait { type Self <: HogeTrait } か HogeTrait[SelfType <: HogeTrait[_]] すれば……

good self-type example http://old.nabble.com/-scala--Selftype-example-td11384485.html #scala

@AcidTheTerrible see i fear i always get infp from the test but idk if i can selftype bc i dont understand myself