私はOcamlを使い慣れていません。ラムダ計算のためのインタプリタを書くときに私は奇妙なエラーに遭遇しました。 let rec valof : exp -> env -> value =
fun exp env ->
match exp with
Var n -> exp2value (lookup env n)
| Lambda (name , body
{-# LANGUAGE GADTs #-}
data Expr a where
Val :: Num a => a -> Expr a
Eq :: Eq a => Expr a -> Expr a -> Expr Bool
eval :: Expr a -> a
eval (Val x) = x
eval (Eq x y) = (eval x) == (eval
以下のコードでは、from()とto()の両方が期待どおりに動作するように入出力を正しく配置するのに問題があります。私は両方のプロパティと関数のパラメータの切り替えを試みましたが、常に誤った入力エラーで終わります。 class KStateMachine(private val states: List<StateHandler>) {
var currentState: KClass<out