Latest Blogpost

Picosmos: Writing a simple single-line text-editor with brick.

Using the cursors as defined in the previous posts about list cursors and text cursors we can now take the first step toward writing a Purely Functional Semantic Editor. In this post we will write a purely functional text editor for a single line of text using brick.

Read more ...

Recent Blogposts

Cursors, Part 2: The text cursor

This is the second post in a series about cursors. It prepares the right data structure to write an editor for a single line of text.

Disclaimer: cursor is a library based off the concepts outlined in this blog post. It originated in the work on smos, a Purely Functional Semantic Editor.

Read more ...
Date 2018-11-28

Announcing Validity version 0.9.0.0: Validity of Double

The Validity instance of Double and Float have been the most frequently modified and most controversial part of the validity library. This post announces validity-0.9.0.0 and discusses the changes.

Read more ...

Cursors, Part 1: Introduction with the List Cursor

This is the first post in a series about cursors. It explores the motivation behind cursors and uses the list cursor as an example.

Disclaimer: cursor is a library based off the concepts outlined in this blog post. It originated in the work on smos, a Purely Functional Semantic Editor.

Read more ...
Date 2018-10-28

Smos: Writing a Purely Functional Semantic Editor

This is the first post in a long series of posts documenting the process of developing Smos. Smos is a purely functional semantic editor of a subset of YAML that is intended to replace Emacs' Org-mode for Getting Things Done.

Read more ...