Harder to misuse, counting down at compile-time with C++ concepts (with a bonus in Rust)
How to statically “check” that callers perform an operation N times.
[Read More]
-
-
A length-indexed Vector in Rust - Part 2
Previously, we designed a vector in Rust whose length is known at compile-time, but then how can we construct an instance of it from a Vec<T> whose length is only available at run-time? [Read More] -
A length-indexed Vector in Rust
Sneak peeking at Dependent Types and an encoding of length-indexed vectors in Rust to constraint consumers on operations they can perform. [Read More] -
Integrating a trigonometric expression for fun
I stumbled upon an exercise to integrate a function involving trigonometric identities. So, I reckoned it’d be fun tackling it. [Read More] -
Fun with Go's range over function types
A quick look at range-aware custom iterators. [Read More] -
Blogging with org-mode
I’m gradually migrating posts from Markdown to Org. [Read More] -
Oops, I forgot to --publish! How can I connect to the container then?
A fun way to connect over the network to an unpublished port of a process running inside a Docker container. [Read More] -
Haskell, the little things (1 of N) - where clauses
This is the (1 of N) installment of a series of short posts where I list some “smaller” features of Haskell that I’ve found neat and valuable. [Read More] -
Pattern-matching without a match
Emulating pattern-matching in a language without native support for it. [Read More] -
Announcement: haz-rs
A thin abstraction over polymorphic environments for Rust. [Read More] -
Rebinding Template Template Parameters
Rebinding a template template parameter in C++ might be useful at times, or at least fun to do. [Read More] -
Type-driven Designing Haskell's filter
A type-system imposes discipline on programs. And we can make the best out of it by employing correct, precise, and expressive types; ultimately even letting the type-system assisting us in our design. Equipped with well-crafted user-defined types, we can then make some illegal states unrepresentable. Additionally, types are great to... [Read More] -
Cross-Compiling C++ Projects with dockcross
Cross-compilation has a huge impact on the development of cross-platform C++ embedded software. Therefore we have plenty of tools to help us, and dockcross is one of them, which we will briefly discuss. [Read More] -
Haunting Bugs with Phantom Types
Phantom types are useful to encode information about how, when, and where values are supposed to be used, which can catch a class of bugs early. [Read More] -
Property-based Testing in Golang
Testing is a critical part of software development. Let’s see how property-based testing can help us to test our Go programs. [Read More]