Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		blog.polybdenum.com PolySubML is broken \| Considerations on Codecrafting - words are my own, not an LLM's
\|	\|	ruudvanasseldonk.com A type system for RCL: Implementing a typechecker in Rust	10.2 parsecs away Travel
\|	\|	I am adding a type system to RCL, my configuration language. In part 4, we look at how the typechecker is implemented in Rust, and at how it is able to generate good error messages.	10.2 parsecs away Travel
\|	\|	degoes.net A Glossary of Functional Programming - John A De Goes	7.8 parsecs away Travel
\|	\|	Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts	7.8 parsecs away Travel
\|	\|	lambdaland.org How to write a type checker/type inferrer with good error messages \| Lambda Land	7.8 parsecs away Travel
\|	\|	All the source for this may be found on my SourceHut repository. Synopsis # Experimental type checker/inferer for a simple lambda calculus Description # This is a type inference system for a little language. (Described below.) It uses a fusion of type inference algorithms from PLAI, ESP, and ?Kanren. (See Resources) Broadly speaking, our type inference engine works by: generating typing constraints from the program solving those constraints Well describe each of those in more detail.	7.8 parsecs away Travel
\|	\|	www.valentinog.com How to Throw Errors From Async Functions in JavaScript?	21.1 parsecs away Travel
\|		It is possible to throw errors from async functions in JavaScript? Keep reading to find out!	21.1 parsecs away Travel