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

Arch and Haskell, on little snag

Dear lazyweb (Arch users and especially DonS ), I just used yaourt to update my system and it noticed that haskell-time was available in a new version. After answering a few questions I was greeted with this message: ghc-pkg: unregistering time-1.1.2.3 would break the following packages: hslogger-1.0.7 MissingH-1.1.0 ConfigFile-1.0.4 convertible-1.0.1 HDBC-2.1.0 HDBC-sqlite3-2.1.0.0 HSH-1.2.6 (use –force …

Continue reading ‘Arch and Haskell, on little snag’ »

Share