Hi,
I recently asked about what interfaces to implement for a new data type.
Following the rule that the last 10% of work take the second 90% of time,
some other questions have come up.
If anyone wants to look at the code in question:
http://www.chr-breitkopf.de/comp/IntervalMap
Some time ago,
dokondr wrote:
All I actually need
is some way to get *seconds* since epoch from the system, so I could
manipulate them as integers.
Well, you already have that - that's exactly what POSIXTime
is. It is a numerical type, an instance of the RealFrac
class. So perhaps you can do all of your
Gregory Crosswhite wrote:
could we split the some/many methods out from Alternative? They simply
don't make sense except in a subset of possible Alternatives --- in most
cases they just result in an infinite loop...
That is a very good point. I would be in favor of such a
change, even though
From: Christoph Breitkopf chbreitk...@googlemail.com
Hi,
I recently asked about what interfaces to implement for a new data type.
Following the rule that the last 10% of work take the second 90% of time,
some other questions have come up.
If anyone wants to look at the code in question:
Hi, everyone,
I am very pleased to announce a pen notetaking program: hxournal,
which is written entirely in haskell using gtk2hs.
I uploaded the package on hackage. This program accompanies with
two library packages, xournal-parser and xournal-render for parsing
and rendering xournal format
Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo
framework?
https://sites.google.com/site/chklin/research
It looks interesting but it seems it amounts to add an extra layer of
interpretation (the monads encoding as a data type) and the paper lacks
examples of actual uses
I don't know why Hoogle didn't find one of the packages. I've often
wondered about this related question:
* Is there a place to browse the union of all namespaces in all hackage
packages?
This would show the global Haskell/Hackage namespace as it currently
stands and I think would be useful
This is what I get when using the latest Ubuntu. libstdc++ is installed.
Downloading hxournal-0.5.0.0...
Configuring hxournal-0.5.0.0...
Preprocessing library hxournal-0.5.0.0...
Preprocessing executables for hxournal-0.5.0.0...
Building hxournal-0.5.0.0...
[ 1 of 41] Compiling Paths_hxournal (
On Sun, Dec 11, 2011 at 9:18 PM, Gregory Crosswhite
gcrosswh...@gmail.comwrote:
It is only recently that I have been able to grok what some and many are
even about (I think), and they seem to only make sense in cases where
executing the Alternative action results in a portion of some input
There is absolutely no implication of consuming anything in the definitions
of many or some. This is how they happen to behave when used in the context
of some parsing libraries, but that's all. If many or some always go into an
infinite loop for some Alternative instance, then I suspect that
On Mon, Dec 12, 2011 at 9:23 AM, Carl Howells chowell...@gmail.com wrote:
There is absolutely no implication of consuming anything in the
definitions
of many or some. This is how they happen to behave when used in the
context
of some parsing libraries, but that's all. If many or some
Don't be silly. The purpose of some and many is to be used with combinators
that are expected to fail sometimes. If you use them with combinators that
always succeed, of course you're going to get an infinite loop. Would you
propose to ban recursive functions because they might not terminate?
Hello fellows,
after a few discussions on IRC and via private mail I feel obligated to
point out that arrows and in particular AFRP do not force you to use an
imperative style in any way. You can use a style very similar to SHE's
idiom brackets. I will demonstrate this using the Netwire
On Mon, Dec 12, 2011 at 9:42 AM, Carl Howells chowell...@gmail.com wrote:
Well, as I read it, the whole point of this thread was They don't
make sense for many instances of Alternative. They should be moved to
a different class. It sounded like you were arguing that any
instance of
Hello all.
I have written some code that can be compiled with either of two
libraries, with no modification. How can I tell Cabal?
I tried || but it failed to parse.
I could find which package is available in the build script, and then
call defaultMainNoRead with the appropriate
On Mon, Dec 12, 2011 at 6:25 PM, Matthew Farkas-Dyck
strake...@gmail.com wrote:
I have written some code that can be compiled with either of two
libraries, with no modification. How can I tell Cabal?
I tried || but it failed to parse.
I could find which package is available in the build
On 12/12/11 9:32 AM, Ryan Newton wrote:
I don't know why Hoogle didn't find one of the packages. I've often
wondered about this related question:
* Is there a place to browse the union of all namespaces in all hackage
packages?
There is, and it's awesome:
On 12/12/11 02:42, Malcolm Wallace wrote:
The extra parameter i is for information attached to each node of
the tree. As you have correctly guessed, the parser fills in this
field with positional information relating to the original source
document, which is useful for instance if you are
Grand. Thanks!
On 12/12/2011, Felipe Almeida Lessa felipe.le...@gmail.com wrote:
On Mon, Dec 12, 2011 at 6:25 PM, Matthew Farkas-Dyck
strake...@gmail.com wrote:
I have written some code that can be compiled with either of two
libraries, with no modification. How can I tell Cabal?
I tried
This would make a good blog article...
2011/12/12 Ertugrul Söylemez e...@ertes.de
Hello fellows,
after a few discussions on IRC and via private mail I feel obligated to
point out that arrows and in particular AFRP do not force you to use an
imperative style in any way. You can use a style
You can try the Haskell Browser in the Eclipse plug-in.
2011/12/12 wren ng thornton w...@freegeek.org
On 12/12/11 9:32 AM, Ryan Newton wrote:
I don't know why Hoogle didn't find one of the packages. I've often
wondered about this related question:
* Is there a place to browse the union
On Mon, Dec 12, 2011 at 14:09, Bryan O'Sullivan b...@serpentine.com wrote:
On Mon, Dec 12, 2011 at 9:42 AM, Carl Howells chowell...@gmail.comwrote:
Well, as I read it, the whole point of this thread was They don't
make sense for many instances of Alternative. They should be moved to
a
Perhaps the most urgent change would simply be better documentation
for what 'some' and 'many' are all about. Some examples would be nice.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Yes, they are major pains for frisby, which is a parser but needs to
be cleverer about recursion, the many and some that come with
applicative actually cause infinite loops.
John
On Sun, Dec 11, 2011 at 9:18 PM, Gregory Crosswhite
gcrosswh...@gmail.com wrote:
Hey everyone,
I am sure that
On Mon, Dec 12, 2011 at 4:30 PM, John Meacham j...@repetae.net wrote:
Yes, they are major pains for frisby, which is a parser but needs to
be cleverer about recursion, the many and some that come with
applicative actually cause infinite loops.
That's why 'many' and 'some' were promoted up to
There is, and it's awesome:
http://folk.ntnu.no/hammar/**explore-hackage/http://folk.ntnu.no/hammar/explore-hackage/
Though it can be a bit slow to load, so try not to hammer the server too
hard :)
Awesome indeed! Can we convince Andreas to have it update regularly? Looks
like the last
Hi, Ivan,
That libstdc++ problem is related to the following ticket:
http://hackage.haskell.org/trac/ghc/ticket/5289
A workaround is to make a symbolic link to libstdc++.so.6 with the
name of libstdc++.so in /usr/lib or /usr/local/lib or other dynamic
library path like the following.
ln -s
The vim autoindent for haskell is really bad :( Is there a better
indent.hs file floating around somewhere? Alternatively, is the emacs
haskell mode better enough that it's worth my time learning my way
around emacs and evil?
martin
___
Haskell-Cafe
I am fairly new to haskell, but I really like the emacs haskell mode.
It is a bit strict but it generally does what I want it to.
Unfortunately I can't really compare to the haskell vim mode since I
only did Scala and Perl back when I was a heavy vim user.
The one useful thing that I can add is
Very fancy! I am a big fan of Xournal, so I will have to take this for a spin.
Edward
Excerpts from Ian-Woo Kim's message of Mon Dec 12 06:56:09 -0500 2011:
Hi, everyone,
I am very pleased to announce a pen notetaking program: hxournal,
which is written entirely in haskell using gtk2hs.
On Mon, Dec 12, 2011 at 19:22, Ian-Woo Kim ianwoo...@gmail.com wrote:
A workaround is to make a symbolic link to libstdc++.so.6 with the
name of libstdc++.so in /usr/lib or /usr/local/lib or other dynamic
library path like the following.
ln -s /usr/lib/libstdc++.so.6 /usr/lib/libstdc++.so
Hey everyone!
So, I was on LtU reading about F*
http://lambda-the-ultimate.org/node/4318
and an idea just occurred to me which *must* have occurred to someone smarter
than me, so I would love your feedback on the following question:
Could Haskell be extended to support linear/affine
On 12/13/2011 02:43 AM, Brandon Allbery wrote:
On Mon, Dec 12, 2011 at 19:22, Ian-Woo Kimianwoo...@gmail.com wrote:
A workaround is to make a symbolic link to libstdc++.so.6 with the
name of libstdc++.so in /usr/lib or /usr/local/lib or other dynamic
library path like the following.
ln -s
So I am trying to understand how acid state works. The HelloWorld
example has a
type Message = String
data Database = Database [Message]
$(deriveSafeCopy 0 'base ''Database)
-- Transactions are defined to run in either the 'Update' monad
-- or the 'Query' monad.
addMessage :: Message - Update
On Mon, Dec 12, 2011 at 03:17:38PM +0100, Jean-Luc Delatre wrote:
Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo
framework?
No, but if you want to define monads operationally I would instead
recommend using the 'operational' package:
Hello,
I don't know how the indent.hs file works for the vim mode, but as you
are asking for another indent.hs file, here is the link to the indent.hs
file in emacs haskell-mode:
https://github.com/jwiegley/haskell-mode/blob/8067b7547f047352c41af2374e3246b5504c7741/indent.hs
Maybe you can
36 matches
Mail list logo