maybe this will help?
Haskell code in and of itself isn't special. proofs can happen with the
type system, but typically you'd want to define a target language and do
assertions about it, similar to how a compiler inspects it's input
programs. Haskell is not homoiconic nor is it like coq or prolog
i don't understand what you're trying to do with that code, however you
seem to be asking about theorem proving in general
check out
http://www.haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers
and
http://en.wikipedia.org/wiki/Automated_theorem_proving
hope it helps
On Wed, May 1
(oops, forgot to reply all)
if you're on the jvm already why not consider clojure?
it lacks static typing, but S expressions can stand in for haskell types
if you really need them to.
otherwise you'll have to do some fancy JNI calls and worry about calling
haskell from C, like this
http://www.
wouldn't they just want to have TCO happen during the compilation into
java? why would you want to output java that has recursion?
-Dan
On Wed, May 26, 2010 at 4:17 PM, Evan Laforge wrote:
>> So, sadly, I think your chances of shipping your a title written in Haskell
>> on the iPhone are shot to
Hey all
Can anyone recommend a good textbook on computer vision or image processing?
I don't care if it favors Haskell or not, I'm just trying to find a good text.
-Dan
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailm
thanks, i've got it working
i'll probably post the code when i'm done
On Tue, Nov 10, 2009 at 3:01 PM, Nicolas Pouillard
wrote:
> Excerpts from Dan Mead's message of Tue Nov 10 20:23:26 +0100 2009:
>> i think that may be too in depth.
>>
>> all i'm trying to do is catch a regular pattern match e
i think that may be too in depth.
all i'm trying to do is catch a regular pattern match exception
On Tue, Nov 10, 2009 at 5:50 AM, Roel van Dijk wrote:
> Have a look at this recently uploaded package:
>
> http://hackage.haskell.org/package/first-class-patterns
>
> Examine the "tryMatch" function
hey all, is there something special about pattern match exceptions?
i'm attempting to catch pattern match failures to use as control for a
production system.
so i want to be able to do something like
catch (head []) (\e -> print "that theres pattern fail!" )
any suggestions?
hat's the case?
>
> On Wed, Jan 28, 2009 at 3:14 PM, Braden Shepherdson
> wrote:
> > Conrad Meyer wrote:
> >>
> >> On Wednesday 28 January 2009 08:15:44 am Braden Shepherdson wrote:
> >>>
> >>> Dan Mead wrote:
> >>>>
>
has there been any movement on this topic? i'm also interested in haskell on
arm
do you guys thing telling ghc to emit C and then compiling that for arm is a
better route than
getting direct compilation to work?
-dan
On Fri, Jul 25, 2008 at 3:55 AM, Simon Marlow wrote:
> Joe Buehler wrote:
>
write the C wrapper that calls haskell, then link that to your C++ objects
I think what you're really asking is how to call C from C++
-Dan
2008/4/16 Miguel Lordelo <[EMAIL PROTECTED]>:
> Hi all,
>
> Well...somehow I'm a beginner in Haskell. But actually my interest in
> Haskell will increase i
Andrew: Try using catchalls in your guards
pattern1
| guard1 =
| guard2 =
| otherwise =
This makes it much easier to use pattern guards.
"otherwise" is a reserved word used for this stuff in ghc.
-Dan
On 6/27/07, Jon Cast <[EMAIL PROTECTED]> wrote:
On Wednesday 27 June 2007, Andrew Coppin
Micheal, I think you mean
do
x <- if .. then ..
else ..
y <- if ... then..
else...
etc etc
On 6/25/07, Michael T. Richter <[EMAIL PROTECTED]> wrote:
Now I've got a situation I can't figure out how to resolve. I want to
have a set of actions which are executed sequentially,
If you want to enforce associativity just create your own Eq instance and
make it a pattern there.
Initially when I started doing Haskell it seemed that you could just type
an equation of constructors and have it enforced as a rule. This actually
isn't the case (someone correct me if I'm wrong) b
is that your implementation of LOLCODE?
:P
On 5/29/07, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote:
We got the names wrong!
data PLZ a = AWSUM_THX a | O_NOES String
instance Monad PLZ where
return= AWSUM_THX
fail = O_NOES
O_NOES s
try sticking a semicolon in there for good measure, sometimes ghc gets
confused
On 5/15/07, Eric <[EMAIL PROTECTED]> wrote:
Hi there,
I've written the following program
putchr = putChar ?d
main = do
{ c <- getChar
; putchr with ?d = c}
which I try to compile with
ghc --make -fimplicit-para
I've tried doing haskell projects on fedora ubuntu and gentoo and gentoo was
by far
the best supported.
-Dan
On 4/22/07, David Cabana <[EMAIL PROTECTED]> wrote:
I'm not dissing Windows; I work with it all the time, just not for
Haskell. On the other hand, I am writing this on my Powerbook.
My
I believe there is a library which lets you do do perl style REGEX matching
maybe you should check that out
On 4/12/07, Thomas Hartman <[EMAIL PROTECTED]> wrote:
I was translating some perl code to haskell as a learning exercise and
wound up with the following. (below) Simple code that accepts
Ah... there really needs to be more literature written on switching to the
functional paradigm, IMHO.
That is really these guys haven't had an easy time with it.
On 4/11/07, Ryan Dickie <[EMAIL PROTECTED]> wrote:
I thought I could resist this thread but I'll bite =:-()
The first language i le
lambdabot runs on xp?
=(
On 3/29/07, Tim Chevalier <[EMAIL PROTECTED]> wrote:
On 3/29/07, Stefan O'Rear <[EMAIL PROTECTED]> wrote:
> As a result of my recentish code cleanups, everything lambdabot does,
> even the main command loop, is a @-command. If you just run it as
> 'lambdabot', you giv
man, Micheal's minutes have been spamming my yahoo account
since like 2002. Think you could take care of that for me?
also, I'll write your mime library... my rate is $50 an hour
Dan
On 3/18/07, Jeremy Shaw <[EMAIL PROTECTED]> wrote:
Hello,
If you have tried to do any MIME processing using
that seems like the "wrong" way
check out prettyprint in the standard library
On 3/9/07, Frozz <[EMAIL PROTECTED]> wrote:
Hi Haskell ppl,
I'm trying to solve a problem that had been bothering me for a long time.
I'm
trying to create index and display the index in Hugs as well as an output
tex
so are monads whats holding the nuclear waste or whats holding the apples?
;)
On 2/1/07, Frederick Ross <[EMAIL PROTECTED]> wrote:
And we have reached the monadic equivalent of Schrodinger's cat.
On 1/31/07, Eric Y. Kow <[EMAIL PROTECTED]> wrote:
> Dear Haskellers,
>
> In the recent HWN, I no
I find it odd when people talk about portability in languages. Form me that
has always been a given (I started my first language, c++ in 2002).
I got into Haskell and FP in general when I took advanced languages at my
uni and I still write haskell java and c++ regularly.
On 1/29/07, David Kirkma
I think he meant something more along the lines of (or exactly) this, but in
Haskell
http://java.sun.com/docs/books/tutorial/networking/sockets/clientServer.html
I for one would also be interested in reading a tutorial like this using the
ghc libs
-Dan
On 1/11/07, Henning Thielemann <[EMAIL PR
a carrot indicator like java does would also be a nice addition.
On 1/8/07, Walter Moreira <[EMAIL PROTECTED]> wrote:
Hi Haskellers. A short while ago I asked about the possibility to have
the output of ghci in color. Thanks to Donald Stewart who set up a
wiki page to continue the attempt. Oth
sum <- newIORef 0
i <- newIORef 1
let go = do i' <- readIORef i
when (i'
why in the world would you write a summation function like that?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/has
To think "properly" in haskell when you need side effects you should look at
monads
and how they are used in I/O.
I'm no expert but most applications i've seen start like this
main = do x <-getArgs
mapM_ somefunction(x)
do is a construct that lets you have a bunch of IO statemen
Hey all, I've just finished my logic prover. I've been working on this as an
undergraduate project
with my advisor. Right now it only supports simple first order logic but in
the spring I'll be adding predicates.
Theres also a simple gui written in java 5 which is in the darcs
repository. Commen
29 matches
Mail list logo
