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
developer to continue where the designer left off.
1
2. Looking at Swift from a formal PL perspective. They are going to be looking at the open-source compiler and extracting a core type system that can be studied.
2
5
Oooh this sounds really interesting! Like, a ‘Featherweight Swift’ or something?
1
2
fwiw there is already a Featherweight Swift:
3
2
ooh I should have known - PL peeps love their memes ahaha