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.cy.md The amazing template that does nothing \| CyberShadow's blog
\|	\|	lambdaland.org How to write a type checker/type inferrer with good error messages \| Lambda Land	15.1 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.	15.1 parsecs away Travel
\|	\|	raganwald.com Fun with Named Functions in JavaScript	13.2 parsecs away Travel
\|	\|	[AI summary] The article explains the nuances of named functions in JavaScript, contrasting declarations and expressions to highlight benefits for debugging and scope.	13.2 parsecs away Travel
\|	\|	blog.spreendigital.de Pass a multidimensional array as a parameter (with a hidden caveat) \| The curse of Dennis D. Spreen	12.6 parsecs away Travel
\|	\|		12.6 parsecs away Travel
\|	\|	spacedimp.com How to Properly Learn Rust Programming	40.0 parsecs away Travel
\|		[AI summary] A beginner-friendly guide to overcoming the learning curve of Rust programming by exploring ownership, borrowing, and lifetimes.	40.0 parsecs away Travel