Le Tue, 13 Dec 2011 02:23:18 -0500,
Brent Yorgey byor...@seas.upenn.edu a écrit :
No, but if you want to define monads operationally I would instead
recommend using the 'operational' package:
http://hackage.haskell.org/package/operational
It does actually have examples. Anyway, it
On Tue, Dec 13, 2011 at 4:55 AM, Anatoly Yakovenko
aeyakove...@gmail.com wrote:
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
x = constant 3 ^+^ time
If I understand the rest of your mail, Wire defines an Applicative
instance, so why not:
x = (+3) $ time
??
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
Hello,
On 13.12.2011, at 08:51, Adrien Haxaire wrote:
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:
I got the program installed after creating the libstdc++.so symlink.
No ink shows up from my drawing though. I am on a Thinkpad X201 Tablet and
xournal works.
I am glad you are experimenting with window splits. I think the worst part
of xournal is it constrains you to a notebook-width piece of
Regarding, your question whether this is worth switching from vim to
emacs. I've been using both editors for some years and I very much
doubt, that you wouldn't spend much time learning emacs. If you are
comfortable with vim, stick with it, unless you are interested in
Emacs or one of its
On Tue, Dec 13, 2011 at 2:34 AM, Adrien Haxaire adr...@haxaire.org wrote:
Regarding, your question whether this is worth switching from vim to
emacs. I've been using both editors for some years and I very much
doubt, that you wouldn't spend much time learning emacs. If you are
comfortable
On 13.12.2011, at 11:43, Martin DeMello wrote:
On Tue, Dec 13, 2011 at 2:34 AM, Adrien Haxaire adr...@haxaire.org wrote:
Regarding, your question whether this is worth switching from vim to
emacs. I've been using both editors for some years and I very much
doubt, that you wouldn't spend
On Sun, Dec 11, 2011 at 04:22, John Millikin jmilli...@gmail.com wrote:
Anansi is a preprocessor for literate programs, in the model of NoWeb
or nuweb. Literate programming allows both computer code and
documentation to be generated from a single unified source.
Home page:
Unfortunately, I have all the *-dev packages I need. Like somebody
else said, it's a different problem.
Linking the file worked for me.
Cheers
On 13 December 2011 02:43, Brandon Allbery allber...@gmail.com wrote:
On Mon, Dec 12, 2011 at 19:22, Ian-Woo Kim ianwoo...@gmail.com wrote:
A
In other news, the program runs, but I can't draw anything. I tried it
with a wacom and a mouse.
Ian-Woo, let me know if you need me to run some tests or to try a new
version before you release it.
As a fan of xournal, I'd be glad to do so.
Cheers,
Ivan.
On 13 December 2011 14:00, Ivan Perez
Hey all,
Can GHC eliminate one of two equal ByteStrings, when they are compared
and turns out to be equal?
Say i have a map, ByteString - Int.
I now do a lookup on a ByteString and if it exists, I insert this
ByteString into a list.
Is it possible to avoid using more memory, than used by the
Hi,
I do some pre-processing on a normal Haskell code ( -F ). The pre-processor
needs to know the type of each expression.
What are the possibilities to do so?
Can I use GHC API to employ GHC type checker? If yes, any good tutorial?
Is it too naive to think of a function, f :: String -
Ah, i think i get it.
On Tue, Dec 13, 2011 at 12:48 AM, Felipe Almeida Lessa
felipe.le...@gmail.com wrote:
On Tue, Dec 13, 2011 at 4:55 AM, Anatoly Yakovenko
aeyakove...@gmail.com wrote:
So I am trying to understand how acid state works. The HelloWorld
example has a
type Message = String
Hi, Ivan,
Thank you very much for testing.
Yes, I need to have many testers.
For your problem, first, please send me the console output of hxournal
when you start the application. I guess its stylus name problem in
X11 setting.
Currently, the detection of wacom pen in hxournal is by checking
a
On Tue, Dec 13, 2011 at 03:39, Magnus Therning mag...@therning.org wrote:
1. What to call files? I understand (C)WEB suggests using .w, and
that noweb uses .nw, what should I call anansi files?
I usually use .anansi, but it doesn't matter. You can use whatever
extensions you like, or even none
On 12 December 2011 22:39, Antoine Latter aslat...@gmail.com wrote:
But now they look as if they are of equal importance with the other
class methods, which is not really true.
Maybe, but something like this is best fixed by improving
documentation, not by shuffling things around and needlessly
Off The Beaten Track:
Underrepresented Problems for Programming Language Researchers
http://www.cs.princeton.edu/~dpw/obt/
A Workshop Co-located with POPL 2012
Philadelphia, USA
January 28, 2012
Come and join us for OBT -- we have a great program filled with a diverse set
of problems and
On Dec 13, 2011, at 3:06 AM, Bryan O'Sullivan 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 always go into an
On Dec 13, 2011, at 5:09 AM, Bryan O'Sullivan wrote:
Correct. And your example of some (Just 1) inflooping was not a
counterargument, but rather an illustration that perhaps some people (and I'm
not trying to imply you here, don't worry) don't understand what some and
many are supposed to
On Dec 13, 2011, at 5:09 AM, Bryan O'Sullivan wrote:
Correct. And your example of some (Just 1) inflooping was not a
counterargument, but rather an illustration that perhaps some people (and I'm
not trying to imply you here, don't worry) don't understand what some and
many are supposed to
On Dec 14, 2011, at 8:38 AM, Thomas Schilling wrote:
On 12 December 2011 22:39, Antoine Latter aslat...@gmail.com wrote:
But now they look as if they are of equal importance with the other
class methods, which is not really true.
Maybe, but something like this is best fixed by improving
On Dec 13, 2011, at 3:32 AM, Bryan O'Sullivan wrote:
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.
Yes, but how can
Hi, Ivan,
I modified hxournal. New source code is now on github repository.
https://www.github.com/wavewave/hxournal
Now it has a very rudimentary config file. The config file should be
located at $HOME/.hxournal
Sample configuration file is hxournal.conf.sample in hxournal.
There you can
On 14 December 2011 17:08, Gregory Crosswhite gcrosswh...@gmail.com wrote:
On Dec 13, 2011, at 5:09 AM, Bryan O'Sullivan wrote:
Correct. And your example of some (Just 1) inflooping was not a
counterargument, but rather an illustration that perhaps some people (and
I'm not trying to imply
25 matches
Mail list logo