You can also go completely over the top like I did for ICFP 16 and have your compiler talk to your slides over a socket for a mini ide in the slides...
Conversation
Hah, I liked that one! Where you showed off Pie? Looked super nice.
1
This one was Idris: m.youtube.com/watch?v=pqFgYC
2
1
Pie runs in-process, no need for the socket
1
Yeah, I thought that seemed extravagant! 😂
1
If you write your type checkers and slides in the same language, it makes that kind of trick easy!
1
Perhaps I need to make a Rust slideshow tool....
(nooo, this is the path to the dark side...)
1
A slideshow that talked to RLS would be about a day's work, I think. Maybe 3 if you've never done Racket GUI programming before.
1
Oh, this is for my own language, Pikelet, which is implemented in Rust. It does not yet have a language server, alas (on the roadmap, hehe). Will be wanting to do a presentation at some stage, so preparing tools before the last minute is always handy!
1
You should rig up the compiler to dump highlighting info. If it's fast enough, you can highlight slides or editors with a simple command line tool.
1
1
Oh lovely, that's a much better idea! Thanks! :)

