chrisdone-archive/duet
1
1
Fork 0
mirror of https://github.com/chrisdone-archive/duet.git synced 2024-10-06 14:17:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add lists fac

Browse Source
This commit is contained in:
Chris Done 2017-06-21 12:15:30 +01:00
parent efdcc3e4f1
commit 4c56c6dbc8
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
web/Main.hs
View File

@ -36,7 +36,7 @@ import Reflex.Dom
--------------------------------------------------------------------------------
-- Constants
maxSteps = 100
maxSteps = 200
inputName = "<interactive>"
@ -49,7 +49,8 @@ exampleInputs =
,("Folds", foldsSource)
,("Currying", curryinglistsSource)
,("Monad", monadSource)
,("Read/Show",readshowSource)]
,("Read/Show",readshowSource)
,("Lists factorial",listsFactorialSource)]
--------------------------------------------------------------------------------
-- Main entry point
@ -642,3 +643,16 @@ curryinglistsSource = "data List a = Nil | Cons a (List a)\n\
\multiply = \\x y -> x * y\n\
\doubleAll = map (multiply 2)\n\
\main = doubleAll (Cons 1 (Cons 2 Nil))"
listsFactorialSource = "data List a = Nil | Cons a (List a)\n\
\id = \\x -> x\n\
\foldr = \\cons nil l ->\n\
\ case l of\n\
\ Nil -> nil\n\
\ Cons x xs -> cons x (foldr cons nil xs)\n\
\enumFromTo = \\from to ->\n\
\ case to of\n\
\ 0 -> Nil\n\
\ _ -> Cons from (enumFromTo (from + 1) (to - 1))\n\
\fac = \\n -> foldr (\\x g n -> g (x * n)) id (enumFromTo 1 n) 1\n\
\main = fac 3"