viluon / gitter-dark Goto Github PK

👋 Hi! I'm Andrew (or, at your option, Ondřej), and I hack on compilers.

Some thoughts to paint a picture:

• specifications are cool. A machine-readable specification is a specification which itself has a specification.
• I'm surprised I haven't come across compiler combinators, i.e. a DSL for specifying language semantics that lets you automatically derive a compiler and/or a language server. This would be a fun project to work on.
• if you care about (high-level) information, you have to stop throwing it away. This is why I love how Unison preserves typed ASTs and why I prefer the purely functional paradigm with static typing to conventional programming.
• objective complexity should play an important role in design decisions. This is why I consider the UNIX filesystem principle of a unified rooted tree to be cleaner than drive letter assignment and the reason why I dislike languages like C++.

Here's an overview of coding time for the past seven days spent in personal projects and coursework:

TypeScript   48 mins         ████████████████████▓░░░░   83.07 %
YAML         4 mins          ██░░░░░░░░░░░░░░░░░░░░░░░   08.48 %
TOML         3 mins          █▒░░░░░░░░░░░░░░░░░░░░░░░   05.93 %
TSConfig     1 min           ▒░░░░░░░░░░░░░░░░░░░░░░░░   01.81 %
Text         0 secs          ▒░░░░░░░░░░░░░░░░░░░░░░░░   00.72 %