corpus.blog
41,554 blogs · 5,225,211 posts Claim your blog
Record · corpus.blog/posts/01a08767-7789-714a-8dac-1a4a7c435a59

Reasons to Love the Field of Programming Languages

Daniel's Blog · published 31 December 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at danilafe.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
37
Words captured
3,404

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://chapel-lang.org
chapel-lang.org
https://en.wikipedia.org/wiki/Literate_programming
en.wikipedia.org
https://jupyter.org/
jupyter.org
https://www.eecg.utoronto.ca/~jzhu/csc326/readings/iverson.pdf
eecg.utoronto.ca
https://tryapl.org/
tryapl.org
https://en.wikipedia.org/wiki/Structured_programming
en.wikipedia.org
https://elm-lang.org/news/compiler-errors-for-humans
elm-lang.org
https://chapel-lang.org/blog/posts/chapel-lsp/
chapel-lang.org
https://yarnpkg.com/
yarnpkg.com
https://en.wikipedia.org/wiki/Lambda_calculus
en.wikipedia.org
https://en.wikipedia.org/wiki/Turing_machine
en.wikipedia.org
https://en.wikipedia.org/wiki/Von_Neumann_architecture
en.wikipedia.org
https://en.wikipedia.org/wiki/Denotational_semantics
en.wikipedia.org
https://en.wikipedia.org/wiki/Operational_semantics
en.wikipedia.org
https://en.wikipedia.org/wiki/Syntactic_sugar
en.wikipedia.org
https://en.wikipedia.org/wiki/Rice%27s_theorem
en.wikipedia.org
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
en.wikipedia.org
https://en.wikipedia.org/wiki/Proposition
en.wikipedia.org
https://en.wikipedia.org/wiki/Affine_logic
en.wikipedia.org
https://en.wikipedia.org/wiki/Dependent_type
en.wikipedia.org
https://en.wikipedia.org/wiki/Intuitionistic_type_theory
en.wikipedia.org
https://en.wikipedia.org/wiki/Rule_of_inference
en.wikipedia.org
https://labs.oracle.com/pls/apex/f?p=LABS%3A0%3A%3AAPPLICATION_PROCESS%3DGETDOC_INLINE%3A%3A%3ADOC_ID%3A959%22
labs.oracle.com
https://en.wikipedia.org/wiki/Just-in-time_compilation
en.wikipedia.org
https://en.wikipedia.org/wiki/Instruction_set_architecture
en.wikipedia.org
https://llvm.org/
llvm.org
https://clang.llvm.org/get_started.html
clang.llvm.org
https://en.wikipedia.org/wiki/Out-of-order_execution
en.wikipedia.org
https://en.wikipedia.org/wiki/Cache_%28computing%29
en.wikipedia.org
https://en.wikipedia.org/wiki/Speculative_execution
en.wikipedia.org
https://en.wikipedia.org/wiki/Reaching_definition
en.wikipedia.org
https://en.wikipedia.org/wiki/Loop-invariant_code_motion
en.wikipedia.org
https://cs.au.dk/~amoeller/spa/spa.pdf
cs.au.dk
https://microsoft.github.io/language-server-protocol/
microsoft.github.io
https://ollef.github.io/blog/posts/query-based-compilers.html
ollef.github.io
https://github.com/salsa-rs/salsa
github.com
https://github.com/carbon-language/carbon-lang
github.com
Elsewhere on danilafe.com (2)