id summary reporter owner description type status priority resolution keywords cc topic difficulty mentor 83 Graphical evaluation palomer none "I propose to let the programmer the reductions in specific portions of their code graphically. for example, take the function fac n = if n = 0 then 1 else n * fac (n-1) fac 2 would evaluate as follows: fac 2 -> if 2 = 0 then 1 else 2 * (fac 1) -> 2 * (fac 1) -> 2 * (if 1 = 0 then 1 else 1 * (fac 0)) -> 2 * (1 * (if 0 = 0 then 1 else 0 * (fac -1)) -> 2 * (1 * 1) -> 2 * 1 -> 2 This would be tremendously useful for beginners. Furthermore, I have also wished for such a tool when debugging. This project would differ from Hat ( http://www.haskell.org/hat/#intro ) in that: * It would not involve any compiler * You would not have to start your tracing from where your program aborted * terms would collapse graphically, making the output more readable This project would involve: * Choosing heuristics for deciding which reductions to show and giving the users a way for them to decide which reductions should be shown * Implementing a way to present the reductions. This would involve collapsing terms * Writing a haskell evaluator * Incorporating it into Yi with gtk2hs == Interested Mentors == * ? == Interested Students == * Juan José Olivera Rodríguez * Tatiana Andrea Moruno R. <[mailto:tatiana.moruno@gmail.com]> <[mailto:tatiana@memi.umss.edu.bo]> * Zsolt Dollenstein <[mailto:zsol+scratch@elte.hu]>" proposed-project closed not yet rated wontfix evaluation, teaching, debugging misc 1 person Summer not-accepted