February 2015 - Haskell-Cafe

Is there a cross platform CA certificate bundle solution for HsOpenSSL?
by Marios Titas 16 Feb '15

16 Feb '15

If I want to use HsOpenSSL for a tls client application that verifies the server certificate I have to manually specify a CA certificate bundle containing the trusted roots. For example, in a linux system, I would do the following mkTlsContext :: IO Context mkTlsContext = do ctx <- context contextSetVerificationMode ctx (VerifyPeer True False Nothing) contextSetCADirectory ctx "/etc/ssl/certs" return ctx The problem is that the above solution only works for linux. Is there a cross-platform way to find a reasonable CA bundle and use it with HsOpenSSL? Note that the tls package has x509-system [1] that does exactly that. So I am basically asking if anybody has written something similar for HsOpenSSL. [1] https://hackage.haskell.org/package/x509-system

2 3

Cancelled: Re: Typed TH
by Gautier DI FOLCO 16 Feb '15

16 Feb '15

1 0

Événement annulé: Re: Typed TH - Lun. 16 Févr. 2015 09:00 - 10:00 (gautier.difolco@gmail.com)
by gautier.difolco＠gmail.com 16 Feb '15

16 Feb '15

Cet événement a été annulé et supprimé de votre agenda. Titre : Re: [Haskell-cafe] Typed TH Date : Lun. 16 Févr. 2015 09:00 - 10:00 Paris Agenda : gautier.difolco(a)gmail.com Participants : * Gautier DI FOLCO- organisateur * haskell-cafe * ben.franksen(a)online.de Invitation de Google Agenda : https://www.google.com/calendar/ Vous recevez ce message à l'adresse haskell-cafe(a)haskell.org, car vous participez à cet événement. Pour ne plus recevoir de notifications pour cet événement à l'avenir, refusez cet événement. Vous avez également la possibilité de créer un compte Google sur la page https://www.google.com/calendar/ et de définir vous-même les paramètres de notification pour l'intégralité de votre agenda.

1 0

Invitation: Re: Typed TH - Lun. 16 Févr. 2015 09:00 - 10:00 (Gautier DI FOLCO)
by Gautier DI FOLCO 16 Feb '15

16 Feb '15

Vous avez été invité à l'événement suivant. Titre : Re: [Haskell-cafe] Typed TH Date : Lun. 16 Févr. 2015 09:00 - 10:00 Paris Agenda : Gautier DI FOLCO Participants : * Gautier DI FOLCO- organisateur * haskell-cafe * ben.franksen(a)online.de Détails de l'événement : https://www.google.com/calendar/event?action=VIEW&eid=XzcxaTNhZTFtY2RqM2diY… Invitation de Google Agenda : https://www.google.com/calendar/ Vous recevez ce message à l'adresse haskell-cafe(a)haskell.org, car vous participez à cet événement. Pour ne plus recevoir de notifications pour cet événement à l'avenir, refusez cet événement. Vous avez également la possibilité de créer un compte Google sur la page https://www.google.com/calendar/ et de définir vous-même les paramètres de notification pour l'intégralité de votre agenda.

1 0

Typed TH
by Christopher Done 15 Feb '15

15 Feb '15

http://lpaste.net/116791 If someone feels like spending time exploring this and putting it in a library I will be interested in trying it. I saw some old work to patch GHC to do this including typed quotation of expressions, which doesn't seem to have arrived. Relatedly I made a trivial Lisp with untyped and typed quotation https://gist.github.com/chrisdone/516489f4f27846712225 It doesn't seem to be a much-explored area in the Lisp world, Haskell is treading new waters in some ways.

6 5

gloss-examples install fails
by Gregory Guthrie 15 Feb '15

15 Feb '15

