CamlBack generates feedback automatically on attempts at solving functional programming exercises. The name comes from the fact that it was originally built for a different functional programming language called OCaml.
After launching it, you need to choose language Haskell and the problem set you want to attempt, and then login as guest. To try a problem in a problem set, click on it. Click "Check Function" at the bottom to submit a solution, or "Reset" to start again.
When you submit a solution to an exercise, CamlBack will check it against a sample solution and either tells you that your solution is correct - which just means that it has passed a small collection of tests, less than would be tested by QuickCheck - or tell you about a test case that fails. In addition, it gives you a hint about why that test failed, by comparing the execution of your submission with the execution of the sample solution.
If the submission doesn't parse or typecheck, you get Haskell's usual response.
Multiple declarations of `myFunction'. You will have to edit the file to remove or comment out the duplicate definition.
Acknowledgement: CamlBack is the work of Hesam Samimi (SAP Labs), Sumit Gulwani (Microsoft Research), Stoytcho Stoytchev (Amazon) and Todd Millstein (UCLA).
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: firstname.lastname@example.org
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh