🔬 programming language theory - abnv · Scour

Introduction to Compilers and Language Design 🎓Teaching Compilers

dthain.github.io·13h·

New programming language 📚Stack Languages

github.com

·1d·DEV·

Programming languages for AI 📐Standard ML

blog.ploeh.dk·3d·

Bölüm 4: Bounded Context 🔗Lexical Scoping

sahinyelkenci.medium.com·5h·

Building CompilerSutra 🎓Teaching Compilers

docs.google.com·21h·DEV·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·2d·Hacker News·

The Type Theorists need to take a look at Zig ⚙️Zig Comptime

pure-systems.org·6d·Hacker News·

Issue 518 📏Linear Haskell

haskellweekly.news·16h·

Programming Languages and Type Safety in the Era of LLMs 📐Standard ML

thecodedmessage.com·1d·

PEP 8 – Style Guide for Python Code ✨Code Formatting

peps.python.org·6h·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·5d·

🐍 Functionally Zen 🪞Homoiconicity

testdouble.com·8h·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

The Lisp Curse 🌱Minimal Lisps

winestockwebdesign.com·1d·

The Wrong Spherical Cow - First Principles of Parts Based Programming 🏛️Elm Architecture

programmingsimplicity.substack.com·4d·Substack·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

CodingPrep 📚Stack Languages

producthunt.com·5d·

What makes a programming language whole? 📚Forth Compilers

siru.ink·2d·

A WASM first programming language with effect typing 🎨Domain-Specific Languages

voyd.dev·2d·Hacker News·

Loading more...