~/talk

Invertible Programs

Talkat ScalaIO 2019 · 2019-10-29..10-31· [compilers-and-language-design]
links:none on file
slides:none on file

parserz v0.2 claims a working library that runs parsers both ways so code converts to AST and prints back after transformations, with a single-line public interface and zero dependencies. it supports state and error channels, emits compiler-style positions, can generate a BNF-like description, and enables automatic source migration of stored programs. examples include turning program text into structures and back and even getting a web client for free from a server parser.

AI-written summary · about

  1. 0:00Introduction
  2. 1:15Background
  3. 3:44Invertible Programs
  4. 9:30Parsers
  5. 12:44Application of invertible
  6. 13:56One line of code
  7. 15:28Grammar
  8. 17:26Free encoding
  9. 18:55Functions
  10. 21:44Example
  11. 26:13Parser
  12. 27:14Comments
  13. 29:45Stateful
  14. 30:52Awesome Scholar
  15. 31:42Why Invertible
  16. 34:17Generality
  17. 37:59Questions
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.