Basic dependent typing—Krzysztof Ostrowski

Save to:
Instapaper Pocket Readability

Using fundamental types to do "simple things simple" fits very well in the most of cases.

Basic dependent typing

by Krzysztof Ostrowski

From the article:

If we assume that our application uses only a subset of values carried by given fundamental type, we are likely to get warning from the compiler. We shall take that warning seriously. How to inform type system about our assumptions? Example solutions follow.

Add a Comment

Comments are closed.

Comments (0)

There are currently no comments on this entry.