I installed gloss, and then the binary for llvm (http://llvm.org/builds/ ) But still gloss-examples fail, because it requires gloss-raster, which fails (below). I see some discussion of this from last year (https://mail.haskell.org/pipermail/haskell-cafe/2014-March/113001.html) Do I need to do some path manipulations to get this to work? I see llc & opt as mentioned in that note installed under mingw, but not under the llvm installed site. ------------------------------------------------------------------------ <C:\Windows\System32>cabal install gloss-raster Resolving dependencies... Configuring gloss-raster-1.9.2.1... Building gloss-raster-1.9.2.1... Failed to install gloss-raster-1.9.2.1 Build log ( C:\Users\guthrie\AppData\Roaming\cabal\logs\gloss-raster-1.9.2.1.log ): Building gloss-raster-1.9.2.1... Preprocessing library gloss-raster-1.9.2.1... [1 of 2] Compiling Graphics.Gloss.Raster.Array ( Graphics\Gloss\Raster\Array.hs, dist\build\Graphics\Gloss\Raster\Array.o ) <no location info>: Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM cabal: Error: some packages failed to install: gloss-raster-1.9.2.1 failed during the building phase. The exception was: ExitFailure 1 Running with -v, it adds: <no location info>: Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM 8.3 found on system at: e:\Plang\Haskell Platform\bin\ghc.exe Using ghc-pkg version 7.8.3 found on system at: e:\Plang\Haskell Platform\bin\ghc-pkg.exe No ghcjs found No ghcjs-pkg found No greencard found -------------------------------------------

1 0

Exception safe resource management with dynamic regions, call for review
by Yuras Shumovich 15 Feb '15

15 Feb '15

Hello, I'm asking for code and design review for `io-region` library. It is already on Hackage for convenience and easy access to haddock: https://hackage.haskell.org/package/io-region Manual exception handling in Haskell almost never is a good idea, except probably trivial cases where `bracket` is enough. A number of special libraries where created to help with exception handling. `io-regions` is one of them. Initially it was an attempt to solve the double-throw issue, but I found it unsolvable in library without changes in language itself. So now it is an attempt to design easy to use API with a bit different set of trade-offs. The library is based on idea of regions that own resources. The resources are released when the region is closed. Early releasing and ownership transferring are supported. Types are *not* used to prevent use-after-free errors. The API is not monadic, and it is the biggest difference from other libraries. Regions are first-class citizens, so you can manipulate them, pass as arguments to functions, send to other thread, store in data types. Such flexibility has its cost -- a bit more manual management. The implementation is based on STM and is thread safe, that allows e.g. atomic ownership transferring between threads. The nearest competitor I think is `resourset` package, and I still recommend it by default. Though I convinced myself that `io-region` is good enough, and I'm using it in productions (for two weeks already :) ) Thanks, Yuras

2 1

Refactor unqualified imports to qualified ones automatically?
by Jeffrey Brown 15 Feb '15

15 Feb '15

Hi, In a previous post regarding overlapping images in wx [1], Stephen Tetley suggested I study Blobs [2]. I want to find its wx logic, but as it stands I can't distinguish the wx commands from the others, because wx is too large a library for me to know all the names in it, and Blobs imports most of its modules unqualified. Is there some automatic way of changing an unqualified import to a qualified import, so that every function from the module of interest would be prefixed to indicate where it comes from? If not, is there some other way around the problem? Thanks, Jeff [1] https://mail.haskell.org/pipermail/haskell-cafe/2015-January/117669.html [2] https://hackage.haskell.org/package/Blobs-0.3/src/

1 0

ANN: New Haskell.org Homepage Now Live
by Gershom B 15 Feb '15

15 Feb '15

