[Haskell-cafe] Monad.Reader 8: Haskell, the new C++

[Adrian Neumann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

I heard only rumors, but isn't Lisp supposed to be just that? A
programmable programming language?

Peter Verswyvelen schrieb:
> This is all very cool stuff, but sometimes I wander if it isn't possible
> to drop the special languages for fiddling with types, and introduce
> just a single language which has no types, only raw data from which you
> can built your own "types" (as in the old days when we used macro
> assemblers ;-), but the language has two special keywords: static and
> dynamic, where code annotated with static runs in the "compiler domain",
> and code annotated with dynamic runs in "application domain". Of course,
> I don't know much about this, so this idea might be totally insane ;-)
> Probably this is impossible because of the halting problem or something...
> 
> Pete
> 
> Don Stewart wrote:
>>>> Better here means "better" -- a functional language on the type 
>>>> system,
>>>> to type a functional language on the value level.
>>>>
>>>> -- Don
>>>>       
>>> For a taste, see Instant Insanity transliterated in this functional 
>>> language:
>>>
>>> http://hpaste.org/2689
>>>
>>> NB: it took me 5 minutes, and that was my first piece of coding ever 
>>> with Type families
>>>     
>>
>> Wow. Great work!
>> The new age of type hackery has dawned.
>>
>> -- Don
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>>
>>   
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFG6ikc11V8mqIQMRsRA+PzAKCN0bC6lv8p9WEwJkJrcczktIdKGACfUdkt
0QBGlmgwfYrKS6lKEwQihkc=
=31jo
-----END PGP SIGNATURE-----