[redirected to haskell-cafe]
Jan Stranik wrote:
Do you know what is the theoretical foundation for having mfix process
side-effects in the lexical order as opposed to execution order?
Could you point me to some papers, if you know of any off top your head?
Reading various papers and the Wiki about GHC optimizer rules I got the
impression that there are not much properties I can rely on and I wonder
how I can write a reliable fusion framework with this constraint.
I read about the strategy to replace functions early by fusable
implementations and
On Tue, 2008-01-15 at 23:32 -0500, Paul L wrote:
GLFW is a Haskell module for GLFW OpenGL framework. It provides an
alternative to GLUT for OpenGL based Haskell programs.
The current 0.3 version is for download from hackageDB at:
Hello all,
If anybody has already used libmpd-haskell (the darcs repo version)
or would like to look over it I would appreciate their comments.
Thanks,
Ben
http://turing.une.edu.au/~bsinclai/code/libmpd-haskell/
signature.asc
Description: Digital signature
GHC has one main mechanism for controlling the application of rules, namely
simplifier phases. You can say apply this rule only after phase N or
apply this rule only before phase N. Similarly for INLINE pragmas. The
manual describes this in detail.
I urge against relying on top-down or
Henning Thielemann wrote:
Reading various papers and the Wiki about GHC optimizer rules I got the
impression that there are not much properties I can rely on and I wonder
how I can write a reliable fusion framework with this constraint.
That depends on your definition of reliable. You can't
On Wed, 16 Jan 2008, Simon Peyton-Jones wrote:
GHC has one main mechanism for controlling the application of rules,
namely simplifier phases. You can say apply this rule only after
phase N or apply this rule only before phase N. Similarly for INLINE
pragmas. The manual describes this in
On 2008.01.15 22:54:08 -0800, Benjamin L. Russell [EMAIL PROTECTED]
scribbled 1.8K characters:
Your Yi editor tutorial looks like a fascinating idea,
but I use Mac OS X (10.2.8 Jaguar, soon to be upgraded
to 10.5.x Leopard) at home, and Windows XP at work,
while your tutorial is based on
On Jan 14, 2008 9:47 AM, Sterling Clover [EMAIL PROTECTED] wrote:
HStringTemplate is a port of Terrence Parr's lovely StringTemplate
(http://www.stringtemplate.org) engine to Haskell.
It is available, cabalized, at:
darcs get http://code.haskell.org/HStringTemplate/
Template systems have
Felipe Lessa wrote:
apfelmus wrote:
The type of contPromptM is even more general than that:
casePromptOf' :: (r - f b)
- (forall a,b. p a - (a - f b) - f b)
- Prompt p r - f b
casePromptOf' done cont (PromptDone r) = done r
casePromptOf' done cont
How do I get reports on coverage of all modules in a program?
The documentation I've found http://blog.unsafeperformio.com/?p=18 and
http://www.haskell.org/ghc/docs/latest/html/users_guide/hpc.html both do
coverage of a single module. Going the naive route of first making sure
there are no
Hi
and .hi files) then running 'ghc --make -fhpc MyTool.hs' succeeds in
That's all I do.
'hpc6 markup MyTool' includes only Main
I do:
hpc markup MyTool.tix
Then it all Just Works (TM). What is hpc6? I am using the version
supplied with GHC 6.8.
Thanks
Neil
First of all, Andrew: Thanks! That was really interesting.
Benjamin L. Russell wrote:
Your Yi editor tutorial looks like a fascinating idea,
but I use Mac OS X (10.2.8 Jaguar, soon to be upgraded
to 10.5.x Leopard) at home, and Windows XP at work,
while your tutorial is based on Ubuntu and the
Hello,
In the ghc libraries directory I can't find the Haskell .hs/.lhsthat
implements Posix select. ?? I found Select.c.
Regards, Vasili
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
vigalchin:
Hello,
In the ghc libraries directory I can't find the Haskell
.hs/.lhsthat implements Posix select. ?? I found Select.c.
In Control.Concurrent
forkIO
threadDelay
threadWaitRead
threadWaitWrite
The thread primitives are implemented in terms of
Hi Don,
Sorry ..I wasn't clear enough.I am trying to determine from the
Haskell FFI doc what datatype to use in order to model C's void *, e.g.
for mmap http://www.opengroup.org/onlinepubs/95399/functions/mmap.html
Regards, Vasili
On 1/16/08, Don Stewart [EMAIL PROTECTED] wrote:
vigalchin:
Hi Don,
Sorry ..I wasn't clear enough.I am trying to determine from the
Haskell FFI doc what datatype to use in order to model C's void *, e.g.
for mmap
[1]http://www.opengroup.org/onlinepubs/95399/functions/mmap.html
Regards, Vasili
In the
On Tue, 8 Jan 2008, David Waern wrote:
Changes in version 2.0.0.0:
* The GHC API is used as the front-end
It's great to see this progress in Haddock. However, is Haddock now more
difficult to port than before? Is there some bug- and feature request
tracker for Haddock? I only know of
Hi Don,
I am looking at the code for ghc-6.8.2 but don't see the mmap support.
Is this newly wriiten by you? I would also like to help round out the Posix
functionality in Haskell. Is there an accurate list of what needs to be done
given the fact that maybe some work is in progress but not
vigalchin:
Hi Don,
I am looking at the code for ghc-6.8.2 but don't see the mmap
support. Is this newly wriiten by you? I would also like to help round out
the Posix functionality in Haskell. Is there an accurate list of what
needs to be done given the fact that maybe
I know nothing about theoretical computer science, but I was wondering
if it possible to forget about types, and just keep the concept of data
constructors, and have an analyzer determine correctness of the code and
staticness of the data?
Basically this is what SCHEME does no? Doesn't SCHEME
bf3:
I know nothing about theoretical computer science, but I was wondering
if it possible to forget about types, and just keep the concept of data
constructors, and have an analyzer determine correctness of the code and
staticness of the data?
The analysis would be type inference and
On Wed, 16 Jan 2008, Roman Leshchinskiy wrote:
Henning Thielemann wrote:
Reading various papers and the Wiki about GHC optimizer rules I got the
impression that there are not much properties I can rely on and I wonder
how I can write a reliable fusion framework with this constraint.
On Wed, Jan 16, 2008 at 12:40:22PM -0800, Donald Bruce Stewart wrote:
If something you need is missing from there, write it as a patch against
the darcs repository for `unix',
http://darcs.haskell.org/packages/unix/, and submit it to
[EMAIL PROTECTED] for inclusion in the next release of
On Thu, Jan 03, 2008 at 11:11:40AM +, Simon Marlow wrote:
Anyhow, could you retry this test with the above change in methodology,
and let me know if (a) the pull is still slow the first time and (b) if
it's much faster the second time (after the reverse unpull/pull)?
I think I've done
Peter Verswyvelen [EMAIL PROTECTED] wrote:
I know nothing about theoretical computer science, but I was wondering
if it possible to forget about types, and just keep the concept of
data constructors, and have an analyzer determine correctness of the
code and staticness of the data?
Achim Schneider [EMAIL PROTECTED] wrote:
And, yes, Stalin manages to specialize a - a functions to Int - Int
to make numerical code as fast or faster than C, but so does GHC.
That is, seen formally, quite fuzzy. I'm going to be beaten for it.
--
(c) this sig last receiving data processing
What is hpc6? I am using the version supplied with GHC 6.8.
This is just hpc on debian/ubuntu systems, where all the binaries have
symlinks that append a version number.
ghc6.8 on debian doesn't provide hpc without the 6. I just reportbugged
this.
--Lane
Thank you for explaining.
I was wondering if the same syntax could be used somehow (not in
Haskell, in some theoretical language), I mean use an annotation to tell
the compiler that a type-tag should be determined at compile time and
not at runtime, otherwise - error
So eg
// Runtime tag, aka
I'm trying to build http://www.cs.york.ac.uk/fp/darcs/Blobs using GHC
6.8.2. It looks like a good Haskell program to learn from.
So far I managed to modify the source code so it makes use of the new
HaXML libraries, and after a lot of hacking I could build and link to
wxHaskell, but my app
Adam Langley agl at imperialviolet.org writes:
On Jan 10, 2008 10:45 AM, Don Stewart dons at galois.com wrote:
That's pretty much what we envisaged as the approach to take.
Monad transformers adding some bit-buffer state over Get/Put.
For anyone who's still reading this thread...
2008/1/16, Henning Thielemann [EMAIL PROTECTED]:
On Tue, 8 Jan 2008, David Waern wrote:
Changes in version 2.0.0.0:
* The GHC API is used as the front-end
It's great to see this progress in Haddock. However, is Haddock now more
difficult to port than before?
Haddock is already
Peter Verswyvelen [EMAIL PROTECTED] wrote:
Thank you for explaining.
I was wondering if the same syntax could be used somehow (not in
Haskell, in some theoretical language), I mean use an annotation to
tell the compiler that a type-tag should be determined at compile
time and not at
Henning Thielemann wrote:
To give a precise example: If I have a sequence of 'map's
map f0 . map f1 . ... . map fn
then there is some length where this is no longer collapsed to a single
'map'?
No. After applying a rule, the simplifier optimises the result of the
rewriting. This means
Achim Schneider writes:
Lisp is actually not really meant to be compiled, but interpreted. The
nice thing is that it doesn't need more than a handful of primitives, a
list parser and heap manager/garbage collector and evaluator, which all
can be implemented in under 1000 lines of C. Things get
Hi,
I’m only margianlly involved or up to date there, but still some might
have missed this:
Ohloh has begun to release their tools, starting with ohcount, their
tool to measure code and comments lines:
http://labs.ohloh.net/ohcount/
They explicitly write that they want haskell support, and
mail:
Hi,
I’m only margianlly involved or up to date there, but still some might
have missed this:
Ohloh has begun to release their tools, starting with ohcount, their
tool to measure code and comments lines:
http://labs.ohloh.net/ohcount/
They explicitly write that they want
On Jan 14, 2008 2:47 AM, Sterling Clover [EMAIL PROTECTED] wrote:
HStringTemplate is a port of Terrence Parr's lovely StringTemplate
(http://www.stringtemplate.org) engine to Haskell.
This is very cool.
Your docs describe a function, cacheSTGroup:
cacheSTGroup :: Int - STGen a - STGen a
Given
On Jan 16, 2008, at 18:58 , [EMAIL PROTECTED] wrote:
Achim Schneider writes:
Lisp is actually not really meant to be compiled, but interpreted.
The
Would you mind stopping to spread dubious truths?
Certainly, Lisp processors started with simple eval/apply
interpreters,
since they were
On Jan 16, 2008 2:41 PM, Dominic Steinitz
[EMAIL PROTECTED] wrote:
tlv_ bin =
do tagValueVal - getBits bin 5
tagConstructionVal - getBits bin 1
tagTypeVal - getBits bin 2
I'm sure I'm wrong but putting bits into [Bool] doesn't look very efficient.
Of
course, NewBinary
On 2008.01.17 00:58:19 +0100, [EMAIL PROTECTED] scribbled 0.9K characters:
Achim Schneider writes:
Lisp is actually not really meant to be compiled, but interpreted. The
nice thing is that it doesn't need more than a handful of primitives, a
list parser and heap manager/garbage collector and
Hi!
On Jan 11, 2008 7:30 AM, Cristian Baboi [EMAIL PROTECTED] wrote:
NaN is not 'undefined'
Why not? What is a semantic difference? I believe Haskell should use
undefined instead of NaN for all operations which are mathematically
undefined (like 0/0). NaN should be used in a languages which
(redirected to haskell-cafe)
mfix is value recursion, not effect recursion. It allows you to
tie-the-knot with data being constructed recursively even in a
monadic context.
When you are using the Writer monad like this, the bind operation
between statements in a do construct is just ++.
On Thu, 2008-01-17 at 03:16 +0100, Mitar wrote:
Hi!
On Jan 11, 2008 7:30 AM, Cristian Baboi [EMAIL PROTECTED] wrote:
NaN is not 'undefined'
Why not? What is a semantic difference? I believe Haskell should use
undefined instead of NaN for all operations which are mathematically
undefined
On Jan 16, 2008 11:30 PM, Derek Elkins [EMAIL PROTECTED] wrote:
For the love of Pete, floating point numbers are not real numbers. 0/0
is mathematically defined for floating point numbers to be NaN. If you
don't want to use IEEE floating point numbers, use a different type as
was suggested
On 17 Jan 2008, at 10:56 am, Peter Verswyvelen wrote:
You're talking about O(big)... But wasn't the C language in some way
succesful because on the hardware at that time other much nicer
languages (e.g. LISP) were just way too slow? Or was this just O(n)
times slower?
No. C was designed as a
On 17 Jan 2008, at 12:31 pm, Achim Schneider wrote:
Lisp is actually not really meant to be compiled, but interpreted.
The classic Lisp is Lisp 1.5.
The Lisp 1.5 Programmer's Manual, published in I think 1961,
contains Appendix D: The Lisp Compiler.
If I'm reading appendix G correctly, the
For mysql (via HDBC),some documentation is available here. But it is
rather going through HDBC-ODBC-mysql. It is a bit complex than you
would normally expect with mysql.
http://en.wikibooks.org/wiki/Haskell/Database
2008/1/15 Justin Bailey [EMAIL PROTECTED]:
2008/1/15 Immanuel Normann [EMAIL
On Wed, Jan 16, 2008 at 02:09:31PM -0600, Galchin Vasili wrote:
Hi Don,
Sorry ..I wasn't clear enough.I am trying to determine from the
Haskell FFI doc what datatype to use in order to model C's void *, e.g.
for mmap http://www.opengroup.org/onlinepubs/95399/functions/mmap.html
Spencer Janssen wrote:
For C's void *, I'd use Ptr ().
Ptr a seems to be more usual, and hews closer to the idea that it's a
pointer to an opaque value.
b
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
ghc --ddump-simpl and assure that your values get unboxed...
I was not really talking about boxed/unboxed values, that's another
issue I think.
What I was talking about is more related to the work of Neil Mitchell
and Colin Runciman in their static checker for pattern matching
[EMAIL PROTECTED] wrote:
On 2008.01.17 00:58:19 +0100, [EMAIL PROTECTED] scribbled 0.9K characters:
Achim Schneider writes:
Lisp is actually not really meant to be compiled, but interpreted.
...
Would you mind stopping to spread dubious truths?
...
I don't think it's a dubious truth.
52 matches
Mail list logo