From the user manual, it sounds like a clause of a closed type family should
be rejected once no subsitution of the type could make it unify with the
clause. If so, it doesn't seem to do an occurs check:
type family IsEq a b :: Bool where
IsEq a a = True
IsEq a b = False
:kind! forall a
That was the only thing I worried about, but any examples I tried with families
like that ended up with infinite type errors.
Infinite types are not meant to be supported, which perhaps gives a solution -
the other sensible answer is bottom, i.e. a type checker error or perhaps an
infinite loop
But that would mean that `IsEq (F a) (F a)` (for some irreducible-for-now `F
a`) is stuck, even when we're sure that it will eventually become True. Your
approach is perhaps right, but it has negative consequences, too.
Richard
On Jul 2, 2014, at 9:58 AM, Brandon Moore
hi all,
I've added some code [1] [2] to GHCJS to make it run Template Haskell code
on node.js, rather than using the GHC linker. GHCJS has supported TH for a
long time now, but so far always relied on native (host) code for it. This
is the main reason that GHCJS always builds native and
wow, this is great work!
If theres a clear path to getting the generic tooling into 7.10, i'm all
for it :) (and willing to help on concrete mechanical subtasks)
On Wed, Jul 2, 2014 at 12:14 PM, Luite Stegeman stege...@gmail.com wrote:
hi all,
I've added some code [1] [2] to GHCJS to make
This would probably be a great boon for those trying to use haskell for
Android and IOS right? how might the emulation setup work for those?
On Wed, Jul 2, 2014 at 2:20 PM, Carter Schonwald carter.schonw...@gmail.com
wrote:
wow, this is great work!
If theres a clear path to getting the
-
PhD studentship - Interval Computation in Haskell
-
* Applicants should have a strong background in real analysis and
functional programming.
* The closing date for applications is 18th
The University of Hong Kong has a special early-recruitment program for
graduate
studies starting next year (September 2015).
Anyone interested in coming to Hong Kong and doing a PhD in the area of
Programming
Languages and Functional Programming is very welcome to apply! A strong Haskell
Hello everyone. I hope the Haskell Cafe will tolerate this musical interruption.
I suppose it's not so often that you can hear two different performers
use Haskell in their performances in one concert, but if you live in
the UK you have several opportunities to do so in the next few days.
Both