Наличие фона в Haskell В настоящее время я пытаюсь познакомиться с Scala.
Я столкнулся с некоторыми проблемами, пытающимися перевести малый язык расширяемых выражений из Haskell в Scala. Основная проблема написания типа данных, расширяемого как с новыми вариантами данных, так и с операциями, широко известна как проблема .
Мое первоначальное решение в Haskell использует классы типов и объявления экземпляров с ограничениями. База моего выражения определяется следующим образом:
module Expr where
class Expr e where
eval :: e -> Integer
data Lit = Lit Integer
instance Expr Lit where
eval (Lit l) = l
data Plus a b = (Expr a, Expr b) => Plus a b
instance (Expr a, Expr b) => Expr (Plus a b) where
eval (Plus x y) = (eval x) + (eval y)
Затем у меня есть одно расширение данных, которое добавляет умножение:
module ExprWithMul where
import Expr
data Mul a b = (Expr a, Expr b) => Mul a b
instance (Expr a, Expr b) => Expr (Mul a b) where
eval (Mul x y) = (eval x) * (eval y)
Позвольте взять довольно-принтер в качестве рабочего расширения:
module FormatExpr where
import Expr
class (Expr t) => FormatExpr t where
format :: t -> String
instance FormatExpr Lit where
format (Lit l) = show l
instance (FormatExpr a, FormatExpr b) => FormatExpr (Plus a b) where
format (Plus x y) = "(" ++ (format x) ++ "+" ++ (format y) ++ ")"
И, наконец, в четвертом модуле можно объединить два независимых расширения:
module FormatExprWithMult where
import FormatExpr
import ExprWithMul
instance (FormatExpr a, FormatExpr b) => FormatExpr (Mul a b) where
format (Mul x y) = "(" ++ (format x) ++ "*" ++ (format y) ++ ")"
Теперь для моей проблемы: Обычно типы классов из haskell переводятся в концептуальный шаблон с implicits в Scala. Вот как я догадался:
abstract class Expr[A] { // this corresponds to a type class
def eval(e:A): Int;
}
case class Lit(v: Int)
implicit object ExprLit extends Expr[Lit] {
def eval(e: Lit) = x.v;
}
case class Plus[A,B] (e1: A, e2: B) (implicit c1: Expr[A], c2: Expr[B])
Здесь я застрял в реализации неявного объекта для Plus. Как объявить неявный объект с параметрами и ограничениями типа?
Я знаю, что есть другое решение для проблемы с выражением в Scala, однако меня интересует эта версия в частности.
Спасибо, что прочитали мой довольно длительный вопрос.