Struggling to forget
haskell Published on January 3, 2020 In this post I show a use case and a way to implement conditional fixing of existentially quantified variables by universally quantified variables. Motivation Imagine we want to write a library for working with typed file paths. path is an example of such a library, but we’ll be aiming for something more flexible. One flaw of path is that it forces the users to
Haskell vs OCaml
haskell Published on December 6, 2019, last updated December 11, 2019 This is a comparison between the two languages by someone who has written code professionally in both. That said, I’m much more familiar with Haskell than with OCaml, so if you think there is a mistake in the text, let me know. Background and users Haskell is a niche, rarely used language. The situation is changing, but make no
Exceptions tutorial
Published on March 3, 2019, last updated October 31, 2021 This text originally was written as a chapter for the Intermediate Haskell book. Due to lack of progress with the book in the last year, other authors agreed to let me publish the text as a standalone tutorial so that people can benefit at least from this part of our work. The motivation for exceptions Throwing exceptions Catching exception
Megaparsec tutorial
Published on February 23, 2019, last updated October 30, 2021 This is the Megaparsec tutorial which originally was written as a chapter for the Intermediate Haskell book. Due to lack of progress with the book in the last year, other authors agreed to let me publish the text as a standalone tutorial so that people can benefit at least from this part of our work. Japanese translation, Chinese transl
Megaparsec 7
haskell Published on August 27, 2018 For a while now I’ve been working on Megaparsec 7. Due to the fact that my schedule is more saturated these days, the work hasn’t been progressing as quickly as I expected, but nevertheless I tried to spend my rare free hours on advancing it, and finally I can say that Megaparsec 7 is close to release. The post is about the most obvious things a user will run i
Announcing GHC syntax highlighter
haskell Published on May 13, 2018 Yesterday I published a new package ghc-syntax-highlighter, which allows to highlight (or to be precise to tokenize) Haskell source code using lexer of GHC itself. Even though I saw a positive reaction on Twitter, one person (rightly) noted that it’s not clear how to use it and docs on Hackage are missing. This post aims to clarify a few details, demonstrate examp
Free monad considered harmful
haskell Published on September 27, 2017, last updated January 25, 2018 Now and then blog posts explaining and promoting use of free monads pop up, so for the sake of diversity I decided to write a post advising against free monads. What I’m going to tell is not new and there have been good comments on Reddit and in chats explaining downsides of free monads as basis of Haskell programs, but I thoug
Migrating text metrics to pure Haskell
haskell Published on June 13, 2017 It’s been a while since I first published the text-metrics package, which allows to calculate various string metrics using Text values as inputs. Originally the package was written primarily in C with wrappers in Haskell. At the time I needed maximal speed and did not care whether the algorithms themselves are coded is C or Haskell, as long as they work, and work
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Megaparsec 8
Smart constructors that cannot fail
Announcing MMark
Evolution of error messages
A major upgrade to Megaparsec: more speed, more power