Pedro Jordão
Pedro Jordão's Blog

Pedro Jordão's Blog

Follow
homebadgesnewsletter

Rust and Pure Functional Programming: Square Peg, Round Hole

Feb 20, 202119 min read

Introduction For the last few weeks since the announcement of Rats we've been fast at work exploring how to write pure FP in Rust. The original...

Rust and Pure Functional Programming: Square Peg, Round Hole

Rats - A Category Theory Library for Rust

Feb 20, 20212 min read

Yeah, things have been slow on my end. With the imminent stabilization of GATs (Generic Associated Types) on Rust (read more here) a way around the...

Rats - A Category Theory Library for Rust

Rust From the Ground Up - Part 6

Feb 20, 202117 min read

Introduction Hello and welcome back. We will be talking a little more about traits. We will see the Deref trait, which is one of the special traits in...

Rust From the Ground Up - Part 6

Rust From the Ground Up — Part 5

Jan 15, 202034 min read

Introduction I’m back! Hope you had good festivities. But now it’s time to go back to Rust with some philosophical debate. You do read these posts to...

Rust From the Ground Up — Part 5

Rust JVM — 2

Jan 7, 202011 min read

Introduction In this post we will start interpreting what the spec tells us into some code. Our initial target will be being able to read a .class...

Rust JVM — 2

Rust JVM — 1

Jan 6, 20203 min read

Introduction No more bullshit, let’s begin the year with a bang! Project Setup The project will be hosted at Github, where eventually I’ll setup some...

Rust JVM — 1