> meaning that when your program compiles it will be guaranteed to behave correctly For very weak notions of "correctly". If my task is to build a factorial f

> meaning that when your program compiles it will be guaranteed to behave correctly For very weak notions of "correctly". If my task is to build a factorial function, epigram will not prevent me from writing a fibonacci function.