ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
I like how @deech explained this at a level I could understand and appreciate.
It shouldn't damage parametricity for types like (a -> a), since the type `a` would just be that, it's still completely opaque. And in general there's no way to make the type available at compile time.
Cool stuff. I always really enjoy his talks.
![[UNCUT]"ทนายตั้ม" แฉยับ! ความลับสวรรค์ ใครคือ "บิ๊กเทวดา" ของบอสพอล l คนดังนั่งเคลียร์ l 15 ต.ค. 67](http://i.ytimg.com/vi/ru9fpSaUwdA/mqdefault.jpg)
I like how @deech explained this at a level I could understand and appreciate.
It shouldn't damage parametricity for types like (a -> a), since the type `a` would just be that, it's still completely opaque. And in general there's no way to make the type available at compile time.
Cool stuff. I always really enjoy his talks.