Computer Science Question Scala Background Information Long Question Short End Thumb Thank Q37098014

Computer Sciencequestion about Scala. The background information is long butquestion itself is short on the end.
I will thumb up, thank you!

In class, we mentionedthat developing a static type system for catchingrun time errors is much harder. Let us try and see whathappens.

Let us modify our typegrammar to have two different types of numbers: zero andnon-zer

NonZeroNumType ZeroNumType

with the followingsubset of Lettuce just involving arithmetic and let bindings:

I Expr Const(Double) Iden(Identifier) Plus(Expr, Expr) Did Expr, Expr) → l Let(Identifier, Type, Expr, Expr)

Goal:Guarantee that a numeric value that

OR
OR

Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.