Jawaninja Value-Oriented Development
What's up?
-
February 15, 2018
Idris Proofs And Nats
fun with code inference
Read on →
Idris is a one of those programming languages that empowers its users with the possibility to express very strong guarantees about the code they write before running it. It does this by using something called “Dependent Typing”, which is a very expressive kind of type system.
One of the guarantees you can get is to have safe arithmetic with natural numbers (0, 1, 2, 3…). The interesting bit with Natural numbers is that they cannot be negative, so the substraction
a - bonly works ifb ≤ a. Idris actually forces you to make sure of that before trying to run your code. -
October 29, 2017
On Types And Intent
how much can we communicate using types?
Read on →
I love Clojure and I love Haskell. Those are two of my favourite languages (I also really love Idris). They both offer semantics with very interesting properties and trade-offs.
Sadly there is a disconnect between the communities in both of those languages, where people try to communicate what they like about their favourite language but tend to do that by contrasting it with other languages, and that ends up being quite antagonistic and put people on the defensive.
-
March 1, 2017
Functional Programming... The Sequel
ReactJS Göteborg 2017
Read on →
Event page: https://www.meetup.com/ReactJS-Goteborg/events/236379075
Slides available here: https://github.com/Jell/intro-to-fp
-
November 22, 2016
Intro to Functional Programming
ReactJS Göteborg 2016
Read on →
Event page: https://www.meetup.com/ReactJS-Goteborg/events/235335371/
Slides available here: https://github.com/Jell/intro-to-fp
- October 25, 2016 A Tale of ClojureScript in Production Euroclojure 2016 Read on →
-
October 11, 2014
The Way I Understand Types
aka flamebaiting
Read on →
This is my current intuition on types. I heard the best way to get feedback on the internet is to publish something inaccurate, so there you have it.
