Jump to content
  • Advertisement
  • entries
  • comments
  • views

More steroids for Epoch's type system!

Sign in to follow this  


This program now compiles and runs under the Epoch trunk:

// Basic test of functions operating on sum types

type test : integer | string

sumfunc : integer param
assert(param == 42)

sumfunc : string param
assert(param == "bletch")

entrypoint :
test foo = 42
test bar = "bletch"



This paves the way for things like optional (nullable) types, and other coolness.

Typing is entirely static at the moment; if you initialize a sum type with type A, it will transparently convert the variable to type A during compilation, and the variable will always be of that type. Since the language already has overload support, decomposing a sum typed variable into its "real" type is trivial, as shown above.

The one missing feature is pass-through support (i.e. where I take a sum type and pass it through a function without inspecting it, which I can't do because I haven't settled on its type statically). I'll probably hack on that next.

For now, though, I'm pretty happy with how easy it was to get sum types working as well as they are. With the addition of a special "nothing" type and some generic-programming goodies, it should be possible to do pretty amazing stuff with the Epoch type system real soon now.

Sign in to follow this  


Recommended Comments

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Advertisement

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

GameDev.net is your game development community. Create an account for your GameDev Portfolio and participate in the largest developer community in the games industry.

Sign me up!