Daniel's Blog

Tagged "Haskell"

• Generalizing Folds in Haskell

  3366 words, about 16 minutes to read.

  Have you encountered Haskell’s foldr function? Did you know that you can use it to express any function on a list? . . .

• How Many Values Does a Boolean Have?

  2079 words, about 10 minutes to read.

  A friend of mine recently had an interview for a software engineering position. They later recounted to me the content of the technical questions that they had been asked. . . .

• Time Traveling In Haskell: How It Works And How To Use It

  4290 words, about 21 minutes to read.

  I recently got to use a very curious Haskell technique in production: [note: As production as research code gets, anyway! ] time traveling. . . .

• Meaningfully Typechecking a Language in Idris

  2416 words, about 12 minutes to read.

  This term, I’m a TA for Oregon State University’s Programming Languages course. The students in the course are tasked with using Haskell to implement a programming language of their own design. . . .

• Using GHC IDE for Haskell Error Checking and Autocompletion

  627 words, about 3 minutes to read.

  Last year, when I took Oregon State University’s CS 381 class, I ended up setting up my editor with the Haskell IDE engine. . . .

• A Language for an Assignment - Homework 3

  4155 words, about 20 minutes to read.

  It rained in Sunriver on New Year’s Eve, and it continued to rain for the next couple of days. So, instead of going skiing as planned, to the dismay of my family and friends, I spent the majority of those days working on the third language for homework 3. . . .

• A Language for an Assignment - Homework 2

  1932 words, about 10 minutes to read.

  After the madness of the language for homework 1, the solution to the second homework offers a moment of respite. Let’s get right into the problems, shall we? . . .

• A Language for an Assignment - Homework 1

  3918 words, about 19 minutes to read.

  On a rainy Oregon day, I was walking between classes with a group of friends. We were discussing the various ways to obfuscate solutions to the weekly homework assignments in our Algorithms course: replace every if with a ternary expression, use single variable names, put everything on one line. . . .

• Haskell Error Checking and Autocompletion With LSP

  1550 words, about 8 minutes to read.

  For Oregon State University’s CS 381, Programming Language Fundamentals, Haskell is the language of choice. While it has an excellent REPL, and an excellent compiler, a piece of the puzzle is missing when writing Haskell code: on-the-fly error checking. . . .