- Haskell-Cafe - Haskell.org

mapping a concept to a type
by Corentin Dupont 04 Jun '12

04 Jun '12

Hi everybody, I'm still working on implementing a nomic game in Haskell. Although the game is pretty advanced, I'm still confused by one fundamental question: A nomic game is composed of rules. A Rule is a sort of little program submitted by the player during the game. They come in two fashions: - a Normal rule, when executed, can change the state of the Game. - a Meta rule, when executed on another rule, can assess the legality of that rule and change the state of the Game. In those definitions, the Game can be seen as a data structure containing all the current state of the game. Sorry if it's a bit abstract, but as it's fairly complex, I'd prefer to keep it like this for the moment. Thus, I found that those definitions can be translated to two possible type definitions: type NormalRule = State Game () type MetaRule = Rule -> State Game Bool data Rule = MR MetaRule | NR NormalRule *** or *** newtype Rule = Rule {rule :: Maybe Rule -> (State Game Bool)} All rules submitted by the user must be of the type Rule. It is thus important that it is very clean. Which type do you prefer? I find both heavy and redundant. The first forces me to specify if I want an argument of not (with the constructors MR and NR), the second forces me to pass the Nothing argument in the case of a Normal rule, and to return a dummy value (for ex. return True). Do you know of a construction/abstraction that allows having or not an argument (a variable number of arguments, here zero or one)? Thanks! Corentin

3 5

Re: [Haskell-cafe] Announce: Haskell Platform 2012.2.0.0
by Chris Wong 03 Jun '12

03 Jun '12

On Mon, Jun 4, 2012 at 1:16 PM, Jens Petersen <juhp(a)community.haskell.org> wrote: > Congratulations on the release! > Equally surprising to me is that the number of slashes > also seems to affect the CSS presentation of the website > in Chrome. > > // seems to give the Summer theme, > whereas / gives the Winter one! > > Kind of weird. Anyway I agree it would be better to avoid > the superfluous slashes if possible. Your browser might be caching the file. Try pressing Ctrl-F5 on the winter page to force a reload. > I am going build HP 2012.2 for Fedora 18 soon but > the first proper build may be after ghc-7.4.2 is released. > > Jens > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe

1 0

Announce: Haskell Platform 2012.2.0.0
by Mark Lentczner 03 Jun '12

03 Jun '12

We're pleased to announce the next release of Haskell Platform: a single, standard Haskell distribution for everyone. Download Haskell Platform 2012.2.0.0: http://haskell.org/platform/ The specification, along with installers (including Windows, Macintosh, and Unix installers for a full Haskell environment) are available. Notable version changes with this release: ghc 7.4.1 cabal 1.14 & cabal-install 0.14 mtl 2.1.1 & transformers 0.3.0.0 alex 3.0.1 full package and version list: http://hackage.haskell.org/platform/changelog.html Thanks to: Joachim Breitner, George Colpitts, Duncan Coutts, Jason Dagit, Chris Dornan, Yitzchak Gale, Mikhail Glushenkov, Andres Löh, Gábor Páli, Jens Petersen, Don Stewart, David Terei, Johan Tibell, & Mark Wright for their efforts and help in putting together this release. -- The Platform Infrastructure Team Mark Lentczner, release manager --------------------------------------------------------------------- The Haskell Platform is a single, standard Haskell distribution for every system, in the form of a blessed library and tool suite for Haskell distilled from the thousands of libraries on Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. When you install the Haskell Platform, you get the latest stable compiler, an expanded set of core libraries, additional development tools, and cabal-install – so you can download anything else you need from Hackage.

4 3

Announce: haskellifi-trayicon-0.0.1
by Ivan Perez 03 Jun '12

03 Jun '12

Hi everyone, I wrote a small app that suggests default passwords for visible wifi networks (currently only some Telefonica & Jazztel Wifis in Spain, but could be extended). Not a big deal (less than 400 lines of code with the GUI), but some people asked me to release it, so here it is. Disclaimer ======== THIS IS IMPORTANT. This program is not intended for hacker wannabes. This is meant ONLY for network administrators. Use *only* with permission of the wifi admin. Introduction ========= More often than not, network administrators have to deal with clients or other administrators how know very little about wifi security. It is not uncommon to find wifis with default passwords. This program suggests passwords for the wifis it detects, and presents the information in a visually attractive way (tray icon with popup menu) so that your customers/collaborators fully understand HOW EASY IT IS TO BREAK INTO THEIR NETWORKS. NOTE: at the present time, this only works with Telefonica Spain's WPA2 default passwords (and maybe Jazztel's). If the default password of your wifi can be automatically generated from "open" or publicly visible parameters, feel free to write the algorithm in Haskell, send it to me and I'll see if I can add it here. Instructions ========= Code, Installation, readme, and other instructions: https://github.com/ivanperez-keera/haskellifi-trayicon During execution, you should see an icon on your traybar or notification area. Left click will show a menu with the list of wifis it can suggest a password for. Clicking on one will copy the suggested password to the clipboard. Right click on the icon to clear the wifi list or quit the program. Feel free to send me bugs reports and suggestions. Hope it helps somebody. Cheers, Ivan.

1 0

Re-exports of resourcet in conduit
by Myles C. Maxfield 03 Jun '12

03 Jun '12

To: Michael Snoyman CC: haskell-cafe Hello, I'm having a problem working with the conduit library, and was hoping you could help me out. Data.Conduit re-exports ResourceT, MonadResource, and MonadThrow (but not ExceptionT) from Control.Monad.Trans.Resource. I have a conduit which operates on a monad in the MonadThrow class. I am trying to figure out which MonadThrow class this should be (the Data.Conduit.MonadThrow class, or the Montrol.Monad.Trans.Resource.MonadThrow class, since apparently GHC doesn't recognize them as the same, even though one is just a re-export of the other). If a user of this conduit wants to chain this conduit up with something like sourceFile, the underlying monad has to be a member of Data.Conduit.MonadResource and whatever MonadThrow class I chose to use. I would like to be able to use an existing instance to lift the class of the inner monad to the class of the entire monad stack (so I don't have to tell the user of my conduit that they have to define their own instances), and the only rule that I can find that does that is the following from Data.Conduit: Data.Conduit.MonadThrow m => Data.Conduit.MonadThrow (Data.Conduit.ResourceT m) However, GHC doesn't seem to think that Control.Monad.Trans.Resource.ExceptionT is an instance of Data.Conduit.MonadThrow: No instance for (Data.Conduit.MonadThrow (ExceptionT IO)) arising from a use of `.....' Control.Monad.Trans.Resource has a similar instance: Control.Monad.Trans.Resource.MonadThrow m => Control.Monad.Trans.Resource.MonadThrow (Control.Monad.Trans.Resource.ResourceT m) but because sourceFile operates in the Data.Conduit.MonadResource class, and Control.Monad.Trans.Resource.ResourceT isn't a member of that class (it's only a member of Control.Monad.Trans.Resource.MonadResource), that doesn't help: No instance for (Data.Conduit.MonadResource (Control.Monad.Trans.Resource.ResourceT (ExceptionT IO))) arising from a use of `.....' It should be noted that neither module defines anything like the following: MonadResource m => MonadResource (ExceptionT m) It seems like the underlying problem here is that: 1) I am required to use the Control.Monad.Trans.Resource.ExceptionT class, because Data.Conduit doesn't re-export it 2) I am required to use the Data.Conduit.MonadResource class, because sourceFile and others require it 3) There doesn't seem to be an existing instance that bridges between the two. This seems like a fundamental flaw with re-exporting; it can only work if you re-export every single last thing from the original module. This doesn't seem tenable because the orignal module might not be under your control, so its author can add new symbols whenever he/she wants to. I see two solutions to this problem: 1) Re-export Control.Monad.Trans.Resource.ExceptionT in Data.Conduit. This will work until someone adds something to the resourcet package and someone wants to use the new addition and Data.Conduit.ResourceT in the same stack 2) Don't re-export anything in Data.Conduit; make sourceFile and others explicitly depend on types in another module, but this might break compatibility with existing programs if they use fully-qualified symbol names. 3) Make anyone who wants to use a monad stack in MonadThrow and MonadResource define their own instances. This is probably no good because it means that many different modules will implement the same instance in potentially many different ways. I feel like option 2) is probably the best solution here. I'm perfectly happy to issue a pull request for whichever option you think is best, but I don't know which solution you think is best for your project. What do you think? --Myles

3 4

Is Repa suitable for boxed arrays?...
by Stuart Hungerford 03 Jun '12

03 Jun '12

Hi, I have a newb-ish question about Haskell 2D arrays. I need to construct a 2D array of a Haskell data type ("boxed" ?) where each array entry value depends on values "earlier" in the same array (i.e. for entries in previous row/column indexes). Repa (V3.1.4.2) looks very powerful and flexible but it's still not clear to me that it will work with arbitrary values as I haven't been able to get any of the Wiki tutorial array creation examples to work (this is with Haskell platform 2012.2 pre-release for OS/X). I can see I could also construct my own 2D array data structure from Data.Vector instances. Are there any other approaches for general 2D arrays I should be looking at? Thanks, Stu

