On Sun, 28 Sep 2008, Brandon S. Allbery KF8NH wrote:
On 2008 Sep 28, at 18:42, Jason Dusek wrote:
Maybe I'm missing something, but this doesn't seem right...
:; ghc -e '10e4'
:1:0:
Warning: Defaulting the following constraint(s) to type `Double'
`Fractional a' arising from a use
On Sat, Sep 27, 2008 at 2:43 PM, Andrew Coppin
<[EMAIL PROTECTED]> wrote:
> Ooo, wait a sec, section 8.6.2.2. That helps...
>
> Mmm, OK. Now can somebody explain the "FDs cause problems" part?
It's not so much that fundeps cause problems, as they're less
convenient than associated types/type famil
Hello, world.
In Version 4 of the ongoing self-demoing HAppS Tutorial, we implement
a HAppS job board using HAppS.
demo: http://happstutorial.com:5001
install: sudo cabal install happs-tutorial
darcs head: darcs get http://code.haskell.org/happs-tutorial
There aren't any new lessons compared t
>Goal 2 (The "open source" angle): Developers who use the library
>should have to contribute their modifications of the library back to
>the community. I believe that it's wrong to use a license to try to
>enforce such cooperation. Look what happened with KHTML when Apple
>started using it for thei
On Sat, Sep 27, 2008 at 9:24 AM, Andrew Coppin
<[EMAIL PROTECTED]> wrote:
> David Menendez wrote:
>>
>> I wouldn't say that. It's important to remember that Haskell class
>> Monad does not, and can not, represent *all* monads, only (strong)
>> monads built on a functor from the category of Haskell
I'm going to give my take on the LGPL, but even though this isn't a
direct answer to your question, please read because it's especially
relevant in your case where you would like to allow static linking.
The way I see it, the LGPL tries to accomplish two separate goals:
Goal 1 (The FSF angle): Us
Brandon S. Allbery KF8NH <[EMAIL PROTECTED]> wrote:
> Jason Dusek wrote:
>>
>> Maybe I'm missing something, but this doesn't seem right...
>>
>> :; ghc -e '10e4'
>>
>> :1:0:
>> Warning: Defaulting the following constraint(s) to type `Double'
>>`Fractional a' arising from a use of `it
> :; ghc -e '10e4'
10e4 = 10*10^4 = 10^5 = 1e5 = 10.0
> 10.0
It seems to be OK.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 2008 Sep 28, at 18:42, Jason Dusek wrote:
Maybe I'm missing something, but this doesn't seem right...
:; ghc -e '10e4'
:1:0:
Warning: Defaulting the following constraint(s) to type `Double'
`Fractional a' arising from a use of `it' at
:1:0-3
In the first argument of `pr
Maybe I'm missing something, but this doesn't seem right...
--
_jsn
:; ghc -e '10e4'
:1:0:
Warning: Defaulting the following constraint(s) to type `Double'
`Fractional a' arising from a use of `it' at :1:0-3
In the first argument of `print', namely `it'
In the expres
Aaron Denney <[EMAIL PROTECTED]> wrote:
> Andrew Coppin <[EMAIL PROTECTED]> wrote:
> > Brandon S. Allbery KF8NH wrote:
> > > Oleg Kiselyov. http://okmij.org/ftp/ He's somewhat
> > > legendary in the Haskell community for his ability to make
> > > Haskell do what people think it can't, and his tend
Ahn, Ki Yung gmail.com> writes:
> Custom yi ("/home/kyagrd/.yi/yi-i386-linux") could not be launched!
This is just fixed in the darcs repo.
> The custom file yi-i386-linux does not exist and I don't have
> any idea what that is.
Yi tries to compile your config file as it starts. It was absent
On 26 Sep 2008, at 08:24, Magnus Therning wrote:
I've heard that the OCaml crowd uses a modified LGPL with a static
linking exception. Unfortunately I've also heard that their addition
to LGPL hasn't gotten much review by lawyers, I'd much rather use
something that feels less ad hoc, if you get
On Sun, Sep 28, 2008 at 12:20 PM, <[EMAIL PROTECTED]> wrote:
[..]
> The risk in picking yet another licence, one that satisfies your
> opinions on software freedom, is even more confusion. If the usual
> BSD-like licence doesn't do it for you, I would be concerned about
> adding yet another licen
Jonathan Cast wrote:
On Sat, 2008-09-27 at 02:09 +0100, Simon Richard Clarkstone wrote:
Darn, I sent this as personal mail the first time.
Evan Laforge wrote:
In Haskell,
"The sequence enumFromTo e1 e3 is the list [e1,e1+1,e1+2,...e3].
The list is empty if e1 > e3."
I like it, since it means
Mark Snyder wrote:
whoops! wow, wrong message to reply to... please disregard the previous.
Apologies,
~Mark Snyder
[Snip entire digest]
Ouch. When apologising for quoting the entire digest, quoting your
entire previous message doesn't really help the situation :-).
--
src/
__
On 2008 Sep 28, at 4:47, Andrew Coppin wrote:
By the way... I've seen a lot of type-level programs that allow you
to express (and therefore verify) some pretty extreme properties of
your code. In other words, you can make the compiler do more
checking than it normally would. But the actual c
G'day all.
Quoting Magnus Therning:
Recently I received an email with a question regarding the licensing
of a module I've written and uploaded to Hackage. I released it under
LGPL. The sender wondered if I would consider re-licensing the code
under BSD (or something similar) that would remove
"Magnus Therning" <[EMAIL PROTECTED]> wrote:
> On Sat, Sep 27, 2008 at 4:59 PM, Simon Marlow
> <[EMAIL PROTECTED]> wrote: [..]
> >> That would be serious indeed, but before changing my ways I'd need
> >> more information to back up your statement. Could someone confirm
> >> that code from one ins
On Sat, Sep 27, 2008 at 4:59 PM, Simon Marlow <[EMAIL PROTECTED]> wrote:
[..]
>> That would be serious indeed, but before changing my ways I'd need more
>> information to back up your statement. Could someone confirm that code
>> from one installed module can be inlined into another?
>
> When opti
Don Stewart <[EMAIL PROTECTED]> wrote:
>
> Malcolm.Wallace:
> > Guerilla videos of the Haskell Symposium 2008 presentations. Enjoy.
>
> Now on haskell.org,
>
> http://haskell.org/haskellwiki/Video_presentations/Haskell_Symposium_2008
>
> Great work Malcolm!!
>
Please re-add the term "Guer
"Ariel J. Birnbaum" <[EMAIL PROTECTED]> wrote:
> > I'm not actually bothered about every possible monad being
> > representable as such in Haskell. I'd just like Set to work. ;-)
>
> What would "work" mean in this case? I see two different meanings:
>
> 1. Use monadic operations (mapM, guard) on
Aaron Denney wrote:
On 2008-09-27, Andrew Coppin <[EMAIL PROTECTED]> wrote:
Ah - so the "Prolog programs as type signatures" thing is *his* fault?! ;-)
No, he merely takes advantage of it.
Heh. OK. ;-)
By the way... I've seen a lot of type-level programs that allow you to
express
On 2008-09-27, Andrew Coppin <[EMAIL PROTECTED]> wrote:
> Brandon S. Allbery KF8NH wrote:
>> Oleg Kiselyov. http://okmij.org/ftp/
>> He's somewhat legendary in the Haskell community for his ability to
>> make Haskell do what people think it can't, and his tendency to
>> program at the type level
24 matches
Mail list logo
