On 20/08/2012, at 11:19 PM, Johannes Waldmann wrote:
Are there any Haskell bindings for BDD libraries
(reduced ordered binary decision diagrams)?
E.g., it seems buddy is commonly used
http://packages.debian.org/squeeze/libbdd-dev
and it has an Ocaml binding.
My hBDD bindings are on
Hilco,
On 22/06/2012, at 2:54 PM, Hilco Wijbenga wrote:
I'm going through the excellent http://learnyouahaskell.com tutorial.
So far it's been pretty easy to follow but now I ran into something
that (when I later started reading about maps) do not seem to fully
grasp.
I think I'm close to
Christopher,
On 16/03/2012, at 11:23 PM, Christopher Svanefalk wrote:
there is a question I have been thinking about a bit. In short, we could
simply formulate it like this:
Are there any problems which cannot be solved a side effect-free language
(such as Haskell)? In other words, are
Tom,
On 19/02/2012, at 3:21 AM, Tom Schouten wrote:
Does AFunctor below have a standard name? It's a generalization of
the Functor class in terms of Arrow instead of (-):
fmap :: Functor f = (i - o) - f i - f o
afmap :: Arrow a, AFunctor f = a i o- a (f i) (f o)
Ben,
On 07/10/2011, at 8:55 AM, Benjamin Redelings I wrote:
My question is, roughly, is there already an existing framework for
incremental
evaluation in Haskell?
Margnus Carlsson did something monadic several years ago.
http://dl.acm.org/citation.cfm?doid=581478.581482
Perhaps there is
On 03/05/2011, at 1:25 PM, Richard O'Keefe wrote:
In one of his blog posts, Robert Harper claims that the natural numbers
are not definable in Haskell.
SML datatype nat = ZERO | SUCC of nat
Haskell data Nat = Zero | Succ Nat
differ in that the SML version has strict constructors,
On 27/04/2011, at 3:04 AM, Rogan Creswick wrote:
At the moment, cabal-dev ghci just uses the -package-conf and
-no-user-package-conf flags to restrict ghci to the sandboxed and
global package dbs.
It's difficult to do more without parsing the content of the project's
cabal file, and that
David,
On 21/03/2011, at 4:18 PM, David Barbour wrote:
I was giving Control.Arrow a try for a reactive programming system.
The arrows are agents that communicate by sending and returning
time-varying state. Different agents may live in different 'vats'
(event-driven threads) to roughly model
Ben, comments from the peanut gallery:
On 13/07/2010, at 11:51 PM, Ben Lippmeier wrote:
What kind of equality do you use for getChar :: IO Char ?
Surely this is easy: getChar denotes a particular IO action, which is always
the same thing (i.e. self-identical and distinct from all other IO
Ben,
On 29/04/2010, at 6:16 AM, Ben wrote:
[...]
newtype STAuto s a b = STAuto { unSTAuto : (a, s) - (b, s) }
As Felipe observes in detail, this can be made to work. He uses Read and Show
for serialisation, but clearly you can use whatever you like instead.
I just wanted to add that one
On Thu, Apr 22, 2010 at 4:07 AM, Aaron D. Ball
aarondball+hask...@gmail.com wrote:
I don't need a tool that automatically figures out how to distribute
any workload in an intelligent way and handles all the communication
for me. If I have the basic building block, which is the ability to
Thanks Oleg!
Brad:
On 24/09/2009, at 3:54 PM, o...@okmij.org wrote:
and interpret it several times, as an integer
-- testpw :: Int
testpw = (unR power) (unR 2) ((unR 7)::Int)
-- 128
My type function allows one to remove the '::Int' annotation, which is
especially useful in situations
Brad:
On 24/09/2009, at 11:59 AM, excerpts of what Brad Larsen wrote:
We then try to define an evaluator:
-- instance PolyArithExpr E where
-- constant = E
-- addP e1 e2 = E (eval e1 + eval e2) -- bzzt!
The instance definition for `addP' is not type correct:
Could not deduce (Num
Brad,
On 24/09/2009, at 2:45 PM, Brad Larsen wrote:
On Thu, Sep 24, 2009 at 12:22 AM, Peter Gammie pete...@gmail.com
wrote:
[...]
Ambiguity is IMHO best handled with a judicious application of type
(or
data) families, but you can get surprisingly far by simply
requiring that
every class
On 06/08/2009, at 10:59 PM, Simon Marlow wrote:
On 06/08/2009 13:49, Thomas Davie wrote:
On 6 Aug 2009, at 14:37, Nils Anders Danielsson wrote:
On 2009-08-06 11:08, Malcolm Wallace wrote:
yet, because of the definition of $!, this applies the
constructor to
its arguments right-to-left
On 28/07/2009, at 11:35 AM, Richard O'Keefe wrote:
It's true that the abstract speaks of a more biological
scheme of protected universal cells interacting only through
messages that could mimic any desired behavior, but that's
basically _it_ for biology, if we are to believe Kay, and
even then,
On 28/07/2009, at 12:59 PM, Richard O'Keefe wrote:
On Jul 28, 2009, at 2:25 PM, Peter Gammie wrote:
But Richard (or am I arguing with Kay?) - monads don't interact.
You're arguing with Alan Kay here: the reference to Leibniz
was his. The key link here is (Wikipedia): Leibniz allows
just
Hello,
Mark and I would like to announce our test harness, which has features
complementary to existing harnesses.
TBC provides two main features:
- It attempts to compile and run all tests, even if some do not
compile or run.
- Aspiring to the write-it-once principle, tests following
On 27/07/2009, at 2:26 PM, Alexander Dunlap wrote:
Can it return an exit status based on whether or not all tests passed?
If not, that would be a very useful feature that I have not seen in
any other testing frameworks.
It could, and that's probably true of the other harnesses out there.
The
Hello,
According to the manual:
http://haskell.cs.yale.edu/ghc/docs/latest/html/users_guide/separate-compilation.html#search-path
GHCi is not overly keen to go looking for modules in directories
different to where the source resides.
The semantics I want is:
- use the Cabal-built
On 13/05/2009, at 6:43 PM, Bayley, Alistair wrote:
From: glasgow-haskell-users-boun...@haskell.org
[mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf
Of Peter Gammie
http://haskell.cs.yale.edu/ghc/docs/latest/html/users_guide/se
parate-compilation.html#search-path
GHCi is not overly
Richard,
I remember having similar problems to you when trying to use the FFI.
The following comments are suggestions as to what helps in practice,
and not a claim that the situation can't be improved.
On 13/05/2009, at 8:40 PM, Richard W.M. Jones wrote:
Specific things would be:
Nicola: I had the same problem using the GHC 6.8.2 Debian package.
Igloo promises me that GHC 6.8.3 fixes this problem, but I haven't
seen that in the Debian repository yet.
cheers
peter
2008/8/15 Nicola Squartini [EMAIL PROTECTED]:
It works! This is much easier, thank you
Nicola
Ian - how long until GHC 6.8.3 makes it into Debian's unstable
repository?
(Just curious how long it takes, and flying the flag of interest.)
BTW is there another .deb repository out there for bleeding-edge
Haskell artefacts? I believe there used to be, but the URLs in those
old (2004)
Hello,
I have the same problems. I believe I sent Malcolm some patches. If
not, look here:
http://peteg.org/haskell/HaXml/
I am away from my laptop right now so I cannot readily tell you
whether a darcs get will do the job. In any case, there is a bug in
the DTD parser that is easily fixed.
On 05/06/2008, at 5:31 PM, apfelmus wrote:
WASH/CGI has something in that direction. I don't know a short
introduction, but have a look at sections 4 and 8 of the
implementation notes
http://www.informatik.uni-freiburg.de/~thiemann/WASH/draft.pdf
I think there is also some work done
On 02/06/2008, at 5:26 AM, Don Stewart wrote:
pieter:
Yes, it is entirely possible to statically link entire CGI apps.
You might want to watch out for a bug in GHC 6.8.2 that means GHC's -
static flag doesn't work. (At least for me, at least on Debian: the -
lpthread flag is passed before
from
darcs, perhaps?
BTW when I said move to the end, I meant move to the end of -l
flags.
cheers
peter
On 27/05/2008, at 10:37 AM, Peter Gammie wrote:
Hello,
I am having a bit of trouble static linking my program using GHC
6.8.2.
In brief: rt uses pthread, but -lrt is the final thing
Ian: does static linking on linux work? See my earlier emails, it is
easy enough to test. Would you like me to report a bug? There really
should be a unit test for this.
cheers
peter
On 28/05/2008, at 10:20 PM, Ian Lynagh wrote:
We are pleased to announce the Release Candidate phase for
On 28/05/2008, at 12:28 PM, Miguel Mitrofanov wrote:
I am taking comments on a web forum from arbitrary people. The
interpretation of the HTML occurs at the user's browser. A lot of
people will be using outdated browsers (IE 5.5 / 6), ergo security
(at the source) becomes my problem. I
from
darcs, perhaps?
BTW when I said move to the end, I meant move to the end of -l
flags.
cheers
peter
On 27/05/2008, at 10:37 AM, Peter Gammie wrote:
Hello,
I am having a bit of trouble static linking my program using GHC
6.8.2.
In brief: rt uses pthread, but -lrt is the final thing
On 27/05/2008, at 6:08 PM, Neil Mitchell wrote:
It most certainly is a security flaw.
In the src of an img, yes, probably. In the href of a link, its a
completely valid thing to do - and one that I've done loads of times.
The URI is fine, its just the particular location that is dodgy.
Hello,
Has anyone got some code for drawing charts?
I don't mean graphs of functions, ala
http://dockerz.net/twd/HaskellCharts
and I don't mean calls to the Google Charts API ala
http://community.livejournal.com/evan_tech/241080.html
I would like something that can generate PNGs in memory,
On 30/04/2008, at 5:32 PM, Malcolm Wallace wrote:
Peter Gammie [EMAIL PROTECTED] wrote:
The most-recent darcs version relies on a newer ByteString than I
have, so it is not easy for me to test it.
I believe there was a patch to fix this. Apparently only one
version of
the bytestring
On 21/05/2008, at 5:44 PM, Malcolm Wallace wrote:
Peter Gammie [EMAIL PROTECTED] wrote:
!ELEMENT table
(caption?, (col*|colgroup*), thead?, tfoot?, (tbody+|tr+))
Using a slightly hacked HaXml v1.13.3, I get this from DtdToHaskell:
data Table = Table Table_Attrs (Maybe Caption
You want to lazily read a CSV file? I had a crack at writing a module
for that:
http://peteg.org/blog/AYAD/Project/2008-04-11-LazyCSVParser.autumn
It is not quite RFC compliant (I believe that is clearly commented
upon).
As I say there, anything based on (older versions of) Parsec is
On 29/04/2008, at 12:58 PM, Brandon S. Allbery KF8NH wrote:
On Apr 29, 2008, at 1:45 , Verma Anurag-VNF673 wrote:
A naïve question I have now after reading your mail. How do I call
MarshallAlloc.free from my C code because that's where I need to
free it?
Provide a Haskell wrapper function
Is anyone using HaXml to validate XHTML Strict?
The old 1.13.2 version has some bugs in how it handles attributes that
stop me from using it. It handled the DTD parsing fine.
The most-recent darcs version relies on a newer ByteString than I
have, so it is not easy for me to test it.
A
On 28/04/2008, at 7:23 PM, Bulat Ziganshin wrote:
Hello Verma,
Monday, April 28, 2008, 4:11:51 PM, you wrote:
newCString str
Now once I call this function from C code, I am freeing the allocated
memory using free function. I want to confirm that this is the right
thing to do.
yes,
On 03/04/2008, at 9:10 PM, John Goerzen wrote:
On 2008-04-01, Peter Gammie [EMAIL PROTECTED] wrote:
I added some stuff to HSQL (not HDBC) and HaskellDB so that UTF8 can
be used to talk to the database. It's not very pretty though, so I
haven't tried to get it merged.
Do you have a diff
On 04/04/2008, at 9:27 PM, John Goerzen wrote:
I can see this being a performance and ease-of-use win in some
situations. I don't think it's an actual feature difference, though.
If you can represent it as a [Word8], you can represent it as a
[Char], and it will be converted to the same
On 31/03/2008, at 11:42 PM, Bjorn Bringert wrote:
2008/3/26 Adrian Neumann [EMAIL PROTECTED]:
Hi,
I wrote a CGI program to access a Postgres database using HDBC. [...]
I think that Peter Gammie (copied) has some code to deal with this.
I added some stuff to HSQL (not HDBC) and HaskellDB
Vasili,
On 04/02/2008, at 10:04 PM, Galchin Vasili wrote:
I am reading through the FFI doc. Any suggestions on enabling
Haskell programmers to model ANSI C structs that will be passed down
to C run-time?
The FFI spec is a wonderful document, but is of limited use in
learning to
On 28/12/2007, at 4:21 PM, Miguel Mitrofanov wrote:
How can I test that partial order in Haskell ?
You can't. It's kinda internal. More specifically, if you try to
compute a value, which is not maximal in this order, you'll get an
error or loop forever. But you still can use such values
On 28/12/2007, at 5:50 PM, Miguel Mitrofanov wrote:
Right, so when I say to GHCi:
Prelude take 5 [1..]
and it says:
[1,2,3,4,5]
then it really has computed the entirety of the infinite sequence
[1..], and not some approximation?
Of course not! In fact, it doesn't even compute
On 28/12/2007, at 7:19 PM, Miguel Mitrofanov wrote:
So what do you expect:
take 5 [1,2,3,4,5,undefined]
to do?
Nothing! It's a value, not an instruction!
Dang, I knew I'd choose at least one wrong word in all of that. :-P
What is it's value, then? ... and what is the value of the
Hello,
Does anyone have a library for sending email from a Haskell program?
I'd like something portable and cabalised.
I note there is code in darcs to send email on Windows and UNIX-y
systems, and also something in WASH (I know not what). Apparently
there is an SMTP server of some kind
Nick,
Roughly, I'd say you can fudge laziness in data structures in a
strict language without too much bother. (I don't have much
experience with this, but the existence of a streams library for
OCaml is the sort of thing I mean. There are plenty of papers on co-
iterative streams and
) $(GHCI_LD_OPTS) -o h$$lib.o $(CUDD_LIB)/$$lib/lib$$lib.a;\
err... you get the idea: add that bit of linker magic to whatever
you're already doing and those nasty symbols go away. I don't know if
this is a general fix but it works for me.
cheers
peter
On 26/04/2006, at 10:00 PM, Peter Gammie wrote
Hello,
I am wondering if the following patch (or equivalent) made it into
GHC 6.4.2. I was hoping it would fix my problem:
mjollnir ~/src/ghc/ghc-6.4.2$ ghci `hbdd-config --cudd-libs`
___ ___ _
/ _ \ /\ /\/ __(_)
/ /_\// /_/ / / | | GHC Interactive, version 6.4.2, for
Hello,
I have a question about the FFI and reference counted objects in C
land. This is a bit complicated, unfortunately.
The problem arises in trying to integrate a BDD package with GHC's
storage
manager. One of the properties of BDD packages is that the name of a
BDD (a
pointer or an int)
Hal (and other interested parties):
I used Haskell to implement a model checker for a group of logics of time
and knowledge. In practice these are a bunch of extensions to the classic
CTL algorithms implemented in SMV [1].
The program itself (in terms of LOC) looks mostly like a compiler, and so
52 matches
Mail list logo