|
|
|
|
|
|
by ArchieMaclean
1938 days ago
|
|
|
Idris has 'holes', where you tell the compiler that you haven't written this part yet, and it will compile while ignoring the hole. They're really useful for rapid prototyping, and also for helping you develop, as you can ask the compiler questions about the hole (like what its type is). The syntax is just `?name` creating a hole called 'name'. So you don't have to write the whole program, and you don't need to lie temporarily either! :) |
|
|