Tag: computing/PL | Lesley's Digital Garden

Lesley's Digital Garden

40 items with this tag.

Feb 24, 2025
Programming Language Design MOC
- computing/PL
Feb 10, 2025
programming languages MOC
- computing/PL
- MOC
Jan 31, 2025
goto
- computing/PL
Nov 11, 2024
0-index vs 1-index
- computing/PL/semantics
- opinion
Nov 04, 2024
variadic functions
- computing/PL/interesting_features
Oct 25, 2024
tail call
- computing/compiler/optimizations
- computing/PL
Sep 23, 2024
substitution
- computing/PL
- logic/predicate
Sep 20, 2024
geometry type system
- computing/PL/TypeTheory
- computing/PL/interesting_features
Sep 16, 2024
experimental Languages
- computing/PL/experimental_languages
Sep 16, 2024
why some grammar distinguish declarations with statements
- computing/PL/syntax
Sep 14, 2024
type theory
- computing/PL/TypeTheory
May 23, 2024
Odin (programming langauge)
- computing/PL/experimental_languages/odin
May 23, 2024
implicit parameters
- computing/PL/idea
May 17, 2024
on viral annotations
- opinion
- computing/PL/syntax
May 04, 2024
distinct types
- computing/PL/interesting_features
May 01, 2024
capability system
- computing/PL/idea
Mar 27, 2024
AST representation
- computing/algorithms/AST
- computing/PL/syntax
Mar 14, 2024
C++ Name Lookup
- computing/PL/semantics
- computing/cpp/name_lookup
Mar 14, 2024
Lifetime Variance in Rust
- computing/rust/lifetime
- computing/PL/covariance
Mar 14, 2024
System F
- computing/PL/TypeTheory
Mar 14, 2024
The Hylo Programming Language
- computing/PL/experimental_languages
Mar 14, 2024
abstract syntax tree
- computing/algorithms/AST
- computing/PL/syntax
Mar 14, 2024
allocators for zig containers
Mar 14, 2024
conditional expression
- computing/PL/syntax
- computing/parsing
Mar 14, 2024
covariance and contravariance
- computing/PL/covariance
Mar 14, 2024
Covariant Arrays in Java and C#
Mar 14, 2024
dangling else problem
- computing/PL/syntax
- computing/parsing
Mar 14, 2024
denotational semantics
- computing/PL/semantics
Mar 14, 2024
examples are important in documentaiton
- computing/PL/idea
- wisdom
Mar 14, 2024
expression-oriented language
- computing/PL/syntax
Mar 14, 2024
implicit variable declaration
- computing/PL/syntax
Mar 14, 2024
late binding closure in Python
- computing/python
- computing/PL/binding
Mar 14, 2024
modulo
- math/NumberTheory/ModuloArithmetic
- computing/PL/semantics
Mar 14, 2024
overloading is mulyiple dispatch
- computing/PL
Mar 14, 2024
parentheses around the condition
- computing/PL/syntax
- computing/parsing
Mar 14, 2024
ref keyword in Rust
- computing/Rust/PatternMatching
- computing/PL/PatternMatching
Mar 14, 2024
referential transparency
- computing/FunctionalProgramming
- computing/PL/semantics
Mar 14, 2024
type Isomorphism
- computing/PL/TypeTheory
Mar 14, 2024
unification
Mar 14, 2024
value-oriented programming
- computing/PL/idea
- computing/PL/semantics