I’m pleased to announce that http://www.haskell.org has received its first significant design update since 2010! More significantly, for the first time since 2006 it is not a wiki, but an actual language homepage. More significantly still, for the first time ever, the Haskell homepage now runs on a fully Haskell-powered stack. I suppose some people might also be interested in the fact that it looks quite nice, and has significantly cleaned up the information it presents, so as to provide a more focused experience for newcomers looking to explore the language. The page is now includes the collective work of over 230 commits by 17 contributors. First and foremost among those is Chris Done, who conceived the vision, wrote the bulk of the code, and executed the design. Also thanks to our many admins, including Austin Seipp, Ricky Elrod, et al., who managed the deployment, and have been working behind the scenes to continue to modernize and update our creaking infrastructure. Onto a few key things to remember: * The wiki is still around at https://wiki.haskell.org and it is still a fantastic resource. It is now speedy again, and we have an account creation process. By all means, jump in, and help curate and cultivate its wealth of knowledge. * The new site is all on github: https://github.com/haskell-infra/hl — there you will also find an issue tracker as well. We are sure there are many gaffes, gaps, and oddities that remain to be patched up in the site, especially with regards to its content. Tickets, pull requests, and comments are encouraged. * The official home for our mailinglists is now http://mail.haskell.org — hopefully this will cause no problems or confusion, and the redirects should be in place properly. Please let us know if there are any issues. * We think we covered everything, but there is the possibility that some item, service, or redirect broke in the course of this transition. Please let us know if this is the case. * If you have been responsible for some subdirectory under the www.haskell.org banner, then you will find that you do not yet have an account on the new server. Please contact us and we’ll get you set up to continue to maintain that portion of the site. * As always, you can reach the haskell ops and admin team at admin(a)haskell.org, or on freenode irc at #haskell-infrastructure. Regards, Gershom (and also the Haskell.org Committee and Haskell.org Admin Team)

3 3

Re: [Haskell-cafe] [Haskell] ANN: New Haskell.org Homepage Now Live
by Daniil Frumin 15 Feb '15

15 Feb '15

Dear Haskell.org team thank you for your great work! But I was wondering this as well, why there is no mention of the Haskell platform in the Downloads section? I am also a little bit concerned about the "News" section: arguably, the news about GHC and Haskell platform releases are more important than newest stackoverflow questions or reddit posts. The newsfeed on Python.org, for example, is almost exclusively dedicated to releases and real-life events (which is also located on the front page). On Sun, Feb 15, 2015 at 1:31 PM, David Sabel <sabel(a)ki.informatik.uni-frankfurt.de> wrote: > I wonder why the downloads section doesn't link to the Haskell platform. > What's the reason for it? > > David > > Am 15.02.2015 um 08:50 schrieb Gershom B: >> >> I’m pleased to announce that http://www.haskell.org has received its first >> significant design update since 2010! More significantly, for the first time >> since 2006 it is not a wiki, but an actual language homepage. More >> significantly still, for the first time ever, the Haskell homepage now runs >> on a fully Haskell-powered stack. I suppose some people might also be >> interested in the fact that it looks quite nice, and has significantly >> cleaned up the information it presents, so as to provide a more focused >> experience for newcomers looking to explore the language. >> >> The page is now includes the collective work of over 230 commits by 17 >> contributors. First and foremost among those is Chris Done, who conceived >> the vision, wrote the bulk of the code, and executed the design. Also thanks >> to our many admins, including Austin Seipp, Ricky Elrod, et al., who managed >> the deployment, and have been working behind the scenes to continue to >> modernize and update our creaking infrastructure. >> >> Onto a few key things to remember: >> >> * The wiki is still around at https://wiki.haskell.org and it is still >> a fantastic resource. It is now speedy again, and we have an account >> creation process. By all means, jump in, and help curate and cultivate its >> wealth of knowledge. >> * The new site is all on github: https://github.com/haskell-infra/hl — >> there you will also find an issue tracker as well. We are sure there are >> many gaffes, gaps, and oddities that remain to be patched up in the site, >> especially with regards to its content. Tickets, pull requests, and comments >> are encouraged. >> * The official home for our mailinglists is now http://mail.haskell.org >> — hopefully this will cause no problems or confusion, and the redirects >> should be in place properly. Please let us know if there are any issues. >> * We think we covered everything, but there is the possibility that >> some item, service, or redirect broke in the course of this transition. >> Please let us know if this is the case. >> * If you have been responsible for some subdirectory under the >> www.haskell.org banner, then you will find that you do not yet have an >> account on the new server. Please contact us and we’ll get you set up to >> continue to maintain that portion of the site. >> * As always, you can reach the haskell ops and admin team at >> admin(a)haskell.org, or on freenode irc at #haskell-infrastructure. >> >> Regards, >> Gershom >> (and also the Haskell.org Committee and Haskell.org Admin Team) >> >> _______________________________________________ >> Haskell mailing list >> Haskell(a)haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > _______________________________________________ > Haskell mailing list > Haskell(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell -- Sincerely yours, -- Daniil

1 0