ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
Structural types = Magic. This will open a lot of possibilities.
Is there link to the repot with the code?
Useful, but to be honest it started to become hard to follow when refinement types started. Still very appreciated though!
That is black magic, literally. This talk is for people who are already experts in macros...
Structural types = Magic. This will open a lot of possibilities.
Is there link to the repot with the code?
Useful, but to be honest it started to become hard to follow when refinement types started. Still very appreciated though!
That is black magic, literally. This talk is for people who are already experts in macros...