On Thu, 15 Apr 2010, Maciej Piechotka wrote:
Are
f 0 = 1
f n = f (n - 1) + f (n - 2)
and
g 0 = 1
g n | n 0 = g (n - 1) + g (n - 2)
| n 0 = g (n + 2) - g (n + 1)
The same (morally) function?
Are:
f x = 2*x
and
f x = undefined
The same function
Try using the (x == y) == (f x = g
What is the purpose of the Other-Modules section in a cabal file?
(I.e., can we drop it?)
If it's just the set of dependencies of the Exported-Modules,
then a reasonable build system should be able to figure this out on its own.
The current situation is that I have to manage this list manually
On Wed, 14 Apr 2010, Ashley Yakeley wrote:
On 2010-04-14 14:58, Ashley Yakeley wrote:
On 2010-04-14 13:59, rocon...@theorem.ca wrote:
There is some notion of value, let's call it proper value, such that
bottom is not one.
In other words bottom is not a proper value.
Define a proper value
Limestraël wrote:
Okay, I start to understand better...
Just, Heinrich, how would implement the mapMonad function in terms of the
operational package?
You just shown the signature.
Ah, that has to be implemented by the library, the user cannot implement
this. Internally, the code would be
On Thu, 2010-04-15 at 03:53 -0400, rocon...@theorem.ca wrote:
Hmm, I guess I'm carrying all this over from the world of dependently
typed programming where we have setoids and the like that admit equality
relations that are not necessarily decidable. In Haskell only the
decidable instances
Jason Dagit wrote:
On Wed, Apr 14, 2010 at 3:13 PM, Daniel Fischer
daniel.is.fisc...@web.de mailto:daniel.is.fisc...@web.de wrote:
Am Mittwoch 14 April 2010 23:49:43 schrieb Jason Dagit:
It will be interesting to hear what fixes this!
forever' m = do _ - m
Hi Niklas,
I'm pleased to announce the release of haskell-src-exts-1.9.0!
* On hackage: http://hackage.haskell.org/package/haskell-src-exts
Any idea why the Haddock docs have not been generated for this version?
There's also no built on available. Is it an issue with the server?
Regards,
Hello Neil,
Thursday, April 15, 2010, 12:37:35 PM, you wrote:
I find non-termination with a much simpler program than yours (GHC 6.12.1):
forkIO $ do putStrLn Started thread
forever $ return ()
ghc multithreading is actually cooperative: it switches only on memory
Yes indeed, Nomic couldn't be fully coded, only a subset of it could be.
Rules that are outside of the box cannot be expressed, the goal is, to
have the largest box possible!
Your rule:
* Players must stand when proposing new rules.
couldn't be coded directly, of course, since the computer has no
Ok, but there is no function such as mapMonad in the operational package?
By the way, I noticed that ProgramT is not automatically made instance of
MonadIO when possible. It could be:
instance (MonadIO m) = MonadIO (ProgramT r m) where
liftIO = lift . liftIO
Is that intentional?
( In fact, I
On 13.04.10 14:46, Mozhgan kabiri wrote:
I am trying to install Criterion package, but I keep getting an error
and I can't figure it out why it is like this !!
[...]
[8 of 9] Compiling Data.Vector.Algorithms.Intro (
Data/Vector/Algorithms/Intro.hs, dist/build/Data/Vector/Algorithms/Intro.o )
Sean Leather leat...@cs.uu.nl writes:
I'm pleased to announce the release of haskell-src-exts-1.9.0!
* On hackage: http://hackage.haskell.org/package/haskell-src-exts
Any idea why the Haddock docs have not been generated for this version?
There's also no built on available. Is it an issue
Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
What is the purpose of the Other-Modules section in a cabal file?
(I.e., can we drop it?)
Non-exported modules.
If it's just the set of dependencies of the Exported-Modules,
then a reasonable build system should be able to figure this
Since they weren't mentioned in this thread, I'll point
out that there are better sources of entropy than
/dev/random, /dev/urandom, and the Windows API.
For example, the two sites
https://random.org/integers
https://www.fourmilab.ch/hotbits/secure_generate.html
both offer free random bits via
On Thu, Apr 15, 2010 at 12:00, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Sean Leather leat...@cs.uu.nl writes:
I'm pleased to announce the release of haskell-src-exts-1.9.0!
* On hackage: http://hackage.haskell.org/package/haskell-src-exts
Any idea why the Haddock docs
On 15 Apr 2010, at 08:24, Johannes Waldmann wrote:
What is the purpose of the Other-Modules section in a cabal file?
(I.e., can we drop it?)
If it's just the set of dependencies of the Exported-Modules,
then a reasonable build system should be able to figure this out on
its own.
It is not
Sean Leather leat...@cs.uu.nl writes:
Hmm, now it does. Apparently, the server saw my email and responded
nicely.
Well, it takes half an hour or so...
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
___
Haskell-Cafe
Am Donnerstag 15 April 2010 05:38:23 schrieb Jason Dagit:
On Tue, Apr 13, 2010 at 3:47 AM, Erik de Castro Lopo
mle...@mega-nerd.commle%2...@mega-nerd.com
wrote:
Daniel Fischer wrote:
Am Dienstag 13 April 2010 09:29:18 schrieb Erik de Castro Lopo:
Anyone else have the same problem?
Hmm, now it does. Apparently, the server saw my email and responded
nicely.
Well, it takes half an hour or so...
Yes, version 1.9.0 of haskell-src-exts was uploaded on Sun Apr 11 10:43:03
UTC 2010, but the ghc build is dated as modified on 15-Apr-2010 02:42 (in
some unknown timezone)
John Meacham schrieb:
On Fri, Apr 09, 2010 at 09:07:29AM -0700, Bryan O'Sullivan wrote:
On Fri, Apr 9, 2010 at 6:44 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with
-Wall. This is based off a bug report by Neil
Sean Leather leat...@cs.uu.nl writes:
Yes, version 1.9.0 of haskell-src-exts was uploaded on Sun Apr 11 10:43:03
UTC 2010, but the ghc build is dated as modified on 15-Apr-2010 02:42 (in
some unknown timezone) according the log
What happened was this:
1. add some modules to a library (but forget to mention them in the cabal file),
then (in the lib source dir, without cleaning/reconfiguring)
cabal install --global (runs without complaint)
2. re-compile an application that uses the library
(cabal configure
Hi,
On Thu, Apr 15, 2010 at 14:40, Johannes Waldmann
waldm...@imn.htwk-leipzig.de wrote:
What happened was this:
1. add some modules to a library (but forget to mention them in the cabal
file),
then (in the lib source dir, without cleaning/reconfiguring)
cabal install --global (runs
Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
What happened was this:
I still don't see why this other-modules is needed.
Ok, I understand the technical reason that cabal
does not do dependency analysis but morally, it should?
Why are people suddenly using the term morally when they
On Thu, Apr 15, 2010 at 10:52:51AM +0200, Sean Leather wrote:
Any idea why the Haddock docs have not been generated for this
version? There's also no built on available. Is it an issue with
the server?
A glitch when I was switching the builds to use cabal install --dry-run.
Christopher Done wrote:
betterStdGen :: IO StdGen
Here's what I have been using. It's a bit more complete.
Of course, you can always use mkStdGen with
it to get one of those if you want. (Yes, I often
do that. StdGen is much maligned, but it's pretty good
at what it's designed for.)
Regards,
On 03:53 Thu 15 Apr , rocon...@theorem.ca wrote:
On Wed, 14 Apr 2010, Ashley Yakeley wrote:
On 2010-04-14 14:58, Ashley Yakeley wrote:
On 2010-04-14 13:59, rocon...@theorem.ca wrote:
There is some notion of value, let's call it proper value, such that
bottom is not one.
In
On Thu, Apr 15, 2010 at 1:49 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
What happened was this:
I still don't see why this other-modules is needed.
Ok, I understand the technical reason that cabal
does not do dependency
On Thu, Apr 15, 2010 at 10:45 AM, Dougal Stanton
dou...@dougalstanton.net wrote:
'Morally' seems just the perfect word for this occasion --- concerned
with right or proper conduct. In this case, potential discrepancies
between the files that cabal 'knows' about when issuing different
commands;
On Apr 15, 2010, at 12:53 AM, rocon...@theorem.ca wrote:
I'd call them disrespectful functions, or maybe nowadays I might
call them
improper functions. The good functions are respectful functions or
proper functions.
There's no need to put these into a different class. The IEEE defined
There is the project.
I changed some little things with the player datatype. For flexibility sake,
it's stack has no longer to contain PlayerMonadT (I needed it for the net
player client)
The most interesting part (the one that deals with operational) is in
TicTacToe/Game.hs
This is not very,
Limestraël wrote:
I'd like to make it very accessible, so please don't hesitate to report
any difficulties with finding and understanding documentation and examples!
Then I think the name 'Prompt' may be misleading for those who doesn't know
the MonadPrompt package. Maybe something like
Hello everyone,
It's my very first post to this mailing list, though i read it for several
months.
I'm very interested in Swiertra's automatic injection technique [1].
I'm having trouble building regex-posix for Windows under MinGW because
MinGW does not include regex.h. As far as I know Haskell Platform uses
MinGW and it includes regex-posix. I'd like to build regex-posix by
myself, like Haskell Platform does. I would appreciate it if someone
suggests some
On 2010-04-15 06:18, Nick Bowler wrote:
Your definitions seem very strange, because according to this, the
functions
f :: Double - Double
f x = 1/x
and
g :: Double - Double
g x = 1/x
are not equal, since (-0.0 == 0.0) yet f (-0.0) /= g (0.0).
There's an impedance mismatch
Am Donnerstag 15 April 2010 19:19:15 schrieb Romulus:
Hello everyone,
I'm stuck with the definition of the helper for LAnd'. I expect :
land' :: ((LAnd' p) :: (f p)) = Mu (f p) - Mu (f p) - Mu (f p)
land' = \x y - inject (LAnd' x y)
... but ghci 6.10.4 does not really like this
Clear and concise answer.
Thank you.
On Thu, Apr 15, 2010 at 21:24, Daniel Fischer daniel.is.fisc...@web.dewrote:
Am Donnerstag 15 April 2010 19:19:15 schrieb Romulus:
Hello everyone,
I'm stuck with the definition of the helper for LAnd'. I expect :
land' :: ((LAnd' p) :: (f p)) =
Dupont asked:
do you know Nomic?
It's a fabulous and strange game where you have the right to change the rules
in the middle of the game!
I know nomic, but as has been pointed out, it's too wide-ranging to be
captured in Haskell. So how about a game played in the Haskell type
system where
Hello
You can build GNU's regex C-library with MinGW from source and this
will give you regex.h and libregex.a / libregex.dll.
I think I've only had the Haskell regex-posix package half-working
doing this though; i.e. I could build and install regex-posix after
I'd made and installed GNU regex,
2010/4/15 Станислав Черничкин schernich...@gmail.com
I'm having trouble building regex-posix for Windows under MinGW because
MinGW does not include regex.h. As far as I know Haskell Platform uses MinGW
and it includes regex-posix. I'd like to build regex-posix by myself, like
Haskell
Станислав Черничкин schernich...@gmail.com writes:
I'm having trouble building regex-posix for Windows under MinGW
because MinGW does not include regex.h.
Which version of regex-posix is this?
I think this might be a bug in regex-posix's .cabal file: the darcs repo
seems to contain a regex.h
Hi Ivan
I believe that regex-posix (Haskell) is expecting regex.h to be the
'standard posix' header file. The versions of MinGW / MSys I'm using
from around Christmas last year didn't ship with a Posix regex
implementation, though this might have changed now. I seem to remember
that GNU Posix was
Hi,
Станислав Черничкин schernichkin at gmail.com writes:
I'm having
trouble building regex-posix for Windows [...]
See this thread:
http://thread.gmane.org/gmane.comp.lang.haskell.libraries/12721
Basically, you need to checkout the darcs version which includes
C sources for libregex and
The state of Haskell web development is exciting and messy. We don't
have a de facto way to do it like Rails or Django or ASP .NET, but we
do have many imitations and ideas popping up. You can easily judge
whether the community is happy with the state of web development by
the number of new web
On 2010-04-15 14:00, Dan Piponi wrote:
(A neutral third party will have to implement Board.)
data Three a b c where
{
MkThree :: Three () () ()
}
type Board a b c d e f g h i =
Either (Three a b c)
(Either (Three d e f)
(Either (Three g h i)
(Either (Three a d g)
(Either (Three b e h)
Re the auto-recompiling part, here is one of my favourite tools. I have used it to auto-build happstack, yesod and
hakyll apps/sites:
# continuous integration - recompile and restart
# whenever a module changes. sp is from searchpath.org, you might
# need the patched version from
On Thu, Apr 15, 2010 at 4:58 PM, Ashley Yakeley ash...@semantic.org wrote:
type Board a b c d e f g h i =
Either (Three a b c)
(Either (Three d e f)
(Either (Three g h i)
(Either (Three a d g)
(Either (Three b e h)
(Either (Three c f i)
(Either (Three a e i)
(Either (Three c e g)
On 2010-04-15 17:39, Dan Piponi wrote:
In the service of readability we could also define:
data X = X
data O
In that case we'd want
type Three a b c = (a,b,c)
...which is simpler than my GADT.
--
Ashley Yakeley
___
Haskell-Cafe mailing list
Both the transformers[1] and mtl[2] define a class named 'Error', for
use with MonadError and ErrorT. This class is required for the
instance of Monad (and therefore MonadTrans, MonadIO, etc). However, I
can't figure out why this class exists. Its presence means that
instead of something like:
It's used in the implementation of fail for those monads.
class Monad m where
...
fail :: String - m a
fail = error -- default implementation
which is then used to desugar do-notation when pattern matching fails:
do
Left x - something
return x
=
something = \v
instance (BinaryDefer a, BinaryDefer b) = BinaryDefer (a,b) where
put (a,b) = put2 a b
get = get2 (,)
size x = let ~(a,b) = x in size a + size b
putFixed (a,b) = putFixed2 a b
getFixed = getFixed2 (,)
in `size` function, what does the `~` mean ?
Sincerely!
-
fac n
51 matches
Mail list logo
