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
Replying to
Oooh this sounds really interesting! Like, a ‘Featherweight Swift’ or something?
fwiw there is already a Featherweight Swift:
3
2
that said, Swift is maybe mg favorite imperative language so I'd be excited to see more engagement with it in PL academia!
1
2
Show replies