I'm also excited about two other students who will be helping me venture into new areas for once. I really want to branch out into some different stuff. They are.
Conversation
1. Looking at how we can use PL tools to help build prototypes from designs created by UX designers; I'm thinking some synthesis might go here, but we will see. They are first gathering intel into how existing tools work. The dream is to generate good enough code for a...
2
5
Oooh cool! Yeah yeah there could be some cool crossovers there. Curious to see what direction you go ing! In the past I've tried to explain types to designers as kind of like ‘systems of affordances’ (in the Don Norman sense) but I dunno if that is the best metaphor?
2
This is a super interesting question that I've been thinking about lately too. To me, I would say that types are not systems of affordances, but rather are the abstractions of the objects, or potentially collections of objects, needed in the design of the system.
3
1
Replying to
Something that also comes to mind is this cute book: