[Haskell-cafe] Proposal: New syntax for Haskell

John Wiegley johnw at fpcomplete.com
Tue Sep 10 11:48:36 CEST 2013

>>>>> Niklas Hambüchen <mail at nh2.me> writes:

> Code written in cucumber syntax is concise and easy to read

    concise |kənˈsīs|, adj.

    giving a lot of information clearly and in a few words; brief but


    Scenario: Defining the function foldl
      Given I want do define foldl
      Which has the type (in brackets) a to b to a (end of brackets),
                         to a, to list of b, to a
      And my arguments are called f, acc, and l
      When l is empty
      Then the result better be acc
      Otherwise l is x cons xs
      Then the result should be foldl f (in brackets) f acc x
                                (end of brackets) xs


    foldl :: (a -> b -> a) -> a -> [b] -> a
    foldl f z []     = z
    foldl f z (x:xs) = foldl f (f z x) xs

How is that more concise or preferable?

John Wiegley
FP Complete                         Haskell tools, training and consulting
http://fpcomplete.com               johnw on #haskell/irc.freenode.net

More information about the Haskell-Cafe mailing list