Explore >> Select a destination
|
You are here 
|
tm.durusau.net | ||
| | | | |
blog.drewolson.org
|
|
| | | | | I've spent a lot of time in the past year learning PureScript and it has drastically changed the way I think about programming in general. The biggest change in my thinking is described by the excellent blog post Parse, don't validate. The most important passage in the post, I think, is this: Consider: what is a parser? Really, a parser is just a function that consumes less-structured input and produces more-structured output. | |
| | | | |
blog.aria.ai
|
|
| | | | | An introduction to and explanation of the benefits of static typing in JavaScript | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Composition. See the Table of Contents. The category of types and functions plays an important role in programming, so let's talk about what types are and why we need them. Who Needs Types? There seems to be... | |
| | | | |
mattbaker.blog
|
|
| | | In honor of Pi Day 2023, I'd like to discuss Hilbert's 7th Problem, which in an oversimplified (and rather vague) form asks: under what circumstances can a transcendental function take algebraic values at algebraic points? The connection with $latex \pi$ is that Lindemann proved in 1882 that the transcendental function $latex f(z) = e^z$ takes... | ||
