July 2010 - Haskell-Cafe

Re: [Haskell-cafe] ANN: Haskell-mode 2.8.0
by Svein Ove Aas 02 Jul '10

02 Jul '10

On Sat, Jul 3, 2010 at 1:07 AM, Deniz Dogan <deniz.a.m.dogan(a)gmail.com> wrote: > > Since there is no reason what so ever to integrate this external > Haskell indenter tightly into haskell-mode, I don't see any reason to > do so. Doing so would only mean that haskell-mode will most likely > never be a part of Emacs, meaning that anyone looking for programming > Haskell in Emacs would have to download an external library, be it > through package.el or not. > > To put it short, there are no pros in making the new Haskell indenter > a strict part of haskell-mode. > Sure there is. I expect there to be quite a lot of shared code. It's not solely an indenter; the same interface and capabilities will be used for a debugger, refactoring, and type signature info. Haskell-mode should still work without it, to about the same degree as today, but actually doing so would be a *major* degradation compared to the state of the art once I'm done with it. In any case, I expect the actual installation to be via cabal-install. -- Svein Ove Aas

1 0

Re: [Haskell-cafe] ANN: Haskell-mode 2.8.0
by Ivan Lazar Miljenovic 02 Jul '10

02 Jul '10

Deniz Dogan <deniz.a.m.dogan(a)gmail.com> writes: > Why should it not become part of Emacs? > > I would like it if this Haskell indenter was external to haskell-mode > itself instead of making haskell-mode external to Emacs. Why should it? Look at all the effort that the Haskell community went through to _unbundle_ libraries from GHC, and now Emacs is bundling more and more with it, which means it's harder to use a newer version of a package than the bundled one. -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

Looking for GUI (WX) example code
by Günther Schmidt 02 Jul '10

02 Jul '10

Hi all, I'd be interested in studying GUI (wxhaskell) code. Does anyone have links to good gui code? Best regards Günther

2 1

GHCi and State
by corentin.dupont＠ext.mpsa.com 02 Jul '10

02 Jul '10

Another couple of reflexions (sorry for monopolizing): 1. Since i am making a Nomic game, players will have to submit rules. These rules will be written in a sub-set of haskell. Instead of writing my own reader/interpreter, i'd like to use GHC to compil them on the fly, and then add them to the current "legislation". What would you suggest me to do that? Any pointers? 2. For now, the game is more or less playable in GHCi. But my concern is: When you use GHCi, you are in the IO monad, right? How to had state to this monad? I would like that the player can compose his rule in GHCi, and when he is done, he can submit it in GHCi with something like: *Nomic> submitRule <myrule> And then the game takes the rule, possibly modify the current legislation, and give the hand back to GHCi. So the "current legislation" has to be a state of the GHCi's loop. Is this possible at all? submitRule would have a type more or less like that (GameState contains the legislation): submitRule :: Rule -> StateT GameState IO () Thanks for your attention! I know this is a bit confused! Best, Corentin

7 7

Re: [Haskell-cafe] ANN: Haskell-mode 2.8.0
by Ivan Lazar Miljenovic 02 Jul '10

02 Jul '10

Alex Ott <alexott(a)gmail.com> writes: > Re > > Svein Ove Aas at "Fri, 2 Jul 2010 15:36:06 +0200" wrote: > SOA> On Fri, Jul 2, 2010 at 3:23 PM, Deniz Dogan <deniz.a.m.dogan(a)gmail.com> wrote: > >> Why do you want to rewrite the indenter in Haskell? If haskell-mode > >> has any external dependencies such as that one, it will most likely > >> never make it into Emacs. > >> > SOA> In no particular order: > > SOA> - For any given line, there are typically several possible > SOA> indentations. We can cycle between these, but it's better to minimize > SOA> them. > > SOA> - I want the parser to be as accurate as possible. This essentially > SOA> means reimplementing haskell-src-exts, unless I *use* > SOA> haskell-src-exts. > > May be you can use semantic to make a parser? Semantic is already included > into emacs, and I hope, that it will make life easier. Plus we'll > automatically get lot of other functionality - name completion, navigation, > etc. My understanding is that semantic is more aimed at C-like languages (I seem to recall reading a discussion a while back about someone trying to use semantic to parse Python or something like that and failing), and as such wouldn't work too well for Haskell. -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

