Re: FP track at DebConf14
On Fri, Apr 04, 2014 at 00:58:48 -0400, Joey Hess wrote: Well, when you put it that way, anything that can convince you to come to DebConf ... ;) If someone who knew more about XMonad's internals were to give a talk about it, I'd be more likely to turn up too :-) Could also be fun to take apart some functional solutions to common programming problems and show how even people used to imperative languages can understand and get into FP if only they'd try. (Note, I'm not volunteering since I know at least one person wants me to talk about something else anyway) D. -- Daniel Silverstone http://www.digital-scurf.org/ PGP mail accepted and encouraged.Key Id: 3CCE BABE 206C 3B69 -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140404062833.GC27609@somnambulist.local
Fw: Re: Mentoring a haskell port
On Apr 3, 2014 4:45 PM, Wookey [2]woo...@wookware.org wrote: I'm involved as a Linaro Google summer of code (GSOC) admin as well as Debian GSOC mentor. (linaro is an arm linux/open source non-profit engineering organisation if you've never heard of it http://linaro.org/ who have been paying for me to do a lot of good stuff in Debian) We have one student proposing to port ghc to arm64, which is a very useful and interesting piece of work, which I'd like to see happen, but I know absolutely nothing about haskell so would need a co-mentor. (but obviously I do know about arm64/aarch64, porting in general and debian bootstrapping/crossbuilding machinery). Can anyone help me as a co-mentor in the form of 'haskell techincal advisor' First, though, the immediate need is to review the proposal and talk to the student. I can do that but I need some details on how big a job it is and some way to determine if we think the student is up to the task. I don't feel that I know enough to ask sensible questions, or judge the answers right now... I'm in a hurry on this as decisions on slots need to be made by the end of the weekend, so do please get in touch forthwith if you can help me with that (no need to commit to mentoring as well, but that would be good :-) For this project to happen it will need someone with a clue to volunteer as mentor (i.e apart from me), for us to judge the student as reasonably likely to get somewhere in 3 months (in which case we will ask for a slot), and for Linaro to then be allocated a slot (this project will be in the 'would be nice', as opposed to 'core projects' category. GSOC mentoring is very satisfying in my experience. You get to teach people about free software and the community, as well as the technical task at hand, and if you do that well they are likely to stay around and do useful stuff for years to come. The timeline is here: [3]http://www.google-melange.com/gsoc/events/google/gsoc2014 Our project ideas page, just to give you some idea of what's going on: [4]https://wiki.linaro.org/SummerOfCode2014/ProjectIdeas ghc porting comes under the AArch64 porting heading. Below is part of the proposal the guy sent in. You can tell me if he has any idea what he's doing or not (he originally applied to do something entirely different, but was told it was already done so suggested this instead). He appears to have a reasonable idea of what to do, and have got stuck in in the short time he had before the proposal deadline. I have no idea if this port is a realistic task for a student in 3 months. Is it? Any comments people have would be of interest, and of course if you are able to say you'll help out that would be great. How much time it takes varies enormously depending how good the student is. I've had ones that are way smarter than me and needed no help at all, and ones who needed quite a lot of handholding. Name: Kishor Mohite Email: [6]kishormohite...@gmail.com 4) Implementation i) It is quite exciting and challenging to port the software used everyday by developers to a completely new architecture. In the initial stages I will pick the Glasgow Haskell Compiler for porting as it is not ported yet to AArch64. ii) I am currently working to get unregistered build of ghc working on Aarch64. First steps for which are compiling intermediate C (.hc) files using vanilla C. Unregistered build costs about a factor of two in performance but it is just a step to get full registered port. Full registered port gets bootstrapped with unregistered build on a new architecture. iii) I have been able to setup a cross compiler toolchain on Ubuntu (x86_64) which will be the host machine for the porting purpose. Also I have been able to get foundation model for ARMv8 working with this kernel image and this rootfs disk image, though I am not able to ssh to the foundation model from host machine. I have cross compiled some C programs on host machine and able to get them working on a foundation model. iv) I have made changes in ghc ./configure script to recognize aarch64-unknown-linux as a target platform. Script is running with x86_64 as host and build architecture and aarch64 as target architecture. configure stops with error configure: error: building ghc-pwd failed, now looking into that issue. 5) Timeline i) Last week of April and First week of May: My end term examinations will end in third week of April after which I will be completely available for the project. I will give two weeks to study the code which is ported already by Linaro Engineers studying carefully the coding style and understanding
Re: Re: Mentoring a haskell port
Hi Wookey, the great Colin Watson has already done a whole great job in this! https://lists.debian.org/debian-haskell/2014/04/msg0.html I think you will find interesting his work, it is for 7.8 but I think with some backports can be done with ghc 7.6 too... Did you already saw the work? best regards Gianfranco Il Venerdì 4 Aprile 2014 16:21, Wookey woo...@wookware.org ha scritto: On Apr 3, 2014 4:45 PM, Wookey [2]woo...@wookware.org wrote: I'm involved as a Linaro Google summer of code (GSOC) admin as well as Debian GSOC mentor. (linaro is an arm linux/open source non-profit engineering organisation if you've never heard of it http://linaro.org/ who have been paying for me to do a lot of good stuff in Debian) We have one student proposing to port ghc to arm64, which is a very useful and interesting piece of work, which I'd like to see happen, but I know absolutely nothing about haskell so would need a co-mentor. (but obviously I do know about arm64/aarch64, porting in general and debian bootstrapping/crossbuilding machinery). Can anyone help me as a co-mentor in the form of 'haskell techincal advisor' First, though, the immediate need is to review the proposal and talk to the student. I can do that but I need some details on how big a job it is and some way to determine if we think the student is up to the task. I don't feel that I know enough to ask sensible questions, or judge the answers right now... I'm in a hurry on this as decisions on slots need to be made by the end of the weekend, so do please get in touch forthwith if you can help me with that (no need to commit to mentoring as well, but that would be good :-) For this project to happen it will need someone with a clue to volunteer as mentor (i.e apart from me), for us to judge the student as reasonably likely to get somewhere in 3 months (in which case we will ask for a slot), and for Linaro to then be allocated a slot (this project will be in the 'would be nice', as opposed to 'core projects' category. GSOC mentoring is very satisfying in my experience. You get to teach people about free software and the community, as well as the technical task at hand, and if you do that well they are likely to stay around and do useful stuff for years to come. The timeline is here: [3]http://www.google-melange.com/gsoc/events/google/gsoc2014 Our project ideas page, just to give you some idea of what's going on: [4]https://wiki.linaro.org/SummerOfCode2014/ProjectIdeas ghc porting comes under the AArch64 porting heading. Below is part of the proposal the guy sent in. You can tell me if he has any idea what he's doing or not (he originally applied to do something entirely different, but was told it was already done so suggested this instead). He appears to have a reasonable idea of what to do, and have got stuck in in the short time he had before the proposal deadline. I have no idea if this port is a realistic task for a student in 3 months. Is it? Any comments people have would be of interest, and of course if you are able to say you'll help out that would be great. How much time it takes varies enormously depending how good the student is. I've had ones that are way smarter than me and needed no help at all, and ones who needed quite a lot of handholding. Name: Kishor Mohite Email: [6]kishormohite...@gmail.com 4) Implementation i) It is quite exciting and challenging to port the software used everyday by developers to a completely new architecture. In the initial stages I will pick the Glasgow Haskell Compiler for porting as it is not ported yet to AArch64. ii) I am currently working to get unregistered build of ghc working on Aarch64. First steps for which are compiling intermediate C (.hc) files using vanilla C. Unregistered build costs about a factor of two in performance but it is just a step to get full registered port. Full registered port gets bootstrapped with unregistered build on a new architecture. iii) I have been able to setup a cross compiler toolchain on Ubuntu (x86_64) which will be the host machine for the porting purpose. Also I have been able to get foundation model for ARMv8 working with this kernel image and this rootfs disk image, though I am not able to ssh to the foundation model from host machine. I have cross compiled some C programs on host machine and able to get them working on a foundation model. iv) I have made changes in ghc ./configure script to recognize aarch64-unknown-linux as a target platform. Script is running with x86_64 as host and build architecture and aarch64 as target architecture. configure stops with error configure: error: building
Re: Fw: Re: Mentoring a haskell port
Dear Wookey, others have worked on ARM64 as well, most prominently Karel Gardas. He wrote about it at https://ghcarm.wordpress.com/2014/01/18/unregisterised-ghc-head-build-for-arm64-platform/ I believe he is an expert on both GHC and arm, so he will most likely be able to help you. Maybe he is already finished and nothing left to do; maybe he is happy to get some help and be the mentor you need. You can reach him at karel.gar...@centrum.cz. Greetings, Joachim -- Joachim nomeata Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata signature.asc Description: This is a digitally signed message part
Re: Re: Mentoring a haskell port
+++ Gianfranco Costamagna [2014-04-04 15:28 +0100]: Hi Wookey, the great Colin Watson has already done a whole great job in this! https://lists.debian.org/debian-haskell/2014/04/msg0.html I think you will find interesting his work, it is for 7.8 but I think with some backports can be done with ghc 7.6 too... Did you already saw the work? No I hadn't noticed that. Maybe this is done already and I can just build it and stop caring :-) Guess I'd better find out how much more work is needed. I assume there is scope for optimisations beyond a basic functional port? Wookey -- Principal hats: Linaro, Emdebian, Wookware, Balloonboard, ARM http://wookware.org/ -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140404144225.gb10...@stoneboat.aleph1.co.uk
Re: Re: Mentoring a haskell port
I wish to have access to a real hardware for helping Colin in this taks, but I cannot help you, maybe asking and syncing with him can help you both :D have a nice weekend to all, Gianfranco Il Venerdì 4 Aprile 2014 16:42, Wookey woo...@wookware.org ha scritto: +++ Gianfranco Costamagna [2014-04-04 15:28 +0100]: Hi Wookey, the great Colin Watson has already done a whole great job in this! https://lists.debian.org/debian-haskell/2014/04/msg0.html I think you will find interesting his work, it is for 7.8 but I think with some backports can be done with ghc 7.6 too... Did you already saw the work? No I hadn't noticed that. Maybe this is done already and I can just build it and stop caring :-) Guess I'd better find out how much more work is needed. I assume there is scope for optimisations beyond a basic functional port? Wookey -- Principal hats: Linaro, Emdebian, Wookware, Balloonboard, ARM http://wookware.org/ -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140404144225.gb10...@stoneboat.aleph1.co.uk
Re: GHC arm64 porting
On Thu, Apr 03, 2014 at 09:51:16AM +0200, Joachim Breitner wrote: Am Mittwoch, den 02.04.2014, 23:44 +0100 schrieb Colin Watson: On Tue, Apr 01, 2014 at 02:49:51PM +0200, Joachim Breitner wrote: Am Dienstag, den 01.04.2014, 13:16 +0100 schrieb Colin Watson: I've attached the arm64-specific parts of the current patch I'm working with, most of which are due to Karel Gardas. Assuming that I actually manage to build 7.6 (which is by no means a given), would it be acceptable to apply something like this patch set to the Debian packaging? Sure! Just let us know when you actually want it to be included. Right, thanks. Continuing the saga here: http://www.haskell.org/pipermail/haskell-cafe/2014-April/113408.html I think that on glasgow-haskell-users you are more likely to reach the right audience. I reposted there, but then got past it by myself (eventually), so I cancelled my post. I'm running a build test on harris; if that works then I'll send it upstream and push it to darcs. Thanks. This is looking good, although harris only has one CPU so it isn't quite done yet. I notice as a result that our darcs GHC repository is at 7.8, though, and my understanding of darcs is that a 7.6 maintenance branch (e.g. for arm64 porting) would need to be pushed to a different directory, maybe just s/ghc/ghc-7.6/. Do you have any preferences? -- Colin Watson [cjwat...@debian.org] -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140404163557.ga6...@riva.ucam.org
updates for libghc-gtk and friends
Greetings everyone, I noticed that libghc-gtk and some of its dependencies haven't received any updates to newer upstream versions since a while. There is nice new stuff in the new versions (like gtk3 support) and I'm kind of waiting for that. So I want to ask if someone is already working on that. Also I would offer my help, if needed. I'm only a little bit experienced with creating debian packages from cabal (and not at all without cabal) and moderately experienced wit Haskell. Regards Sven Bartscher signature.asc Description: PGP signature
Re: updates for libghc-gtk and friends
Hi, Am Freitag, den 04.04.2014, 21:45 +0200 schrieb Sven Bartscher: I noticed that libghc-gtk and some of its dependencies haven't received any updates to newer upstream versions since a while. There is nice new stuff in the new versions (like gtk3 support) and I'm kind of waiting for that. So I want to ask if someone is already working on that. Also I would offer my help, if needed. I'm only a little bit experienced with creating debian packages from cabal (and not at all without cabal) and moderately experienced wit Haskell. giving us a heads-up is already helpful (we don’t have an automatic or semi-automatic way to upgrade to new versions). Extra bonus points for trying to compile everything locally (with plain cabal install) and note what libraries will have to be upgraded. If you can give us a list of hackage packages and versions that worked for you on Debian unstable, then we’ll be quicker. Thanks, Joachim -- Joachim nomeata Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata signature.asc Description: This is a digitally signed message part