[Haskell-cafe] ANNOUNCE: hydra-print-0.1.0.0

2013-04-06 Thread Ryan Newton
Hello cafe, This is an NCurses front end for visualizing a dynamic collection of text streams (e.g. as produced by make -j or cabal -j). It just splits the window when more streams appear. http://hackage.haskell.org/package/hydra-print http://parfunk.blogspot.com/2013/04/hydra-print.html

Re: [Haskell-cafe] GSoC Project Proposal: Markdown support for Haddock

2013-04-06 Thread Alexander Kjeldaas
+1 for concistency. Also, consider interop with non-haskell environments. For example showing the documentation of a function in emacs, eclipse, on github, and from a javascript library. All of these can be engineered around, and tooling can be provided. But let me give an example: the other

Re: [Haskell-cafe] ANNOUNCE: hydra-print-0.1.0.0

2013-04-06 Thread Joachim Breitner
Hi, Am Samstag, den 06.04.2013, 03:09 -0400 schrieb Ryan Newton: This is an NCurses front end for visualizing a dynamic collection of text streams (e.g. as produced by make -j or cabal -j). It just splits the window when more streams appear.

Re: [Haskell-cafe] Error when building executable with profiling enabled

2013-04-06 Thread Nikolaos Bezirgiannis
I switched to profiling through Cabal as you suggested, but now I have the error: bench\HLogo\Custom\Custom.hs:1:1: cannot find normal object file `dist\build\custom\custom-tmp\Framework\Keyword.o' while linking an interpreted expression So, I removed managing the executables directly

[Haskell-cafe] My first Haskell program

2013-04-06 Thread John Wood
Hello, Cafe I'm new to Haskell and the mailing list, and am wondering if I could get some feedback on my first program -- a Markov text generator. The code is posted here:http://codereview.stackexchange.com/questions/24791/haskell-markov-text-generator Thanks, John;

[Haskell-cafe] code-as-config, run-time checks and error locations

2013-04-06 Thread Steffen Schuldenzucker
Dear Café, I'm working on a EDSL that will include both type checks (at compile time) and semantic checks (at run time). - Semantic properties are known at compile time but feel too complex to me to be encoded in the type system. If one of the runtime checks fails, I'd like to print the

[Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Henning Thielemann
Can someone enlighten me about the origin of the term referential transparency? I can lookup the definition of referential transparency in the functional programming sense in the Haskell Wiki and I can lookup the meaning of reference and transparency in a dictionary, but I don't know why

Re: [Haskell-cafe] code-as-config, run-time checks and error locations

2013-04-06 Thread Kim-Ee Yeoh
On Sun, Apr 7, 2013 at 12:23 AM, Steffen Schuldenzucker sschuldenzuc...@uni-bonn.de wrote: For the moment I think it would be enough to auto-insert the location of calls to a certain set of functions. Have you tried assert [1]? [1]

Re: [Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Roman Cheplyaka
* Henning Thielemann lemm...@henning-thielemann.de [2013-04-06 19:43:45+0200] Can someone enlighten me about the origin of the term referential transparency? I can lookup the definition of referential transparency in the functional programming sense in the Haskell Wiki and I can lookup the

[Haskell-cafe] Fwd: meaning of referential transparency

2013-04-06 Thread Alexander Solla
On Sat, Apr 6, 2013 at 10:43 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: Can someone enlighten me about the origin of the term referential transparency? I can lookup the definition of referential transparency in the functional programming sense in the Haskell Wiki and I can

Re: [Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Kim-Ee Yeoh
On Sun, Apr 7, 2013 at 12:43 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: Can someone enlighten me about the origin of the term referential transparency? I can lookup the definition of referential transparency in the functional programming sense in the Haskell Wiki and I can

Re: [Haskell-cafe] code-as-config, run-time checks and error locations

2013-04-06 Thread Daniel Trstenjak
Hi Steffen, most of the time I'm just using these cpp macros: #define __POS__(__FILE__ ++ : ++ show __LINE__) #define ERROR error $ __POS__ ++ - ++ Instead of writing 'error blub' you would write 'ERROR blub' and additionally get the file name and the line. There's a bracktracing

Re: [Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Eli Frey
Links SO: http://stackoverflow.com/questions/210835/what-is-referential-transparency Reddit discussions of said SO question. http://www.reddit.com/r/haskell/comments/x8rr6/uday_reddy_on_referential_transparency_and_fp/

Re: [Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Edsko de Vries
I have quite a detailed discussion of this concept, and related concepts, in Section 2.8 of my PhD thesis ( https://www.cs.tcd.ie/Edsko.de.Vries/pub/MakingUniquenessTypingLessUnique-screen.pdf ). -E On Sat, Apr 6, 2013 at 7:13 PM, Kim-Ee Yeoh k...@atamo.com wrote: On Sun, Apr 7, 2013 at 12:43

Re: [Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Kim-Ee Yeoh
Should probably include the Reddit convo ongoing as we speak (zomg, it's live!): http://www.reddit.com/r/haskell/comments/1bsitm/lazy_io_breaks_equational_reasoning/ Not everyone here is a regular there. -- Kim-Ee On Sun, Apr 7, 2013 at 1:21 AM, Eli Frey eli.lee.f...@gmail.com wrote: Links

Re: [Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.

2013-04-06 Thread Albert Y. C. Lai
On 13-04-05 04:56 AM, Tom Ellis wrote: any is very ambiguous. Doesn't the problem go away if you replace it with all? Yes, that is even better. The world would be simple and elegant if it did things your way, and would still be not too shabby if it did things my way, no? «Learn You a

[Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Ömer Sinan Ağacan
Hi, I'm a hobbyist Haskell programmer and my use of Haskell is mostly consists of writing interpreters, simple virtual machines, and type checkers. One thing I'm not happy about my Haskell programs is, almost all of my programs have a monad transformer stack consisting MonadError, MonadIO and

Re: [Haskell-cafe] code-as-config, run-time checks and error locations

2013-04-06 Thread Steffen Schuldenzucker
Good Point! Doesn't quite meet my requirements (I don't want to show the error loc somewhere deep within the libs), but it led me here[1]. Reading through that now... [1] http://hackage.haskell.org/trac/ghc/wiki/ExplicitCallStack On 04/06/2013 07:51 PM, Kim-Ee Yeoh wrote: On Sun, Apr 7,

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Kim-Ee Yeoh
On Sun, Apr 7, 2013 at 4:22 AM, Ömer Sinan Ağacan omeraga...@gmail.com wrote: I'm a hobbyist Haskell programmer and my use of Haskell is mostly consists of writing interpreters, simple virtual machines, and type checkers. One thing I'm not happy about my Haskell programs is, almost all of my

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Roman Cheplyaka
Hi Ömer, You forgot to mention what your problem is. :) What you describe sounds reasonable. Why do you want to escape? Roman * Ömer Sinan Ağacan omeraga...@gmail.com [2013-04-07 00:22:58+0300] Hi, I'm a hobbyist Haskell programmer and my use of Haskell is mostly consists of writing

Re: [Haskell-cafe] code-as-config, run-time checks and error locations

2013-04-06 Thread Kim-Ee Yeoh
On Sun, Apr 7, 2013 at 4:37 AM, Steffen Schuldenzucker sschuldenzuc...@uni-bonn.de wrote: Reading through that now... [1] http://hackage.haskell.org/trac/ghc/wiki/ExplicitCallStack If you're reading that page, you probably also want to get up to speed on the latest. The thread titled RFC:

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Ömer Sinan Ağacan
You forgot to mention what your problem is. :) What you describe sounds reasonable. Why do you want to escape? It's not really a problem, I'm not happy with this design because to me it was like I'm missing the point of using a 'functional' language. For instance, in most parts of my code I

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Ömer Sinan Ağacan
Not as well-known as it should be is the fact that GHC doesn't make much use of monad transformers. Have you taken a look at the sources? That might provide ideas on future ways of structuring your experiments. That's interesting, thanks! Do you have any recommendations about which file to

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Tillmann Rendel
Hi, Ömer Sinan Ağacan wrote: One thing I'm not happy about my Haskell programs is, almost all of my programs have a monad transformer stack consisting MonadError, MonadIO and MonadState. You can try to write most of your program in pure functions that are called from a few main functions in

Re: [Haskell-cafe] meaning of referential transparency

2013-04-06 Thread Sergey Bushnyak
On 04/06/2013 08:43 PM, Henning Thielemann wrote: Can someone enlighten me about the origin of the term referential transparency? I can lookup the definition of referential transparency in the functional programming sense in the Haskell Wiki and I can lookup the meaning of reference and

Re: [Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.

2013-04-06 Thread Tom Ellis
On Sat, Apr 06, 2013 at 05:14:48PM -0400, Albert Y. C. Lai wrote: On 13-04-05 04:56 AM, Tom Ellis wrote: any is very ambiguous. Doesn't the problem go away if you replace it with all? Yes, that is even better. The world would be simple and elegant if it did things your way, and would

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread kudah
On Sun, 7 Apr 2013 01:02:12 +0300 Ömer Sinan Ağacan omeraga...@gmail.com wrote: I'm not happy with this design because to me it was like I'm missing the point of using a 'functional' language. You kind of do, e.g. you might not be able to test parts of your program independently. For

[Haskell-cafe] Compilers book in Haskell

2013-04-06 Thread Andrés Sicard-Ramírez
Juan, te puede interesar On Sat, Apr 6, 2013 at 5:56 PM, Sergey Bushnyak sergey.bushn...@sigrlami.eu wrote: I will recommend you book Modern Compiler Design by Dick Grune and others. Besides discussing different topics, authors use Haskell as example for describing ideas behind compilers

Re: [Haskell-cafe] ANN: psqueue-benchmarks - benchmarks of priority queue implementations

2013-04-06 Thread Niklas Hambüchen
On 30/03/13 06:44, Louis Wasserman wrote: That said, I'm not sure I follow how queuelike is a psqueue at all as opposed to a pqueue? Louis, you are actually right. I was tricked by the delete function, which takes only the queue, not the key, so it simply pops the top - queuelike is not a

Re: [Haskell-cafe] ANN: psqueue-benchmarks - benchmarks of priority queue implementations

2013-04-06 Thread Niklas Hambüchen
@Cale, do you have a repo of fingertree-psqueue around? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe