Well, yeah, but that Void type is different than the Void type in Haskell.
The Haskell-Void says that the function never returns. So, for example, if the function always goes into an infinite loop. Or only ever throws an exception or does a System.exit(0). You cannot portray that in Java, to my knowledge.
Well, yeah, but that
Voidtype is different than theVoidtype in Haskell.The Haskell-Void says that the function never returns. So, for example, if the function always goes into an infinite loop. Or only ever throws an exception or does a
System.exit(0). You cannot portray that in Java, to my knowledge.