I'm a software engineer and computer science enthusiast most known for my work on Teloxide and Metalang99 . My interests range over systems programming, backend engineering, compilers, type theory, functional programming, and related things. I occasionally publish posts, participate in conferences, and do open-source…
Visit hirrolot.github.io → On Hacker News Jan 2022 – Feb 2024
Software Engineering 6Programming Languages 4Math & Algorithms 2
When you use Rust, it is sometimes outright preposterous how much knowledge of language, and how much of programming ingenuity and curiosity you need in order to accomplish the most trivial things. When you feel particularly desperate, you go to rust/issues and search for a solution for your problem. Suddenly, you…
People in the programming language design community strive to make their languages more expressive, with a strong type system, mainly to increase ergonomics by avoiding code duplication in final software; however, the more expressive their languages become, the more abruptly duplication penetrates the language itself.
The question of which language suits best for compiler development is a frequent one amongst language enthusiasts (e.g., see discussions here , here , and here ). Sadly, most of the commenters either 1) just answer with their language of choice without any explanation, or 2) provide a vague explanation without any…
People in the programming language design community strive to make their languages more expressive, with a strong type system, mainly to increase ergonomics by avoiding code duplication in final software; however, the more expressive their languages become, the more abruptly duplication penetrates the language itself.