On Fri, Feb 11, 2011 at 04:48:28PM -0800, Johan Tibell wrote:
> Hi Magnus,
>
> network-2.3 supersedes network-bytestring as the modules provided by
> the latter were merged into network. network-2.3 and later cannot be
> used together with network-bytestring, in one package, as both
> expose the s
Hi Sam. I don't know much about the performance problems you are
seeing, but I think your solution is more cleanly implemented just
under the event level with futures.
I think the reactive function you want has a type like this:
stateMachine :: s -> (a -> s -> s) -> (s -> Future (b, s)) -> Event
On Fri, Feb 11, 2011 at 4:06 AM, C K Kashyap wrote:
> Hi Folks,
> I've come across this a few times - "In Haskell, once can prove the
> correctness of the code" - Is this true?
You can prove the correctness of code for any language that has
precise semantics. Which is basically none of them (I b
On Fri, Feb 11, 2011 at 3:06 AM, C K Kashyap wrote:
> Hi Folks,
>
> I've come across this a few times - "In Haskell, once can prove the
> correctness of the code" - Is this true?
>
> I know that static typing and strong typing of Haskell eliminate a whole
> class of problems - is that related to
On Feb 11, 2011, at 11:20 AM, Peter Simons wrote:
If hledger offers optional features by means of Cabal flags, then
users
of the library need the ability to depend on hledger with a specific
set
of features (flags) enabled or disabled, but unfortunately Cabal can't
do that.
The new approach
I've been trying to deal with how my haskell program handles unicode
filenames. Been dealing with problems like those described here:
http://hackage.haskell.org/trac/ghc/ticket/3307
Or, simply demonstrated by feeding unicode to getLine >>= readFile
My approach currently is to carefully identify
On Fri, Feb 11, 2011 at 20:00, Daniel Fischer
wrote:
> ...
> It's because there's no way to determine the type variable a (in either
> wrong or right).
That's what I thought when I wrote the code at first but then I was
surprised to see it working with the Show type-class.
> In such cases, under
On Friday 11 February 2011 19:33:27, Cristiano Paris wrote:
> Hi cafè,
>
> given the following toy code:
>
> ---
> module Main where
>
> class Dumb p where
> dumb :: p -> String
>
> newtype Branded a b = Branded b
>
> unbrand :: Branded a b -> b
> unbrand (Branded x) = x
>
> wrong
Hi cafè,
given the following toy code:
---
module Main where
class Dumb p where
dumb :: p -> String
newtype Branded a b = Branded b
unbrand :: Branded a b -> b
unbrand (Branded x) = x
wrong :: Dumb a => b -> Branded a b
wrong = Branded
right :: Show a => b -> Branded a b
On Friday 11 February 2011 18:25:24, PatrickM wrote:
> I'm writting a function that will remove tautologies from a fomula.The
> basic idea is that if in a clause, a literal and its negation are found,
> it means that the clause will be true, regardless of the value finally
> assigned to that propos
I'm writting a function that will remove tautologies from a fomula.The basic
idea is that if in a clause, a literal and its negation are found, it means
that the clause will be true, regardless of the value finally assigned to
that propositional variable.My appoach is to create a function that wil
I'm
writting a function that will remove tautologies from a fomula.The
basic idea is that if in a clause, a literal and its negation are found,
it means that the clause will be true, regardless of the value finally
assigned to that propositional variable.My appoach is to create a
function that
Kashyap,
2011/2/11 C K Kashyap :
> I've come across this a few times - "In Haskell, once can prove the
> correctness of the code" - Is this true?
> I know that static typing and strong typing of Haskell eliminate a whole
> class of problems - is that related to the proving correctness?
> Is it abo
Am 11.02.2011 13:48, schrieb Daniel Fischer:
[...] +1
> Testing can only prove code incorrect, it can never prove code correct
> (except for extremely simple cases where testing all possible inputs can be
> done; but guaranteeing that QuickCheck generates all possible inputs is
> generally harde
>
> I've come across this a few times - "In Haskell, once can prove the
> correctness of the code" - Is this true?
>
One way to prove the correctness of a program is to "calculate" it from its
specification. If the specification is also a Haskell program, equational
reasoning can be used to transf
On Friday 11 February 2011 12:06:58, C K Kashyap wrote:
> Hi Folks,
>
> I've come across this a few times - "In Haskell, once can prove the
> correctness of the code" - Is this true?
One can also prove the correctness of the code in other languages.
What makes these proofs much easier in Haskell t
On 02/11/2011 12:06 PM, C K Kashyap wrote:
[...]
I know that static typing and strong typing of Haskell eliminate a
whole class of problems - is that related to the proving correctness?
[...]
You might have read about "free theorems" arising from types. They are a
method to derive certain prop
I think one thing it means, is that, with the typesystem, you just can't do
random things where-ever you want. Like, in the pure world if you want to
transform values from one type to another, you always need to have
implementations of functions available to do that. (You can't just take a
pure val
On 11 February 2011 22:06, C K Kashyap wrote:
> Hi Folks,
> I've come across this a few times - "In Haskell, once can prove the
> correctness of the code" - Is this true?
I'm not quite sure where you got that...
But since Haskell is pure, we can also do equational reasoning, etc.
to help prove c
Hi Folks,
I've come across this a few times - "In Haskell, once can prove the
correctness of the code" - Is this true?
I know that static typing and strong typing of Haskell eliminate a whole
class of problems - is that related to the proving correctness?
Is it about Quickcheck - if so, how is it
Chris Smith writes:
> actually matter. The instant anyone actually compiles an application
> that uses your library, however indirectly, they are bound by the terms
There are other uses for code than compilation. Let's say I wrote a
wrapper for a proprietary library that connects to Oracle dat
21 matches
Mail list logo
