Thursday, 23 February 2017

MicroKanren

The F# Journal just published an article:

"MiniKanren is a family of logic programming languages of varying sophistication. MicroKanren is a minimal functional core of a relational language that was described in a 2013 paper. The original MicroKanren implementation weighs in at just 50 lines of Scheme. This article takes a look at the MicroKanren program and translates it into F# along with some advancements that make it more capable and worked examples that are more interesting..."

If you subscribe to the F# Journal then can read this article here otherwise subscribe to the The F# Journal today to read this article and many more!

Friday, 3 February 2017

A modular SNUSP interpreter

The F# Journal just published an article:

"SNUSP is a simple programming language that navigates a two-dimensional code space using an instruction pointer that is a 2D vector. This article describes how a simple SNUSP interpreter can be written in F#..."

If you subscribe to the F# Journal then can read this article here otherwise subscribe to the The F# Journal today to read this article and many more!