Re: [Haskell-cafe] ANN: Haskell-mode 2.8.0
by Svein Ove Aas 02 Jul '10

02 Jul '10

On Fri, Jul 2, 2010 at 3:23 PM, Deniz Dogan <deniz.a.m.dogan(a)gmail.com> wrote: > Why do you want to rewrite the indenter in Haskell? If haskell-mode > has any external dependencies such as that one, it will most likely > never make it into Emacs. > In no particular order: - For any given line, there are typically several possible indentations. We can cycle between these, but it's better to minimize them. - I want the parser to be as accurate as possible. This essentially means reimplementing haskell-src-exts, unless I *use* haskell-src-exts. - In many cases, the legal indentations depend on the types of the expressions involved. This can be figured out, but requires part of the code to be running in GHC *anyway*. - Elisp is a lousy language compared to haskell, and I don't really care about getting haskell-mode into the emacs distribution. It makes more sense to bundle it with GHC, if it has to be bundled. - Most of haskell-mode will work without this helper program, including the three other indentation modes. -- Svein Ove Aas

1 0

Re: [Haskell-cafe] ANN: Haskell-mode 2.8.0
by Ivan Lazar Miljenovic 02 Jul '10

02 Jul '10

Deniz Dogan <deniz.a.m.dogan(a)gmail.com> writes: > 2010/7/2 Svein Ove Aas <sveina(a)gmail.com>: >> My current project is to rewrite the indenter in haskell, using >> haskell-src-exts and such. [snip] > > Why do you want to rewrite the indenter in Haskell? If haskell-mode > has any external dependencies such as that one, it will most likely > never make it into Emacs. Why should it become part of Emacs (especially when they finally seem to be starting to work on standardising packaging, etc. to make it easier to install third party modes)? -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

Re: [Haskell-cafe] ANN: Haskell-mode 2.8.0
by Christopher Done 02 Jul '10

02 Jul '10

On 2 July 2010 14:45, Svein Ove Aas <sveina(a)gmail.com> wrote: > My current project is to rewrite the indenter in haskell, using > haskell-src-exts and such. Aligning imports will probably be trivial > once that is done, but the work of integrating it now would probably > also be wasted. That sounds like a good idea. I considered using haskell-src-exts myself but didn't bother at the time. > I might do it anyway, if it's sufficiently little work. Let's see. It should just be case of choosing what keybinding to use.

1 0

Re: ANN: Haskell-mode 2.8.0
by Johan Tibell 02 Jul '10

02 Jul '10

On Fri, Jul 2, 2010 at 2:26 PM, Svein Ove Aas <sveina(a)gmail.com> wrote: > I'm happy to (finally) announce haskell-mode 2.8.0, which can be found at > http://projects.haskell.org/haskellmode-emacs/ > > This is a feature release. I'll let the changelog speak for itself: > > > * Minimal indentation support for arrow syntax > > * Autolaunch haskell-mode for files starting with #!/usr/bin/runghc > and similar > > * Added minimal major mode for parsing GHC core files, courtesy of Johan > Tibell. > There is a corresponding Haskell menu entry. > > * Allow configuration of where-clause indentation; M-x customize-group > haskell-indentation. > > > You can expect a 2.8.1 or even 2.8.2 in the near future, as I attempt > to empty the bug list, but I thought I might as well get the new > features out there quickly. There's bound to be new bugs associated > with them. > Thank you for working on this. Getting the where-clause indentation issue fixed removed a small but frequent annoyance in my Haskell programming. Johan

1 0

ANN: Haskell-mode 2.8.0
by Svein Ove Aas 02 Jul '10

02 Jul '10

I'm happy to (finally) announce haskell-mode 2.8.0, which can be found at http://projects.haskell.org/haskellmode-emacs/ This is a feature release. I'll let the changelog speak for itself: * Minimal indentation support for arrow syntax * Autolaunch haskell-mode for files starting with #!/usr/bin/runghc and similar * Added minimal major mode for parsing GHC core files, courtesy of Johan Tibell. There is a corresponding Haskell menu entry. * Allow configuration of where-clause indentation; M-x customize-group haskell-indentation. You can expect a 2.8.1 or even 2.8.2 in the near future, as I attempt to empty the bug list, but I thought I might as well get the new features out there quickly. There's bound to be new bugs associated with them. -- Svein Ove Aas

2 1