[Haskell-cafe] Case studies, step two

I want to thank everyone who provided pointers for the last question about this. They were a big help. We're now trying to narrow things down a bit. If you have either converted part of a business project from a language like ruby or python to Haskell, or have a business project that integrates H

Re: [Haskell-cafe] Any precedent or plan for guaranteed-safe Eq and Ord instances?

On Wed, Oct 2, 2013 at 5:18 AM, Tom Ellis < tom-lists-haskell-cafe-2...@jaguarpaw.co.uk> wrote: > Are there examples where application programmers would like there so be some > f, a and b such that a == b but f a /= f b (efficiency concerns aside)? I > can't think of any obvious ones. Yes, and we

[Haskell-cafe] FP Complete competition clarification

I got some clarification on what "unpublished" means for FP Complete competition entries. Basically, you can enter code that you've already published, providing it has an appropriate license (or can be republished with such a license). The tutorial/description/documentation that shows how to use i

Re: [Haskell-cafe] Looking for numbers to support using haskell

ther languages? >> >> >> Nick >> >> On 09/23/2013 11:31 AM, MigMit wrote: >> > The classical reference is, I think, the paper “Haskell vs. Ada vs. C++ >> vs. Awk vs. ... An Experiment in Software Prototyping Productivity” >> > >> > On

[Haskell-cafe] Looking for numbers to support using haskell

Hi all, I'm looking for articles that provide some technical support for why Haskell rocks. Not just cheerleading, but something with a bit of real information in it - a comparison of code snippets in multiple languages, or the results of a study on programmer productivity (given all the noise and

Re: [Haskell-cafe] Mystery of an Eq instance

On Sat, Sep 21, 2013 at 5:28 PM, Bardur Arantsson wrote: > On 2013-09-21 23:08, Mike Meyer wrote: > > Exactly. The Eq and Ord instances aren't what's broken, at least when > > you're dealing with numbers (NaNs are another story). That there are pairs > Accor

Re: [Haskell-cafe] Mystery of an Eq instance

On Sep 21, 2013 9:17 AM, "Bob Hutchison" wrote: > On 2013-09-21, at 4:46 AM, Stijn van Drongelen wrote: >> I do have to agree with Damodar Kulkarni that different laws imply different classes. However, this will break **a lot** of existing software. > You could argue that the existing software is

Re: [Haskell-cafe] Mystery of an Eq instance

On Sat, Sep 21, 2013 at 2:21 AM, Bardur Arantsson wrote: > On 2013-09-21 06:16, Mike Meyer wrote: > > The single biggest gotcha is that two calculations > > we expect to be equal often aren't. As a result of this, we warn > > people not to do equality comparison on flo

Re: [Haskell-cafe] Mystery of an Eq instance

