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

You can always try the attached docx! :) On Tue, Sep 3, 2013 at 9: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). > > After much b

Re: [Haskell-cafe] Applicative is like an Arrow

st chapter about attribute grammars talks about a different way to compose all kinds of aspects of a program and shows how some monads (reader/writer/state) are actually embedded into these lazy-folds. - http://matthew.brecknell.net/post/btree-gadt/ nice video tutorial showing how some new ty

Re: [Haskell-cafe] Applicative is like an Arrow

Thiago Negri writes: > I just stumbled upon the Applicative term. > Arrows are quite difficult for me to understand at the moment. > I guess it needs time to digest. > > But, as I understand so far, Applicative and Arrows looks like the same > thing. > > Please, enlight me. I would like to point

Re: [Haskell-cafe] Instead of Haskell running on the JVM is there a way for Haskell to call a JVM language ...

KC writes: > Instead of Haskell running on the JVM is there a way for Haskell to > call a JVM language (or generate bytecode) to access the Java class > libraries when needed? I once did a small test to get this working. It's not that hard, but needs some work. It's fine for exposing a few funct

[Haskell-cafe] Zipper and Comonad

Hi all, After using zippers for a while, I wanted to dig a bit deeper into them. I found there is some relation between Zipper and Comonad, but this confuses me somewhat. After reading a bit more about Comonads [1] and [2], I think I understand them somewhat, and I see how they too are useful for

Re: [Haskell-cafe] Increase GHC stack size?

./myProgram +RTS -K1600 If that gives an error, you're program was probably compiled without support for setting RTS options from the command line. Recompile with -rtsopts. Then the above should work On Sun, Feb 5, 2012 at 8:16 PM, Michael Rice wrote: > Stack space overflow: current size 8

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

A mascot :) 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, what stuff > would yo

Re: [Haskell-cafe] Dutch national FP day, January 6, Utrecht

Ik wil me graag inschrijven, inc dinner. Groeten, Mathijs On Fri, Dec 16, 2011 at 3:31 PM, S D Swierstra wrote: > On > > http://www.cs.uu.nl/wiki/bin/view/FPDag2012/WebHome > > > you will find the program and registration  information about the next Dutch > National Functional Programming day,

Re: [Haskell-cafe] Haskell vs. Dart

I disagree. They added types and interfaces to the language, giving it at least some type-safety (preventing me from making stupid mistakes that will only show up at runtime). I didn't look much further, but they _are_ extending the language itself. Coffeescript on the other hand, is just a differ

[Haskell-cafe] SplitObjs and LLVM

Hi all, Is it a known issue that -fllvm doesn't produce split objs? I tried ghc 7.0.3 with llvm 2.8 and ghc 7.2.1 with llvm 2.9. Thanks, Mathijs ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] emacs literate haskell mode

d, Sep 28, 2011 at 1:27 AM, Ivan Lazar Miljenovic wrote: > On 28 September 2011 07:42, Rogan Creswick wrote: >> On Tue, Sep 27, 2011 at 11:24 AM, Mathijs Kwik >> wrote: >>> Hi all, >>> >>> I'm using haskell-mode for emacs and I'm using it t

[Haskell-cafe] emacs literate haskell mode

Hi all, I'm using haskell-mode for emacs and I'm using it to open a literate haskell file which uses latex. This works fine, haskell code has syntax highlighting, and special symbols like lambda get used. However, the latex itself is dull and gree, no highlighting/coloring there. Does anyone know

Re: [Haskell-cafe] [Haskell] [ANNOUNCE] Haskdogs-0.1

perfect! works like a charm. Thanks for the quick response! Have a nice weekend, Mathijs On Sat, Sep 17, 2011 at 3:58 PM, Sergey Mironov wrote: > 2011/9/16 Mathijs Kwik : >> Do I need any special .el file to use these? >> Or commandline arguments to use etags format? >> >

Re: [Haskell-cafe] [Haskell] [ANNOUNCE] Haskdogs-0.1

Do I need any special .el file to use these? Or commandline arguments to use etags format? Emacs tells me 'visit-tags-table-buffer: File /home/mathijs/packages/snap/tags is not a valid tags table' On Tue, Sep 13, 2011 at 10:39 PM, Sergey Mironov wrote: > Hi! I am pleased to announce haskdogs

Re: [Haskell-cafe] Experimental GHC with GHCJS built in and Cabal support for JavaScript files

Wow, this is great news. (still compiling, so didn't even try it out yet) Will it be possible to interface (from/to) with native javascript functions in this release? And are there any packages that provide the objects/functions provided by the DOM? Thanks for continuing ghcjs. I was beginning to

Re: [Haskell-cafe] ArrowLoop and streamprocessors

On Fri, Apr 1, 2011 at 8:28 PM, Paul L wrote: > > Forgot to CC the list, please see below. > > On Wed, Mar 30, 2011 at 2:29 PM, Mathijs Kwik wrote: > > > someBox :: Either A B ~> O > > someBox = handleA ||| handleB > > Not sure about this. If you are modeling

Re: [Haskell-cafe] ArrowLoop and streamprocessors

Thank you all, As you all pointed out, arrows are just not up to this without resorting to tricks such as timestamping. I'm gonna have a look at the Peakachu library now ( http://hackage.haskell.org/packages/archive/peakachu/0.3.0/doc/html/FRP-Peakachu-Program.html ) (thanks Gergely!), it looks li

[Haskell-cafe] ArrowLoop and streamprocessors

Hi all, I'm playing around a bit with arrows (more specifically, something like a CPS style streamprocessor as described in "Generalising Monads to Arrows" by John Hughes). A part of my program takes inputs/signals from 2 sources. The sources don't produce output at the same rate, and this part is

[Haskell-cafe] forcing a type constraint on data

Hi all, I would like to make a more restrictive version of a certain datatype. I tried wrapping it in a newtype, fundeps, type families, really got lost :) What I'm trying to achieve is the following: The original package http://hackage.haskell.org/packages/archive/reaction-logic/2010.11.17/doc/h

