My student @redmp is interested in efficient runtimes for pure functional languages. Anyone have suggestions for people working in this space (especially students and early-career folks) who I should ask to give a talk at our Languages, Systems and Data Seminar (https://lsd.ucsc.edu/lsd-seminar/2023wi/) this spring?
@elfprince13 @redmp If you're interested in giving a talk sometime, you can nominate yourself here! https://docs.google.com/forms/d/e/1FAIpQLSdcNZYuhjjjuFy0DyAQx5WB63dbLfE9DvgZtS7EEshAfH8nNA/viewform
@elfprince13 @redmp Was this work more on the compiler side or the runtime side or both?
@redmp @lindsey library / runtime side, but there would definitely be some advantages to integrating it at the language level. My biggest annoyance is that Scala/Dotty’s macro facilities weren’t expressive enough to implement the transform automatically from a class definition, and the type signatures get pretty noisy when applying it by hand.
