{-# LANGUAGE FlexibleInstances #-} Having An Effect This blog post will be on denotational semantics, the sister of operational semantics, and how to make it more modular. Denotational semantics is a compositional mapping from expressions in a language to something else. (Oleg Kiselyov, 2017) What that something else is, the author of the denotational semantics […]
Category archives: Uncategorised
Lambda for all
Show all | Show only code Lambda calculus (1) My previous blog post on functional programming was about continuations. This is a more advanced topic. For some readers there might be basics missing. One of these could be the lambda calculus. When I first encountered the lambda calculus I didn’t quite get it. It all […]
Functional Programming 1
Show all | Show only code Continuation-passing style (CPS) Do you want to program in style? Well, you probably already do if you write programs at all. The most common style of programming is called ‘direct style’. In this style functions are called with some arguments and return some values (or nothing). When you want […]
Chess programing 1
It may come as a surprise to you, but I like chess. I am a member of my local chess club where I play occasionally. I am not very good at chess. I would call myself a beginner that knows all the rules. This will be the first in a series of posts (jinx) […]
my way or the Conway
Another day, another implementation. Today I have implemented Conway’s game of life. It is a very simple model that can show very complicated results. It is also a lot of fun. What are the rule to this game? Well, I will tell you. First, let us start with the components of the system, we […]
it’s complicated
I have been busy with complex numbers in JavaScript. I wanted to implement the Durand Kerner root finding algorithm. This algorithm requires complex arithmetic in order to work. So, in order to implement something, you need to implement something else. You just have to hope that you have arrived at the lowest level. What […]
brainfark
I wrote my own little brainfuck interpreter. You can read all about brainfuck on the esoteric programming website. They have a whole list of weird programming languages. So what is brainfuck? They tell you all about it on the Esolang website. But I’m gonna tell you anyway. Brainfuck is a programming language designed to […]
Double trouble
Following up on the post about Lorenz systems I have made a visualization of the double pendulum. Both of these systems are prime examples of systems studied in chaos theory. That is: systems that are highly sensitive to initial conditions. Many of these systems can also be seen in nature. For example the weather. […]
Lorenz system
I have been doing some stuff with differential equations. They provide some unexpected results and show random behavior. I made a little visualization with the html canvas of a Lorenz (not Lorentz) systemhttps://en.wikipedia.org/wiki/Lorenz_system You can see it live here:https://05dd8515-5617-4479-92db-df9de14327bc.htmlpasta.com/
My mandelbrot
I have tried implementing a zoomable mandelbrot set for a while. Today I created a satisfactory implementation. There is no native support for complex numbers in JavaScript, so we keep both real and imaginary parts of the complex number separate. The mandelbrot recurrence relation is: z_{n+1} = z_{n} + c The value of z_ 0 […]