 
      
    | You are here | www.pathsensitive.com | ||
| | | | | cigix.me | |
| | | | | ||
| | | | | 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... | |
| | | | | johnazariah.github.io | |
| | | | | A post about to use advanced computing techniques to retain the elegance of recursive expression | |
| | | | | blog.m-ou.se | |
| | | Have you ever seen the Rust compiler give a Python error? Or better, have you ever seen rust-analyzer complain about Python syntax? In this post, we'll extend our python!{} macro to make that happen. | ||