[Haskell-cafe] what's the best environment for haskell work?

Do most people who work with haskell use emacs/vi/eclipse or something else?? Personal Note: I used gofer some 15 years ago.  At that time I hacked up a emacs mode (I did not know of any then) along with some changes to gofer to have gofer inside emacs rather than vi inside gofer. Things have got

Re: [Haskell-cafe] abs minBound < (0 :: Int) && negate minBound == (minBound :: Int)

On Tue, Aug 20, 2013 at 6:37 AM, Richard A. O'Keefe wrote: > > On 20/08/2013, at 3:43 AM, Kyle Miller wrote: > >> On Sun, Aug 18, 2013 at 8:04 PM, Richard A. O'Keefe >> wrote: >> The argument for twos-complement, which always puzzled me, is that the other >> systems have two ways to represent ze

Re: [Haskell-cafe] abs minBound < (0 :: Int) && negate minBound == (minBound :: Int)

On Wed, Aug 21, 2013 at 11:47 AM, Ketil Malde wrote: > On a more serious note, I accept that Int (and other limited precision > numbers) is a fact of life, and sometimes useful for performance > reasons. > > I would have liked, however, to have a compiler option or some other way > to make my prog

Re: [Haskell-cafe] haskore -> lilypond -> typesetting?

On Wed, Aug 21, 2013 at 6:35 PM, Johannes Waldmann wrote: > I tried using lilypond ( http://www.lilypond.org/ ) > for typesetting of sheet music. > > While the output looks nice, the input language IMHO is quite horrible, I use musescore. Its got 3 modes on entry a. clickety-click -- ie mouse b.

Re: [Haskell-cafe] Can I use String without "" in ghci?

On Mon, Sep 2, 2013 at 5:43 AM, Richard A. O'Keefe wrote: > > A slogan I have programmed by since I first met C and recognised > how vastly superior to PL/I it was for text manipulation _because_ > it didn't have a proper string type is "Strings are Wrong!". > I wonder if you notice the irony in

[Haskell-cafe] Fwd: Can I use String without "" in ghci?

On Mon, Sep 2, 2013 at 10:43 AM, Richard A. O'Keefe wrote: > > On 2/09/2013, at 3:55 PM, Rustom Mody wrote: > > > On Mon, Sep 2, 2013 at 5:43 AM, Richard A. O'Keefe wrote: > > > > > A slogan I have programmed by since I first met C and recognised > &g

Re: [Haskell-cafe] Poll & plea: State of GUI & graphics libraries in Haskell

On Fri, Sep 27, 2013 at 9:02 AM, Conal Elliott wrote: > I'm polling to see whether there are will and expertise to reboot graphics > and GUIs work in Haskell. I miss working on functional graphics and GUIs in > Haskell, as I've been blocked for several years (eight?) due to the absence > of low-l

[Haskell-cafe] haskell platform broken in ubuntu

I just upgraded my ubuntu laptop to 13.04 and haskell platform is gone!! http://askubuntu.com/questions/286764/how-to-install-haskell-platform-for-ubuntu-13-04 What is the current status on this? Is 13.10 going to correct this? ___ Haskell-Cafe mailing

Re: [Haskell-cafe] haskell platform broken in ubuntu

On Sat, Oct 5, 2013 at 9:05 AM, Vagif Verdi wrote: > 13.04 has packages for ghc 7.6.2 > > It is easy to install latest haskell platform though. > > Just run this script: https://github.com/chrisprobst/ubuntu-raring-haskell > > I was hoping that something a little less painful than a full from-sou

Re: [Haskell-cafe] haskell platform broken in ubuntu

On Sat, Oct 5, 2013 at 9:18 AM, Vagif Verdi wrote: > That will give you only ghc 7.6.2. If you want latest haskell-platform, > source compile is the only option. And btw it is not THAT painful :) > You run the script, wait 2-3 minutes and tada! > > Ok so someone is very confused -- maybe me :-)

Re: [Haskell-cafe] Embed Haskell

On Sun, Apr 22, 2012 at 9:29 PM, Rosario Borda wrote: > Hi All, > > Is there a simple method for embed haskell in other languages, like latex? > > An example in quasiquotation notation: > > \documentclass{article} > \title{Hello World} > \begin{document} > \maketitle > Hello world! and reverse

Re: [Haskell-cafe] Correspondence between libraries and modules

