Entities Mentioned

• Haskell

1. Well, I hope that was useful :) > interpretExp (Add (Mul (Simple 5) (Simple 4)) (Simple 3)) > compile (Add (Mul (Simple 5) (Simple 4)) (Simple 3)) [OpPush 3,OpPush 4,OpPush 5,OpMul,OpAdd] > let x = [OpPush 3,OpPush 4,OpPush 5,OpMul,OpAdd] in run x Cheers! For your QuickCheck property, I think you'd also want to know that the stack has only one element. Also, what's the "True ==>" for? How about this replacement: prop_compile tree = run $ compile tree == [interpretExp tree] Hello, Thanks for your (Read Full Article)
   
   

   Related Articles

   • Christophe Poucet (vincenz): Literate Haskell and C
   • also published in lambda.oasis
   • Supercompilation for Haskell
   • also mentions Haskell

   • Christophe Poucet (vincenz): A Fractional Type for Haskell
   • also published in lambda.oasis
   • Christophe Poucet (vincenz): SImple Type Inference in Haskell
   • also published in lambda.oasis

Login to comment.