4 ms·
Regarding the referenced talk at Strange Loop, I have noticed that I have yet to see a good talk ever done in that style where dual-presenters oscillate back &
by pohl 12y ago
Regarding the referenced talk at Strange Loop, I have noticed that I have yet to see a good talk ever done in that style where dual-presenters oscillate back & forth. Especially when they're trying to elicit laughter. I did manage to enjoy the talk between cringeworthy moments, at least.
There is an interesting slide at around 21:00 where they show four quadrants that represent:
What do you get when you pass a Term to a Term? (a function)
What do you get when you pass a Type to a Type? (templates, generics, type variables)
What do you get when you pass a Term to a Type? (dependent types)
What do you get when you pass a Type to a Term? (inheritance, overloading)
It was an interesting slide. It manages to make dependent types seem like an essential missing piece for the sake of symmetry. I'm not sure I understand the last one, though: how is inheritance and/or overloading the act of passing a type to a term?
Does anybody know if this idea is explained better elsewhere?
- bazzargh 12y agoThat slide was a simplification of the Lambda Cube that they showed right at the end. That's probably a good starting point for better references: http://en.wikipedia.org/wiki/Lambda_cube http://en.wikipedia.org/wiki/Lambda_cube ... the wiki page isn't particularly approachable, but there's more detail if you follow the links.