Re: [Haskell-cafe] Haskell, Step by Step, Tutorial, Developing a Whole Application

I too would like such a tutorial. There is a lot of good material explaining certain concepts, and complete examples doing some real-world task. I've read RWH and LYAH and browsed quite some sources from packages from hackage. I understand what I read and I'm able to re-use that knowledge. But I to

Re: [Haskell-cafe] threadWaitRead and threadWaitWrite on multiple fds

uot;new" constructor is exposed as well) to keep all fd-watching in 1 thread. So it seems just enough functionality is exposed to do what I'm after. Those GHC devs must be clever guys :) On Mon, Dec 13, 2010 at 8:24 AM, Mathijs Kwik wrote: > Yep, that's like the workaround I&

Re: [Haskell-cafe] threadWaitRead and threadWaitWrite on multiple fds

Yep, that's like the workaround I'm using right now. I create an empty mvar, fire up 2 threads that will wait for an fd and tryPutMVar afterwards. My original thread justs gets the MVar to wait for any of the 2 fd-waiting-threads to complete. But however light threads may be, I still think this mig

[Haskell-cafe] threadWaitRead and threadWaitWrite on multiple fds

Hi all, I read the paper about the new ghc7 event handling IO manager goodies. This is all very exciting stuff. I didn't know GHC's RTS had these smart async-IO facilities. The paper pointed me at threadWaitRead/threadWaitWrite. While very nice the way they are, I would also like to be able to wai

Re: [Haskell-cafe] Haskell-friendly Linux Distribution

As a developer in 3 languages (ruby & java professionally, haskell as hobby) I must say I really prefer just managing this manually, separate from the package manager. I'm running ubuntu LTS (8.04) on production servers. I don't want to upgrade a server OS every 6 months, so I really like the more

[Haskell-cafe] Binaries using shared libraries with cabal-install

Hi all, I'm using cabal-install 0.8.0 on ghc 6.12.1 on linux I switched on shared library support on cabal. Does this enable -dynamic and -fPIC during compilation and -dynamic -shared during linking? Or does it work a little differently? I noticed everything works for libraries. .so files get cr

[Haskell-cafe] PseudoTerminals and Handles (again)

Hi All, A few days ago, I got started with the code found on this blogpost: http://www.serpentine.com/blog/2008/09/30/unix-hacking-in-haskell-better-pseudoterminal-support On my system, I found that using pseudoterminals as handles did not work. Reading output and writing input works fine, it's j

Re: [Haskell-cafe] ptys and hGetContent problem

And to reply to myself again... ta <- getTerminalAttributes fd setTerminalAttributes fd (withoutMode ta EnableEcho) Immediately -- and to find the right EOF character: let Just eofChar = controlChar ta EndOfFile On Tue, Mar 9, 2010 at 12:23 AM, Mathijs Kwik wrote: > Ok, cool >

Re: [Haskell-cafe] ptys and hGetContent problem

ight now, fdRead gives me back the output of the process, mixed with the input I supplied. I'm pretty sure this can be turned off. Any suggestions? On Mon, Mar 8, 2010 at 11:11 PM, Nick Bowler wrote: > On 20:38 Mon 08 Mar     , Mathijs Kwik wrote: >> Hi all, >> >

[Haskell-cafe] ptys and hGetContent problem

Hi all, I found this blogpost from Bryan O'Sullivan http://www.serpentine.com/blog/2008/09/30/unix-hacking-in-haskell-better-pseudoterminal-support/ and I wanted to try it out. Before moving to an interactive command (which needs pty), I just did a small test for "ls -l /" to see if it worked. I

[Haskell-cafe] file descriptors and handles

Hi all, Today I had a look at chapter 20 of RWH. The extended example (stripped down HSH) in the end is great. I think I understand it, but I have some questions left: the master process closes the client-sided FD's. it uses fdToHandle for the other sides of the pipe to get a handle to stdIn and

Re: [Haskell-cafe] Is there a way to embed a Haskell interpreter/compiler in a browser. I think this would be a safer language than JavaScript.

There used to be http://www.haskell.org/haskellwiki/Yhc/Javascript, which is a great plan, but got abandoned (I think). I still hope something like that will return some day (and not just for javascript, I would like to compile haskell to java bytecode or .net). For something that's usable now, ha

[Haskell-cafe] using phantom types to validate html

Hi all, Please have a look at http://moonpatio.com/fastcgi/hpaste.fcgi/view?id=2575#a2575 I wanted to use the typesystem to mandate businesslogic (in this case w3c validation rules). Thanks to some helpful people in #haskell I learned a bit about phantom types. Please let me know if I implemented

[Haskell-cafe] Datastructure with some business-rules

Hi all, I'm building a tree-like structure that somewhat resembles a package/ dependency structure as most packagemanagers/ports-systems have them. It's tree-like (Data.Tree at the moment), but I will probably need to make some structural changes to allow for more complex stuff like circular depe