petekneller

Revisiting Tagless Final Interpreters

Tageless Final interpreters are an alternative to the traditional Algebraic Data Type (and generalized ADT) based implementation of the interpreter pattern. This document presents the Tageless Final approach with Scala, and shows how Dotty with it's recently added implicits functions makes the approach even more appealing. All examples are direct translations of their Haskell version presented in the Typed Tagless Final Interpreters: Lecture Notes (section 2).

The interpreter pattern has recently received a lot of attention in the Scala community. A lot of efforts have been invested in trying to address the biggest shortcomings of ADT/GADT based solutions: extensibility. One can first look at cats' Inject typeclass for an implementation of [Data Type à la Carte](http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesA

Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:

data Expr = IntExpr Int | BoolExpr Bool

	#!/usr/bin/env bash

	set -x

	NS="ns1"
	VETH="veth1"
	VPEER="vpeer1"
	VETH_ADDR="10.200.1.1"
	VPEER_ADDR="10.200.1.2"

	object Playground extends App {
	sealed trait IExp
	final case class Lit(i: Int) extends IExp
	final case class Neg(e: IExp) extends IExp
	final case class Add(r: IExp, l: IExp) extends IExp

	sealed trait Tree
	final case class Leaf(s: String) extends Tree
	final case class Node(s: String, ts: List[Tree]) extends Tree