Ping server in Haskell (not that kind of ping, and rather silly)

Yesterday I needed to do some tests involving tunneling of network connections. Rather than firing up the full client-server setup that I want to tunnel I thought I’d use someting simple to test with first. Instead of looking online for a simple server to use, or hack one up using netcat, or even hack one …

Continue reading ‘Ping server in Haskell (not that kind of ping, and rather silly)’ »

Share

Making a choice from a list in Haskell, Vty (part 2)

Following on the previous part is another baby step. This just changes the options from a list of strings to a list of objects (the only requirement that they implement Pretty): data Option = Option { optionValue::String } deriving (Show)   instance Pretty Option where pretty (Option s) = string s After this it’s an …

Continue reading ‘Making a choice from a list in Haskell, Vty (part 2)’ »

Share

Making a choice from a list in Haskell, Vty (part 1)

After posting the zeroth part of this series I realised I hadn’t said anything about the final goal of this exercise. The first post contained code for choosing one one-line string (String) out of a list of one-line strings ([String]). What I really want is the ability to choose one item out of a list …

Continue reading ‘Making a choice from a list in Haskell, Vty (part 1)’ »

Share

Making a choice from a list in Haskell, Vty (part 0)

I haven’t had much free time lately, which means I haven’t written much non-work code. The only exception is some experiments with a small piece of Haskell code using the Vty module. Many moons ago I wrote a small piece of code that let’s the user choose options from a list in a terminal. Somewhat …

Continue reading ‘Making a choice from a list in Haskell, Vty (part 0)’ »

Share

Reply to Randal on dynamic type systems

At first this I wrote this as a comment on my original post, but it grew a bit too long so I decided to post it like this instead. @Randal, “Static typing is still effectively a syntax check, not a semantic check though.” Now, I think we might have a different understanding of the word …

Continue reading ‘Reply to Randal on dynamic type systems’ »

Share

Struggling with “the Arch way”

So, I’m struggling somewhat with the move to Arch. Not that Arch is problematic in any way, it seems to be me and my “debianised thinking”. I noticed that the Vim plugins that were packaged for Arch all install in system directories and hence are imposed on all users. Not a good thing. So, inspired …

Continue reading ‘Struggling with “the Arch way”’ »

Share

Randal Schwartz on why dynamic beat static—a rather rubbish talk

Well, not the most diplomatic title maybe, but listening to Randal Schwartz’ talk “Dynamic Returns” first made me laugh and then made my fingers itch to write him an email addressing the fallacies he is peddling. Anyway, I wrote this large, rather ranting, blog post but then decided to not publish iti. Randal, my suggestion …

Continue reading ‘Randal Schwartz on why dynamic beat static—a rather rubbish talk’ »

Share