Is this a practical way to write Android and iPhone code? I don't mean
console programs, I mean realistic smartphone apps.
Seeing as smartphones outsell laptops by about 10 to 1 nowadays, it would
be nice if it was.
Adrian.
On 6 Jul 2013 12:03, "Kiwamu Okabe" wrote:
> We are happy to announce
We are happy to announce Ajhc 0.8.0.7.
You can program interrupt handler with Haskell language on this release.
But not yet collect (big) patch sets, the changes will be merged to jhc.
You can get Ajhc using "cabal install ajhc" command.
The usage is found at Ajhc's project web site http://ajhc.me
We are adding exact first-class derivative calculation operators
(Automatic Differentiation or AD) to the lambda calculus, and
embodying the combination in a production-quality fast system suitable
for numeric computing in general, and compositional machine learning
methods in particular. To the p
> If you add the pragma ScopedTypeVariables to your file, it works the
> way you would assume. However you will have to change the toplevel
> signature to iterateListF :: forall a. (a -> a) -> a -> Fix (ListF a)
> in order to make it work (added the forall a.).
Thanks, that worked.
As far as I u
If you remove the type signature from f in the where clause it will
work. The reason is because the type signature listed there, the a is
a different a than in the top level signature. If you change it from
a to x, it says it should be the a that you can't seem to specify.
If you add the pragma
Hi all,
I came across an interesting type checker error, a function is
accepted in top level, but rejected by type checker when moved to
`where ...` clause.
I moved required code to a new module for demonstration purposes:
module Bug where
fix :: (a -> a) -> a
fix f = let x = f x i
Forwarding to the list.
-- Forwarded message --
From: Fredrik Karlsson
Date: Fri, Jul 5, 2013 at 11:42 AM
Subject: [Haskell-cafe] Basic Parsec float & integer parsing question
To: haskell-cafe@haskell.org
Dear list,
Sorry for asking a simple parsec question, but both Parsec an
Token parsers are specific to different languages. Afterall, haskell
parses floats differently than C, which is different from java
(probably). In order to use it in your code you have to tell it that,
like so:
haskelldef = makeTokenParser haskellDef
header :: Parser LabelFile
header = do
str
Dear list,
Sorry for asking a simple parsec question, but both Parsec and Haskell is
new to me, so please be gentle :-)
I have this code:
import Text.ParserCombinators.Parsec
import Text.Parsec.Token
Hello all,
I was looking for my master thesis topic and my supervisor suggested an
idea of extending class system so it enables refactoring Type Class
hierarchy without affecting client source code which is using
refactored classes.
One example is Functor - Applicative - Monad problem and corres
Ah
So it isn't a closed world
So how do I stop my instances clashing?
The "x" in
instance Foo Bar x
is never intended to be Integer.
Mark Nicholls | Lead broadcast & corporate architect, Programmes & Development
- Viacom International Media Networks
A: 17-29 Hawley Crescent
You're running into the "open world"assumption--anybody could come along
and make Integer part of your NotAnInteger class, and there's nothing you
can do to stop them. This is a design tradeoff for typeclasses: typeclass
instances are always global and are exported to all other modules you use.
Thi
The constraint on an instance never influences which instance is
selected. So as far as instance selection goes, 'instance Foo x' and
'instance C x => Foo x' are the same. The constraint is only checked
after the instance is selected.
Erik
On Fri, Jul 5, 2013 at 2:43 PM, Nicholls, Mark wrote:
>
Hello,
I largely don't know what I'm doing or even trying to do, it is a voyage into
the unknownbutif I go...
> {-# LANGUAGE MultiParamTypeClasses #-}
> {-# LANGUAGE FunctionalDependencies #-}
> {-# LANGUAGE FlexibleInstances #-}
> {-# LANGUAGE UndecidableInstances #-}
> class Foo x y |
Hi Anders,
the Darcs project has a few proposals that you can look at:
http://darcs.net/GSoC
The proposals were written for summer of code projects that involve
more time dedication, but they can be reshaped into smaller projects.
Feel free to mail me or to discuss it on the #darcs IRC channel on
There's one of my hobby projects that could use some manpower to
bootstrap it into a production-quality tool. It's an HTML templating
system; right now it reads input templates in one of two languages (one
very declarative, very similar to Python's jinja2, the other being a
locally-pure functional
16 matches
Mail list logo
