Constrain Routine type to prohibit creation of invalid list

mikusp / gines

GINES is not epidemic simulation

GNU General Public License v3.0

0 stars 0 forks source link

Constrain Routine type to prohibit creation of invalid list #6

Closed mikusp closed 10 years ago

mikusp commented 10 years ago

I'll see if it is possible in Scala. If not, we will rely on tests.

mikusp commented 10 years ago

As far as I can tell, it's not possible. Even in Haskell I couldn't create a "circular type", where each TimeChunk is a successor of the previous one.