Disciple: A Strict Dialect of Haskell

#1

Post by primodemus » Sat, Feb 19, 2011, 1:06 PM UTC

Disciple: A Strict Dialect of Haskell
disciple.ouroborus.net

Re: Disciple: A Strict Dialect of Haskell

#2

Post by lallysingh » Sat, Feb 19, 2011, 4:07 PM UTC

I have quite a few ML-loving friends who might be into this...

Re: Disciple: A Strict Dialect of Haskell

#3

Post by carterschonwald » Sat, Feb 19, 2011, 4:08 PM UTC

From a quick look through, the current type system and semantics seems to have more in common with an ML dialect than Haskell (though its syntax and long term intended type system style does resemble haskell's more closely)

Re: Disciple: A Strict Dialect of Haskell

#4

Post by neutronicus » Sat, Feb 19, 2011, 5:23 PM UTC

Color me interested. Pragmatism where destructive array updates are concerned is a boon for the numerical stuff I'm interested in.

Re: Disciple: A Strict Dialect of Haskell

#5

Post by itsnotvalid » Sat, Feb 19, 2011, 6:23 PM UTC

There is quite a lot of Haskell dialects... the last one listed here was Atomo (http://atomo-lang.org/) and now another contender. Or simply put Haskell the language is also good at hosting dialects.

Re: Disciple: A Strict Dialect of Haskell

#6

Post by SwellJoe » Sat, Feb 19, 2011, 6:36 PM UTC

I thought Haskell was a strict dialect of Haskell.

Re: Disciple: A Strict Dialect of Haskell

#7

Post by gb » Sat, Feb 19, 2011, 6:55 PM UTC

SwellJoe wrote: post #6

I thought Haskell was a strict dialect of Haskell.

The "strict" refers to the fact it's not lazily evaluated.

Re: Disciple: A Strict Dialect of Haskell

#8

Post by vito » Sat, Feb 19, 2011, 7:32 PM UTC

itsnotvalid wrote: post #5

There is quite a lot of Haskell dialects... the last one listed here was Atomo ( http://atomo-lang.org/ ) and now another contender. Or simply put Haskell the language is also good at hosting dialects.

Atomo isn't a Haskell dialect - it's another language. The first implementation is written in Haskell, but other than that there's no relation.

Re: Disciple: A Strict Dialect of Haskell

#9

Post by winxordie » Sat, Feb 19, 2011, 7:33 PM UTC

itsnotvalid wrote: post #5

There is quite a lot of Haskell dialects... the last one listed here was Atomo ( http://atomo-lang.org/ ) and now another contender. Or simply put Haskell the language is also good at hosting dialects.

Atomo's an EDSL in Haskell. I think I'd have to consider Clojure to be a Java dialect by your definition.

Re: Disciple: A Strict Dialect of Haskell

#10

Post by dons » Sat, Feb 19, 2011, 7:44 PM UTC

neutronicus wrote: post #4

Color me interested. Pragmatism where destructive array updates are concerned is a boon for the numerical stuff I'm interested in.

Remember that regular Haskell has pragmatic destructive arrays as well (e.g. repa, vector, hmatrix).

The primary interesting thing about DDC, in my view, is the effect types -- the type system can infer what kind of monadic effects you're using.