2 1

Most Important GHC extensions to learn/use?
by Jonathan Geddes 03 Jun '12

03 Jun '12

Haskell Hackers, I'm pretty comfortable with all of Haskell 98 (and 2010, really). But I've always sort of avoided extensions. I realize that this is a bit silly and if I want to continue learning, it probably means delving into the extensions. Which ones are the most important to know from a practical point of view? And which ones from a {Language,Category,Math}-theoretical point of view? (Any other interesting/important points of view I'm missing? :D ) As always, thanks for the feedback. Cheers, --J Arthur

5 6

Need inputs for a Haskell awareness presentation
by C K Kashyap 03 Jun '12

03 Jun '12

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. I request you to share your experiences/suggestions for the following - 1. Any thoughts around the outline of the presentation - target audience being seasoned imperative programmers who love and live at the pinnacle of object oriented bliss. 2. Handling questions/comments like these in witty/interesting ways - a) It looks good and mathematical but practically, what can we do with it, all our stuff is in C++ b) Wow, what do you mean you cannot reason about its space complexity? c) Where's my inheritance? d) Debugging looks like a nightmare - we cannot even put a print in the function? e) Static types - in this day and age - come on - productivity in X is so much more - and that's because they got rid of type mess. f) Is there anything "serious/large" written in it? [GHC will not qualify as a good answer I feel] g) Oh FP, as in Lisp, oh, that's AI stuff right ... we don't really do AI. h) Any other questions/comments that you may have heard. 3. Ideas about interesting problems that can be used so that it appeals to people. I mean, while fibonacci etc look good but showing those examples tend to send the signal that it's good for "those kind" of problems. 4. Is talking about or referring to Lambda calculus a good idea - I mean, showing that using its ultra simple constructs one could build up things like if/then etc I'm gonna do my bit to wear the limestone!!! Regards, Kashyap

9 9

Program for displaying graph state in lambda interpreter?
by Benjamin Redelings 02 Jun '12

02 Jun '12

Hi, I have written an interpreter that operates on the lambda calculus augmented with letrec, constructors, case, primitive objects, and builtin operations. I'd like to display the internal state of the intepreter at various points so that I can, um, debug the "programs" that I've written. Currently I've got about 3500 nodes, and I'm dumping a graph that I format using the 'dot' program in graphviz. I might have "let x = 1+2 in x*x" represented as. x/1: <2>+<3> 2: 1.0 3: 2.0 4: <1>*<1> where <1>, <2>, <3>, represent various memory locations. I can display this in graphviz, where each node is a rectangle containing text like "<1>*<1>" and there are arrows from the rectangle to <1>. This works as long as the number of nodes isn't very large. However, it would be nice to know of any programs that are better suited for this. For example, if I could write <>*<> and draw arrows from the placeholders "<>" to the memory location being referenced, that would be easier to read. This is done here http://en.wikibooks.org/wiki/Haskell/Graph_reduction to illustrate that 'square (1+2)' doesn't evaluate 1+2 twice. Any ideas? thanks, -BenRI P.S. If this is too off-topic, please let me know.

4 3

SafeSemapore
by Chris Kuklewicz 02 Jun '12

02 Jun '12

This message is in three parts: a problem, a solution, and a request for help. The problem is that Control.Concurrent.QSem, QSemN, and SampleVar are all still broken. GHC ticket #3160 is still open [1]. These three synchronization mechanisms can be irretrievable broken by a killThread on a blocked waiter. The solution is that I am please to announce that SafeSemaphore has been updated to 0.9.0 on hackage [2] and github. These provides safe solutions to replace QSem and QSemN, actually several such solutions. See the github [2] page (scroll down for README) for a summary of all the modules. The request for help is that I would like to unbreak the Haskell Platform by replacing the guts of QSem, QSemN, and SampleVar with SafeSemaphore. Do you think my replacement is correct or buggy? Can we get #3160 closed? Replacing these will preserve their API but may tinker with corner case undocumented behavior. Should waiters block in FIFO order? Should QSemN starve big or small requests to be fairer? [1] http://hackage.haskell.org/trac/ghc/ticket/3160 (three years old!) [2] http://hackage.haskell.org/package/SafeSemaphore/ [3] https://github.com/ChrisKuklewicz/SafeSemaphore Sincerely, Chris Kuklewicz

1 0