WrandTel
Research & development notes on programming language
design patterns, type systems, memory models, and
compiler architecture.
System Online
Patterns
Types
Memory
Concurrency
Meta
Exploration of compositional patterns for language
primitives. Investigating algebraic effects,
continuation-passing styles.
Monads
Effects
CPS
Hub
Semantics
Syntax
Types
Research into dependent types, refinement types, and
gradual typing. Building bridges between static
guarantees and runtime flexibility.
Dependent
Refinement
Gradual
Hub
Verification
Compiler
Patterns
Investigating ownership semantics, region-based
allocation, and novel garbage collection strategies.
Ownership
Regions
GC
Hub
Runtime
Stdlib
Concurrency
Actor models, structured concurrency, and communicating
sequential processes. Type-safe parallel execution.
Actors
CSP
Async
Operational, denotational, and axiomatic semantics.
Formal methods for language specification.
Operational
Denotational
Proofs
SMT-based verification, model checking, and proof
assistants. Integrating formal verification into
practical languages.
SMT
Model Check
Proofs
Ergonomic syntax patterns, DSL embedding techniques, and
macro systems. Balancing expressiveness with
readability.
Macros
DSLs
Hygiene
Multi-pass compilation strategies, intermediate
representations, and optimization pipelines.
IR
Passes
Incremental
Virtual machine design, JIT compilation, and runtime
introspection. Interpretation vs compilation.
VM
JIT
Reflection
Foreign function interfaces, cross-language calling
conventions, and safe bindings generation.
Bindings
C ABI
WASM
Minimal core libraries, batteries-included philosophies,
and modular stdlib design.
Core
Prelude
Ecosystem
Language servers, formatters, linters, and debuggers.
First-class tooling as a design consideration.
LSP
REPL
Debug
Concurrency
Compiler
Meta
Compile-time computation, staged programming, and
reflective towers. Languages that write themselves.
Staging
Reflection
Towers