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
I guess when I said ‘affordance’ I think I was meaning that you can sort of use types to carve out a space of possible positions/states/configurations that something can be in? And also trying to capture the documentation aspect of a types too?
2
1
But yeah I haven't really thought about it too carefully haha. Need to look back at the Design of Everyday Things again
1
1
But yeah thinking about how you use a specific design of handles on a door to both communicate how something is intended to be used, and sometimes ensure that it is used in that way (not providing handles when you don't want people to pull)