View topic - Haskell vs Prolog, or "Giving Haskell a choice"
I've become more and more familiar with Haskell, and more and more have I begun to realize its true potential. It's truly frightening, really. One of the things I've started to realize is how well it can adapt different programming paradigms without sacrificing its functional purity.Another language I'm quite fond of is Prolog, and I'm actually somewhat sad I haven't spent more time hacking in it.That said, I decided to try a little experiment: writing Prolog in Haskell, staying as true to Prolog as possible, and see if the forced paradigm breaks it. I'll be rather thorough in explaining how things work for the benefit of the Prolog and Haskell illiterates out there, so if you're familiar with both you might want to tl;dr, or just bask in the glory that is Prolog and Haskell combined. At first this might seem somewhat difficult. Prolog doesn't have functions or procedures, but predicates.
A QuickCheck Tutorial: Generators
QuickCheck is a Haskell library for testing properties using randomly generated values. It's one of the most popular Haskell libraries and part of the reason why functional programming has mattered. In short, we can use functions to express properties about our programs and QuickCheck to test that such properties hold for large numbers of random cases. For example, given a function to reverse the elements of a list: reverse :: [a] -> [a] reverse [] = [] reverse (x:xs) = reverse xs ++ [x]
Making A Website With Haskell - adit.io
This is a guide to building and deploying a simple website using Haskell. We will use: Scotty for the backend Blaze-html for templating and Persistent for the ORM.
Composing Reactive Animations
Conal Elliott Microsoft Research Graphics Group Copyright 1998 We have all seen a lot of wonderful looking computer graphics, and many of us have spent time playing video games or watching our kids (or their kids) play them. It is clear that computer graphics, especially interactive graphics, is an incredibly expressive medium, with potential beyond our current imagination.
Haskell Lectures - CS 1501
Lecture 1 Outlines class structure, syllabus, grading policies, and reference text. Introduces the origin and theory behind Haskell.
Beginning Haskell
Before you start About this tutorial This tutorial targets programmers of imperative languages wanting to learn about functional programming in the language Haskell. In an introductory tutorial, many of Haskell's most powerful and complex features cannot be covered.
Typeclassopedia
By Brent Yorgey, byorgey@cis.upenn.edu Originally published 12 March 2009 in issue 13 of the Monad.Reader. Ported to the Haskell wiki in November 2011 by Geheimdienst.
A Gentle Introduction to Parsec ¶ blog.barrucadu
It seems to me that there aren’t many step-by-step introductions to parsec, where you build up a parser as you go. This is especially the case for applicative parsec, which is a shame as applicative functors are nice. So, I wrote one.
dev.stephendiehl.com/hask/#(1)
Stephen Diehl (@smdiehl ) Since I wrote these slides for a little user group talk I gave two years ago they have become a surprisingly popular reference. I decided to actually turn them into a proper skimmable reference for intermediate level Haskell topics that don't necessarily have great coverage or that tend be somewhat opaque as to where to get going, and then aggregate a bunch of the best external resources for diving into those subjects with more depth. Hopefully it still captures the "no bullshit brain dump" style that seemed to be liked. The source for all snippets is available here.
Haskell
Haskell is a functional programming language. If you have some programming experience, see the overview to see a bit of how Haskell works and is different from other languages. Haskell is distinct in a few ways: Haskell is a pure functional programming language. If you call the same function twice in two different places with the same arguments, it will return exactly the same value both times.Haskell provides a modern type system with sophisticated features like typeclasses and generalized algebraic data types (soon enough, terms like those will roll smoothly off your tongue).Haskell is also a lazy language that does calculations only when they are needed to get a final result.
Haskell from C: Where are the for Loops?
If you're coming from a language like C, Haskell can take some getting used to. It's typical for a new language to feel a little different, but in Haskell the differences are more dramatic, and more fundamental. In particular... Where are the for loops? In most imperative languages, for loops are all over the place, and are used for a wide variety of different things. Whether you're squaring every value of an array or finding its sum, you're probably using a for loop.
