Archive essays
Archive category All categories · All posts
- 30 April 2020
The Software Testing Fallacy
A quick leap from the undecidable halting problem through denotational semantics and straight to the caveats of software testing.
- 23 April 2020
Functional C++ Juxtaposed with Haskell
In the last few years with each new iteration of the C++ standard, the committee introduced further concepts inspired by functional programming. They are poised to standardize and optimize the use of modern functional-programming paradigms such as functional arguments, immutability, functors, and monads, thereby improving the notation for standard idioms such as structure-preserving transformations (functor), structure-preserving parallel computation (applicative functor) or structure-preserving sequential computations.
- 12 April 2020
On the Updated Design of My Blog
A quick update on the state of the design of this blog, in which I will progressively expand on theming plain vanilla Hakyll with HTML5, CSS3, and JavaScript. Eventually, I will rewrite the frontend in TypeScript. Some separate posts will follow. Dive in!
- 31 March 2020
Functors in Haskell
A lot of types satisfy the Functor laws, which guarantee that we can consistently apply functions to their values. Most importantly, the structure is preserved under the transformation that we apply. Learn here why this is important and how this works in practice. This is a great setting to familiarize yourself with key syntax of Haskell.
- 31 March 2020
Applicative Functors in Haskell
A legacy draft on applicative functors in Haskell: function application in functorial context, the Applicative laws, and the relation to monoidal structure.
- 26 March 2020
Database Transactions and Management in Haskell
In this post we will see how to employ Haskell's type system to ensure correctness of database queries. In fact, if you are familiar with SQL, you might know how unwieldy and repetitive nested SQL strings may become. The more complex they are, the more error-prone they get. Besides, many checks must be interspersed to protect the integrity of the database. In addition, query optimization has become a prevalent problem for cloud-based solutions, where a single SQL request may eat up the entire budget. To alleviate and gain control over such issues, Haskell's ecosystem provides us with type-checker guarantees for the correctness and integrity of the queries and paves the road to query analysis and subsequent query optimization. Read on for an initial survey of Haskell database libraries.
- 26 March 2020
Testing and Benchmarking Software in Haskell
Learn to Use Testing and Benchmarking Libraries and Frameworks
- 1 March 2020
Numerical Methods with Haskell and Python
A general note on differential equations. There are three classical approaches to differential equations:
- 28 February 2020
Numerical Methods with Haskell and Python
This blog post initiates a series of tutorial posts on formulations of numerical methods in linear algebra and analysis, and perhaps stochastics, in Haskell in comparison with Python. In the process, we will also analyze the algorithms.