On Fri, Sep 20, 2013 at 7:35 PM, damodar kulkarni wrote: > This seems a good step forward, removing the Eq instance altogether on > floating point types would be much better; (unless as pointed out by > Brandon, "you have a very clever representation that can store > (floats) in terms of some oper

Re: [Haskell-cafe] Mystery of an Eq instance

On Fri, Sep 20, 2013 at 11:17 AM, damodar kulkarni wrote: > Ok, let's say it is the effect of truncation. But then how do you explain this? Oh, it's a trunaction error all right. > Prelude> sqrt 10.0 == 3.1622776601683795 > True > Prelude> sqrt 10.0 == 3.1622776601683796 > True > > Here, the las

Re: [Haskell-cafe] World's First Commercial Haskell IDE and Deployment Platform, FP Haskell Center Launches Today

On Tue, Sep 3, 2013 at 2:25 PM, Tommy Thorn wrote: > This is interesting and I wish them luck, but it seems surprising > that the below link doesn't have as much as a screenshot (for an IDE, > you kind of expect to see what it looks like). > If you follow the link that says "Product Highlights",

Re: [Haskell-cafe] Embedded haskell?

On Wed, Feb 20, 2013 at 4:01 PM, Jeremy Shaw wrote: > Another option would be to use Atom. I have successfully used it to > target the arduino platform before. Running the entire OS on the > embedded system seems dubious. Assuming you are using something the 9x > family of transmitters -- they are

[Haskell-cafe] Embedded haskell?

I've been working with open source rc aircraft transmitter software, and in looking at the shortcomings of one of them, started thinking about embedding a language. There are a number of options that can work here, like FORTH or a basic. But then I realized that Haskell - or similar functional lan

Re: [Haskell-cafe] Object Oriented programming for Functional Programmers

On Wed, 2 Jan 2013 13:48:07 +0400 MigMit wrote: > On Jan 2, 2013, at 10:52 AM, Mike Meyer wrote: > > MigMit wrote: > >> But really, "Design by Contract" — a theory? It certainly is a useful > >> approach, but it doesn't seem to be a theory, not until

Re: [Haskell-cafe] Object Oriented programming for Functional Programmers

[Context destroyed by top posting.] MigMit wrote: >But really, "Design by Contract" — a theory? It certainly is a useful >approach, but it doesn't seem to be a theory, not until we can actually >prove something about it, and Eiffel doesn't seem to offer anything in >this direction. You just sta

Re: [Haskell-cafe] Object Oriented programming for Functional Programmers

MigMit wrote: >On Jan 1, 2013, at 10:23 PM, Никитин Лев >wrote: >> Eiffel, for my opinion, is a best OOP language. Meyer use a >theoretical approach as it is possible in OOP. >Really? Because when I studied it I had a very different impression: >that behind this language there was no theory at

Re: [Haskell-cafe] Object Oriented programming for Functional Programmers

On Mon, Dec 31, 2012 at 7:46 AM, Strake wrote: > Disclaimer: My own experience with OO is limited. Mine isn't quite so much... > On 30/12/2012, Daniel Díaz Casanueva wrote: >> My programming life (which has started about 3-4 years ago) has always been >> in the functional paradigm. Eventually,

Re: [Haskell-cafe] containers license issue

Ketil Malde wrote: >In particular when copyright is concerned, I believe that verbatim >copying in many cases will require a license to the original work, but >merly examining the original work to make use of algorithms, tricks, >and >structures from it will not. If you don't actually copy any of

Re: [Haskell-cafe] containers license issue

Ketil Malde wrote: >Mike Meyer writes: >> Niklas Larsson wrote: >>>2012/12/15 Mike Meyer : >>>> Only if Tanenbaum documented the internal behavior of Linux before >>>> it was written. >>>Tannenbaum wrote Minix, the operating system that Linus

Re: [Haskell-cafe] containers license issue

On 12/17/12, Ketil Malde wrote: > I would use "copying" to mean verbatim cut-and-pasting, which is something > else. I feel I should point out that, while that's currently a common definition of "copying", it's not the legal definition. Copyright law predates the ability to mechanically create

Re: [Haskell-cafe] containers license issue

Niklas Larsson wrote: >2012/12/15 Mike Meyer : >> Only if Tanenbaum documented the internal behavior of Linux before it >was written. >Tannenbaum wrote Minix, the operating system that Linus used (and >hacked on) before he did Linux. Minix contained lots of features that >

Re: [Haskell-cafe] containers license issue

Ketil Malde wrote: >Clark Gaebel writes: >> I just did a quick derivation from >> http://graphics.stanford.edu/~seander/bithacks.html#RoundUpPowerOf2 >A copyrighted work, you say? The work is copyrighted, the snippets are placed in the placed in the public domain. This is old hat - you can cop

Re: [Haskell-cafe] LGPL and Haskell (Was: Re: ANNOUNCE: tie-knot library)

On Thu, 13 Dec 2012 08:58:07 +1100 Ramana Kumar wrote: > On Thu, Dec 13, 2012 at 5:36 AM, Felipe Almeida Lessa < > felipe.le...@gmail.com> wrote: > > A GPLed containers forces the library user to somehow get a way of > > complying to the license. > The language here needs some clarification: the G

Re: [Haskell-cafe] containers license issue

On Wed, 12 Dec 2012 17:27:03 +0100 Vo Minh Thu wrote: > I'm not sure what your point is. > > Re-implementing an algorithm is not a copyright infringement (nor is a > propagation of the original work). Algorithms are not covered by > copyright. While algorithms aren't covered by copyright, *code

Re: [Haskell-cafe] containers license issue

Niklas Larsson wrote: >2012/12/12 Niklas Larsson : >> >> There is no copied code from FXT (which can be said with certainty as >> FXT is a C library), hence the there can be copyright issue. >Gah, I should proofread! NO copyright issue, of course. Um, no. Copyright *includes* translations. A tran

Re: [Haskell-cafe] ANNOUNCE: tie-knot library

David Thomas wrote: >... and OS X and iOS are clearly a win for the FLOSS community? Yes. The parts of it that are willing to use BSD-licensed software, anyway. Apple does release sources to some of their toys. They released all of OS X below the GUI level, for instance. Grand Central Dispatc

Re: [Haskell-cafe] education or experience?

Heinrich Apfelmus wrote: >Christopher Howard wrote: >Concerning a university education, there are two approaches> >1. I want to learn as much as possible >2. I want to learn just enough to get a high-paying job There's actually a third approach ( and probably more): 3. I want to learn to do th

[Haskell-cafe] Real-time code in Haskell (Was: Can a GC delay TCP connection formation?)

On Tue, Nov 27, 2012 at 3:45 AM, Gregory Collins wrote: > If you have a hard real-time requirement then a garbage-collected > language may not be appropriate for you. This is a common meme, but frankly, it isn't true. When writing real-time code, you just need to make sure that everything that ha

Re: [Haskell-cafe] Compilers: Why do we need a core language?

Jacques Carette wrote: >On 22/11/2012 11:52 AM, Brandon Allbery wrote: >> On Thu, Nov 22, 2012 at 7:56 AM, Jacques Carette >> > wrote: >> >> On 20/11/2012 6:08 PM, Richard O'Keefe wrote: >> >> On 21/11/2012, at 4:49 AM, >

Re: [Haskell-cafe] Cabal failures...

On Tue, Nov 20, 2012 at 7:34 PM, Albert Y. C. Lai wrote: > On 12-11-20 08:20 PM, Johan Tibell wrote: >> This logic is flawed. More than 90% of computers having Windows doesn't >> imply that 90% of all computers in a given household runs Windows. >> What's the probability that your household has a

Re: [Haskell-cafe] Optimal line length for haskell

Evan Laforge wrote: >I wonder if people who like one giant window maybe don't use the REPL? > I keep 3 windows open: one with the editor, one with ghci, and one >with a shell. [...] >I've tried with >3 terminals but I can never figure out what to do >with the extra ones. Besides your two shel

Re: [Haskell-cafe] Optimal line length for haskell

Colin Adams wrote: >I'm not viewing on a narrow device, and I see the wrapped (and the >whole >post confined to the centre of the screen). > >I certainly don't use an 80-column limit any more. I use the rule: > >A function must be completely visible in my editor on my screen. (but >this >is onl

Re: [Haskell-cafe] forkProcess, forkIO, and multithreaded runtime

On Tue, 16 Oct 2012 21:55:44 +0200 Alexander Kjeldaas wrote: > There are variants of this, but the meta-problem is that at the point in > time when you call forkProcess, you must control all threads, ensuring that > *all invariants hold*. Thus no locks held, no thread is in the C library, > no f