On Tue, Apr 24, 2012 at 7:29 PM, Gregg Lebovitz wrote: > > > On 4/23/2012 10:17 PM, Brandon Allbery wrote: > > On Mon, Apr 23, 2012 at 17:16, Gregg Lebovitz wrote: > >> On 4/23/2012 3:39 PM, Brandon Allbery wrote: >> >> The other dirty little secret that is carefully being avoided here is >>

Re: [Haskell-cafe] Correspondence between libraries and modules

On Wed, May 23, 2012 at 9:44 PM, Gregg Lebovitz wrote: > Rustom, > > I am drafting a document that captures some of the social norms from the > comments on this list, mostly from Brandon and Wren. I have captured the > discussion about module namespace and am sorting out the comments on the > re

Re: [Haskell-cafe] Need inputs for a Haskell awareness presentation

On Thu, May 31, 2012 at 11:53 PM, C K Kashyap wrote: > Hi folks, > > I have the opportunity to make a presentation to folks (developers and > managers) in my organization about Haskell - and why it's important - and > why it's the only way forward. > You (and we) may believe that but saying so u

Re: [Haskell-cafe] Tutorial: Haskell for the Evil Genius

On Sun, Sep 16, 2012 at 8:18 PM, Tillmann Rendel < ren...@informatik.uni-marburg.de> wrote: > Hi, > > > Kristopher Micinski wrote: > >> Everyone in the Haskell cafe probably has a secret dream to give the >> best "five minute monad talk." >> > > (1) Most programming languages support side effects.

Re: [Haskell-cafe] [Off-topic] How unimportant it is whether submarines can swim (EWD1056)

On Sat, Oct 27, 2012 at 2:21 AM, Henk-Jan van Tuyl wrote: > > L.S., > > I thought you might be interested to know, that I have translated one of > prof. Edsger W. Dijkstra's writings to English[0]. I will submit this > translation to the E. W. Dijkstra Archive of the University of Texas[1]. > > So

[Haskell-cafe] Optimal line length for haskell

There was a recent discussion on the python list regarding maximum line length. It occured to me that beautiful haskell programs tend to be plump (ie have long lines) compared to other languages whose programs are 'skinnier'. My thoughts on this are at http://blog.languager.org/2012/10/layout-imper

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

On Mon, Oct 29, 2012 at 5:29 PM, Iustin Pop wrote: > On Mon, Oct 29, 2012 at 05:20:20PM +0530, Rustom Mody wrote: > > There was a recent discussion on the python list regarding maximum line > > length. > > It occured to me that beautiful haskell programs tend to be plum

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

On Mon, Oct 29, 2012 at 5:40 PM, Malcolm Wallace wrote: > It is kind of ironic that the wide code examples in the blog post are > wrapped at 65 chars by the blog formatting. > > Regards, > Malcolm Well that goes to underscore a couple of points: 1. The fixed 80 char width that was inviolabl

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

On Mon, Oct 29, 2012 at 5:55 PM, 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

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

On Mon, Oct 29, 2012 at 7:58 PM, Alexander Solla wrote: > > > On Mon, Oct 29, 2012 at 6:52 AM, Michael Orlitzky wrote: > >> On 10/29/2012 07:50 AM, Rustom Mody wrote: >> > There was a recent discussion on the python list regarding maximum line >> > length.

Re: [Haskell-cafe] Design of a DSL in Haskell

On Sun, Dec 2, 2012 at 7:31 PM, Joerg Fritsch wrote: > This is probably a very basic question. > > I am working on a DSL that eventuyally would allow me to say: > > import language.cwmwl > > main = runCWMWL $ do > > eval ("isFib::", 1000, ?BOOL) > > > I have just started to work on the interp

Re: [Haskell-cafe] education or experience?

On Sun, Dec 9, 2012 at 7:04 AM, Jerzy Karczmarczuk < jerzy.karczmarc...@unicaen.fr> wrote: > For me, opposing experience and education is simply silly. > > Probably more than 70% of all people would learn much faster on their own > than at school. But, learn WHAT? : > > 1. Probably less than 1% wo

Re: [Haskell-cafe] education or experience?

Thanks Doug for reminding me of points that I had forgotten (and which are new) I will insert them into the blog My comments inline On Sun, Dec 9, 2012 at 10:01 PM, Doug McIlroy wrote: > > Yes... CS academics delivers less than it could/should; > > and whatever this delivery is, its asymptotical

Re: [Haskell-cafe] education or experience?

