Quantcast
Channel: What type of formal notation is being used here to represent functional algorithms? - Computer Science Stack Exchange
Browsing latest articles
Browse All 3 View Live

Answer by Petr for What type of formal notation is being used here to...

I haven't read the book but the snapshot is definitely Haskell. Most texts that contain Haskell code use some kind of pretty printer, most likely lhs2TeX. It assigns more type-setting-friendly symbols...

View Article



Answer by phant0m for What type of formal notation is being used here to...

The language is pretty-printed Haskell.In regular source code, it would look like this:checklist :: [Int] -> Array Int Boolchecklist xs = accumArray (||) False (0, n) (zip (filter (<= n) xs)...

View Article

Image may be NSFW.
Clik here to view.

What type of formal notation is being used here to represent functional...

Interested in learning more about algorithm design in functional programming, I picked up Andrew Bird's Pearls of Functional Algorithm Design. I have experience with a number of programming languages,...

View Article
Browsing latest articles
Browse All 3 View Live




Latest Images