Teaching Compilers Backward

• TablaM

  151 183 0.0 Rust

  The practical relational programing language for data-oriented applications

  

Interesting, this is how I actually make progres building my own lang in the side (https://tablam.org).

I discover "early" that parsing will be at mercy of each change in direction on the internals, making a costing rewrite each time. Is like premature, aimless, unit-testing, where the cost of testing dominate the actual code to write.

So, eventually I split my efforts in 2: On the side I just write programs in the imaginary syntax and change it even in each line.

But the whole action was from AST->Execution. I don't bother to parsing until very late in the game, and I think I could have deferred even more.

This is not because I believe the syntax "don't matter", I think the opposite!, but you can't know which syntax its the best until you nail the semantics. If the parsing/syntax is introduced too early you could going backwards to support THAT syntax bolted on the semantics, instead of left the semantics guide you.

ie: Is like UX/UI: If the program is not well defined, the UI will distort it.

• lang

  1 - -

And you need the gazillion things on top of a grammar. Error recovery, IDE, language server, formatter, all the memory bugs, all the semantics that's not described in a formal language (and you can't auto-generate code to check or request it), all the binding generators for other languages and linking conventions... Ugh I wish we had a standard tool for that, like a much much much expanded yacc + interpreter generator + batteries included... There's something with with libadalang and its language-agnostic tooling langkit (https://github.com/AdaCore/lang kit) that is very seducing (write once generate much code).

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• awesome-compilers

  7 8,480 0.0

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

• tweetnacl

  2 21 0.0 C

Of course. There are many. Any binary format. Any ASN.1 format. DEF and LEF for hardware descriptions. The output of mysqldump.

Here's another example:

https://github.com/rongarret/tweetnacl/blob/master/ratchet.l...

starting at line 82. (That's one that I designed.)

Suggest a related project