On Sun, Dec 9, 2012 at 11:04 PM, Malcolm Wallace wrote: > > On 9 Dec 2012, at 16:31, Doug McIlroy wrote: > > > In fact the FP community came late to some of these, just as > > programming languages at large came late to garbage collection. > > > > Lazy evaluation--at the heart of spreadsheets sinc

Re: [Haskell-cafe] education or experience?

On Mon, Dec 10, 2012 at 5:33 AM, Doug McIlroy wrote: > > > Matlab exploits them heavily (though represented as doubles). > > > Not sure what you are referring to > > I had in mind Matlab's frequent use of a Boolean array as > a characteristic function describing some property of the > elements

Re: [Haskell-cafe] Can cabal be turned into a package manager?

On Wed, Dec 12, 2012 at 11:25 PM, Ertugrul Söylemez wrote: > "Janek S." wrote: > > > In the recent months there was a lot of dicussion about cabal, > > dependency hell and alike. After reading some of these discussions > > there is a question I just have to ask: > > > > Why not create a package

Re: [Haskell-cafe] Can cabal be turned into a package manager?

On Thu, Dec 13, 2012 at 1:29 AM, Brandon Allbery wrote: > On Wed, Dec 12, 2012 at 12:51 PM, Andre Cunha wrote: > >> Janek, did you mean something like Rubygems (http://rubygems.org)? It >> manages the download, installation and manipulation of Ruby packages, >> called "gems". A gem can contain exe

Re: [Haskell-cafe] Can cabal be turned into a package manager?

On Thu, Dec 13, 2012 at 11:46 PM, Badi' Abdul-Wahid wrote: > Just my two cents: Nix is great, Modules is not perfect, but it is good. > > I think that Nix solves a lot of the problems, but will likely take a > while to be adopted. > I'm still exploring Nix and NixOS, but I have to say: I really li

[Haskell-cafe] Non polymorphic numerals option -- avoiding type classes

In haskell, we have Prelude> :t 4 4 :: Num a => a Prelude> This may be nice in its generality but it makes it hard (for me at least) when teaching a beginners course to teach polymorphic vs monomorphic types. The above leads to even more 'advanced' results like this: Prelude> :t [[1],2] [[1],2]

Re: [Haskell-cafe] Non polymorphic numerals option -- avoiding type classes

On Thu, Dec 27, 2012 at 1:48 AM, Roman Cheplyaka wrote: > * Rustom Mody [2012-12-26 20:12:17+0530] > > So is there any set of flags to make haskell literals less polymorphic? > > Yes, there is! > > % ghci -XRebindableSyntax > GHCi, version 7.6.1: http://www.haske

Re: [Haskell-cafe] Non polymorphic numerals option -- avoiding type classes

On Thu, Dec 27, 2012 at 8:26 PM, Kim-Ee Yeoh wrote: > Hi David, it looks like Rustom's aware that haskell's not lisp. What he > really wants methinks is a way to suppress type classes altogether! That or > a NoOverloadedNumerals extension. > > -- Kim-Ee > > I'm not really sure about that... Look!

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

On Mon, Dec 31, 2012 at 1:28 AM, Daniel Díaz Casanueva < dhelta.d...@gmail.com> wrote: > Hello, Haskell Cafe folks. > > My programming life (which has started about 3-4 years ago) has always > been in the functional paradigm. Eventually, I had to program in Pascal and > Prolog for my University (w

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

On Mon, Dec 31, 2012 at 7:30 AM, Rustom Mody wrote: > >> > Ive been collecting material regarding (confusions around) OO. Its far > from complete but the references may be useful, eg > - the Rees list on the different things that OO means to different people > - the fund

Re: [Haskell-cafe] Chordify, a new web startup using Haskell

On Fri, Jan 18, 2013 at 2:09 PM, Thiago Negri wrote: > Is it possible to play the generated chords as a melody by itself, without > the original music over it? > > Super work! I was meaning to ask something similar -- can we get out something of the music that chordify has reverse engineered --

Re: [Haskell-cafe] resources for learning Hindley-Milner type inference for undergraduate students

On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek wrote: > Dnia piątek, 18 stycznia 2013, Petr P napisał: > > for learning Hindley-Milner type inference algorithm I could recommend to > > undergraduate students? The original paper is harder to understand, I'm > > looking for something more didactic. T

Re: [Haskell-cafe] list comprehansion performance has hug different

On Wed, Jan 30, 2013 at 5:32 PM, Junior White wrote: > > > Thanks for your reply! I must learn more to fully understand what's going > on inside the list comprehension. > But when I frist learn Haskell, it says sequence doesn't matter, but now > it is a big matter, can compiler do some thing for

Re: [Haskell-cafe] FFI - Approaches to C/C++

On Thu, Jan 31, 2013 at 11:11 AM, Casey Basichis wrote: > Hi, > > I'm working on a project in Haskell and C++ where the former is the brains > and the latter is for UI, interaction etc. > > I've read this > http://www.altdevblogaday.com/2012/04/26/functional-programming-in-c/ and > a number of oth

Re: [Haskell-cafe] Most used functions in hackage

On Tue, Jan 29, 2013 at 1:53 PM, Casey Basichis wrote: > Hi Dmitry, > > Thanks for the links. I've been through the 24 Days of Hackage, but I > think its time to run through them again now that I'm a little more > familiar with everything. > > Why do you think browsing function by function is a b

Re: [Haskell-cafe] linking errors while compile hugs98 in macos

On Fri, Feb 1, 2013 at 8:45 AM, Junior White wrote: > Sadly! I like hugs because it can embed in my game client as lua. For game > logic language, I think the following properties are important: > 1. Portable, works on pc,macosx,ios,android even flash or web. > 2. Intepret, for quick develop, qui

Re: [Haskell-cafe] Most used functions in hackage

On Fri, Feb 1, 2013 at 9:41 PM, Casey Basichis wrote: > That book Mathsemantics sounds like something I should read, would you > recommend it? > > Well its quite a favourite of mine, if that counts as a recommendation… > Your point occurred to me the other day when measuring number of download

Re: [Haskell-cafe] Most used functions in hackage

On Sat, Feb 2, 2013 at 3:38 AM, Casey Basichis wrote: > I just ordered Mathsemantics for a hefty $2.10. > > Your article's were an enjoyable read and very informative. I'll dig more > into you blog tonight. > > I've read the Great Good book, Haskell school of music, and I'm working my > way throu

Re: [Haskell-cafe] Most used functions in hackage

On Sat, Feb 2, 2013 at 12:43 PM, Casey Basichis wrote: > I'm not sure what you mean. > > I would imagine popular success for either would be circumstantial and > have little to do with their actual ability and more to do with the > opportunities they pursue and the cultural atmosphere at the time.

Re: [Haskell-cafe] Why isn't "Program Derivation" a first class citizen?

On Wed, Feb 13, 2013 at 4:17 AM, Nehal Patel wrote: > A few months ago I took the Haskell plunge, and all goes well... -- but I > really want to understand the paradigms as fully as possible, and as it > stands, I find myself with three or four questions for which I've yet to > find suitable answ

[Haskell-cafe] python under attack. ??Haskell??

Please see http://pyfound.blogspot.in/2013/02/python-trademark-at-risk-in-europe-we.html I cannot say that I understand whats really going on The one thing that I get is that there was some minor neglect a decade or more ago. Maybe there are things that Haskell needs to

Re: [Haskell-cafe] A Thought: Backus, FP, and Brute Force Learning

On Mon, Mar 25, 2013 at 4:13 AM, Richard A. O'Keefe wrote: > It's "Backus", people. He was never the god of wine. > > I cannot detect any trace of Backus's FP in Haskell at all. > FP is strict. Haskell is not. > FP is typeless. Haskell is highly typeful. > FP does not name formal parameters. Ha

Re: [Haskell-cafe] A Thought: Backus, FP, and Brute Force Learning

On Mon, Mar 25, 2013 at 9:40 AM, Rustom Mody wrote: > - in 1992 it was gofer, the predecessor of haskell > - in 2001 it was scheme. > Sorry typo: 2001 it was python ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.or

[Haskell-cafe] whats with cabal and libgmp.so.3

Today cabal suddenly started giving me errors that libgmp.so.3 is not found Moving away my old .cabal makes it work again Any explanations? [I am on debian testing. I think the causing factor was that debian switched major versions recently. There were a lot of updates... Nothing that looked like

[Haskell-cafe] Teaching FP with Haskell

We are offering a MOOC on haskell : https://moocfellowship.org/submissions/the-dance-of-functional-programming-languaging-with-haskell-and-python Full Announcement on beginners list : http://www.haskell.org/pipermail/beginners/2013-May/012013.html One question that I have been grappling with in t

[Haskell-cafe] ghc release schedule

I give "ghc release schedule" to google and get at/near the top: http://hackage.haskell.org/trac/ghc/wiki/Status/Releases whose title is "Release plans for ghc 6.12" ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/l

Re: [Haskell-cafe] Int is broken [Was: Different answers on different machines]

On Tue, Jun 4, 2013 at 7:35 AM, Richard A. O'Keefe wrote: > > On 3/06/2013, at 6:58 PM, Carter Schonwald wrote: > > If the Int type had either of these semantics by default, many many > performance sensitive libraries would suddenly have substantially less > compelling performance. Every single o

[Haskell-cafe] lost in generics

I need some help finding my way around the various generics libraries. My usage scenario is -- at least to start with -- the ASTs of programming languages. It appears to me that there are two generations of generics -- earlier there was generic haskell and strafunski Now there is uniplate and kur

Re: [Haskell-cafe] ANN: diagrams 0.4

Thanks. This is attractive. I remember (vaguely) a 'live page' ie where one could enter (into the browser) changes to the diagrams code and see the results immediately. Is that page there? (Or am I mixing up with something else?) How does diagrams compare with graphviz? If this is an inappropria

Re: [Haskell-cafe] ANN: diagrams 0.4

On Mon, Oct 24, 2011 at 10:17 PM, Stephen Tetley wrote: > > Rustom Mody writes: > > > >> I remember (vaguely) a 'live page' ie where one could enter (into the > >> browser) changes to the diagrams code and see the results immediately. > >> Is t

Re: [Haskell-cafe] ANN: diagrams 0.4

On Mon, Oct 24, 2011 at 10:16 AM, Ivan Lazar Miljenovic < ivan.miljeno...@gmail.com> wrote: > On 24 October 2011 13:51, Rustom Mody wrote: > > How does diagrams compare with graphviz? If this is an inappropriate > > (type-wrong?) question thats ok :-) Its just that

Re: [Haskell-cafe] ANN: diagrams 0.4

On Tue, Oct 25, 2011 at 10:40 AM, Ivan Lazar Miljenovic < ivan.miljeno...@gmail.com> wrote: > On 25 October 2011 16:02, Rustom Mody wrote: > > On Mon, Oct 24, 2011 at 10:16 AM, Ivan Lazar Miljenovic > > wrote: > >> > >> On 24 October 2011 13:51, Rusto

Re: [Haskell-cafe] Libraries to compare trees?

On Fri, Oct 28, 2011 at 8:54 PM, Ozgur Akgun wrote: > Hi. > > > On 27 October 2011 13:49, dokondr wrote: > >> Please advise on Haskell libraries to compare trees in textual >> representation. >> I need to compare both structure and node contents of two trees, find >> similar sub-trees, and need

[Haskell-cafe] capri cabal-dev virtualenv cab

Does anyone give me a little comparison of these? What would all my requirements be? Not sure... these seem important for me 1. Need to sandbox not just haskell-projects but ghc (different compilations/versions) itself 2. Stability of the (sandboxing) tool 3. Correcting the deficiencies of cabal

Re: [Haskell-cafe] Program used for debugging

On Thu, Dec 1, 2011 at 7:40 PM, Yves Parès wrote: > Hey, > > What do you mostly use for debugging? > Simple calls to Debug.Trace.trace? Hpc? Hood? > I also wonder about 'type-debugging' Using ghci: For a top level expression: - if it is not compiling I can put in (or remove) a type decl and se

Re: [Haskell-cafe] indentation blues

Is the haskell-mode that comes out of the box with emacs (v 23.3) the one you folk use or do you use something more specific/uptodate? How to find out? [There should be a haskell-mode-version...] To the folks from the (hesitating) vi-camp: Whatever you use, please take time to familiarize yoursel

Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

2011/12/22 Gábor Lehel > On Mon, Dec 19, 2011 at 8:20 PM, Robert Clausecker > wrote: > > Image you would create your own language with a paradigm similar to > > Haskell or have to chance to change Haskell without the need to keep any > > compatibility. What stuff would you add to your language,

Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

On Sat, Dec 24, 2011 at 8:20 PM, Alexander Solla wrote: > > > On Wed, Dec 21, 2011 at 8:39 PM, MigMit wrote: > >> >> On 22 Dec 2011, at 06:25, Alexander Solla wrote: >> >> > Denotational semantics is unrealistic. >> >> And so are imaginary numbers. But they are damn useful for electrical >> circu