June 2014 - Haskell-Cafe

[Rejected Paper] Experience Report: Writing NetBSD Sound Drivers in Haskell
by Kiwamu Okabe 10 Jun '14

10 Jun '14

Hi jhc-hackers, I have written a paper "Experience Report: Writing NetBSD Sound Drivers in Haskell". http://metasepi.org/papers.html It explains Ajhc customized jhc GC, and sometime useful to develop jhc. Thank's, -- Kiwamu Okabe at METASEPI DESIGN

3 12

JOB: AHRC Doctoral Studentship in Computational Musicology
by Richard Lewis 10 Jun '14

10 Jun '14

STUDENTSHIP ADVERTISEMENT With apologies for cross posting AHRC Doctoral Studentship in Computational Musicology http://www.transforming-musicology.org/news/2014-06-03_ahrc-doctoral-studen… London, UK (with UK residency requirement unfortunately) Although this is not an explicitly Haskell programming job, the student would be free to work in whatever language they wish. Furthermore, there would be encouragement to consider a functional and/or logic programming approach to research. Award: fees and tax-free stipend at £15,726 p.a. (inc. of London weighting) Application deadline: Tuesday 1 July 2014 Expected start date: October 2014 We invite applications for a Doctoral Studentship, funded by the Arts and Humanities Research Council, in Computational Musicology, located at Queen Mary University of London, under the supervision of Professor Geraint Wiggins. The studentship is part of the "Transforming Musicology" project, including Goldsmiths, University of London, Queen Mary University of London, the University of Oxford and Lancaster University. This project, led by Prof Tim Crawford in the Computing Department of Goldsmiths, University of London, brings together 15 researchers to effect a Digital Transformation of the discipline of musicology. The aim of the open studentship is to research and develop new methods for the representation of, and inference about, music-theoretic and perceptual aspects of music, based on, but not restricted to, past work by Prof. Wiggins and colleagues. This will be deployed using Semantic Web technology. The studentship will be located in a very rich research environment, first within the Transforming Musicology project, but also within the Computational Creativity Lab at QMUL, and the successful candidate will be encouraged to interact with other researchers in both of these contexts. This studentship, funded by an AHRC Doctoral Training Account, is for fees plus a tax-free stipend starting at £15,726 per annum. Further details of the AHRC scheme including terms and conditions can be found here: http://www.ahrc.ac.uk/Funding-Opportunities/Postgraduate-funding/Pages/Curr… Applicants must satisfy the AHRC's UK residence requirements: http://www.ahrc.ac.uk/Funding-Opportunities/Documents/Guide%20to%20Student%… Candidates must have a first class or 2.1 undergraduate degree or equivalent, either with a significant component of music theory, in which case evidence of exceptionally well-developed practical expertise in computing, including programming, will be required, or in computer science or equivalent, in which case evidence of formal training in music theory (e.g. to grade V or equivalent) will be required. Candidates with relevant postgraduate qualifications will be particularly welcome, especially if they are qualified in both music and computer science. Other relevant qualifications and/or areas of expertise include (but are not limited to): artificial intelligence, informatics, formal logic and automated reasoning, musicology, knowledge representation, deductive database theory. The successful applicant may be required to undertake relevant undergraduate and postgraduate interdisciplinary courses as part of the programme of study. Informal enquiries can be made by email to Prof. Geraint Wiggins (geraint.wiggins(a)qmul.ac.uk) Please note that Prof. Wiggins is unable to advise, prior to interview, whether an applicant is likely to be selected. To apply please follow the on-line process (see http://www.qmul.ac.uk/postgraduate/howtoapply/) by selecting "Electronic Engineering" in the "A-Z list of research opportunities" and following the instructions on the right hand side of the web page. Please note that instead of the 'Research Proposal' we request a 'Statement of Research Interests'. Your Statement of Research Interest should answer two questions: (i) Why are you interested in the proposed area? (ii) What is your experience in the proposed area? Your statement should be brief: no more than 500 words or one side of A4 paper. In addition we would also like you to send a sample of your written work, such as your final year dissertation. More details can be found at: http://www.eecs.qmul.ac.uk/phd/how-to-apply Applications must be received by Tuesday 1 July 2014. Interviews are expected to take place during July 2014. -- -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Richard Lewis Computing, Goldsmiths' College t: +44 (0)20 7078 5203 @: lewisrichard http://www.transforming-musicology.org/ 905C D796 12CD 4C6E CBFB 69DA EFCE DCDF 71D7 D455 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

1 0

Problems using ghc 7.8.2 with options -staticlib and -threaded on osx
by Frode Nerbråten 10 Jun '14

10 Jun '14

Hi, I'm having trouble building my Haskell library with GHC 7.8.2 and Cabal 1.20.0.2 on OSX 10.9.3 with both -staticlib and -threaded enabled. The library I'm building exports several functions using FFI to be called from ObjectiveC in an Xcode project. This works fine with just -staticlib enabled, but now I realize I need to call into my Haskell library from multiple OS-threads simultaneously. But when I add -threaded to ghc-options I get an error when linking: error: libtool: can't locate file for: -lpthread error: libtool: file: -lpthread is not an object file (not allowed in a library) The linker command that fails looks like this (... replaces a bunch of -l and -L options): libtool -static -o liba.a dist/build/HsCocoa.o ... -lCffi -lpthread In /usr/lib I have a libpthread.dylib that links to libSystem.dylib, but no libpthread.a. I was under the impression that libpthread was included with the system install. Is this supposed to work or am I misunderstanding something basic? :) Any help would be greatly appreciated! The project source is available on github: https://github.com/froden/digipostarkiv (I asked the same question on stackoverflow: http://stackoverflow.com/q/24096257/777411) Best regards, Frode Nerbråten

2 4

XMonad and xinput.d.
by Magicloud Magiclouds 10 Jun '14

10 Jun '14

Hi, I am using Ubuntu, in which, X input method (ibus, for me) is started by xinput.d scripts. This works fine with KDE, Unity, etc. But when I switch to xmonad, there is no input method window, tray icon. And hotkeys not work, either. Ibus processes are there. Seems like I have to kill the ones started by xinput.d, and restart it myself in xmonad. What did I do wrong? -- 竹密岂妨流水过山高哪阻野云飞 And for G+, please use magiclouds#gmail.com.

1 0

New Functional Programming Job Opportunities
by Functional Jobs 09 Jun '14

09 Jun '14

Here are some functional programming job opportunities that were posted recently: Sr. Software Engineer at Clutch Analytics http://functionaljobs.com/jobs/8720-sr-software-engineer-at-clutch-analytics Cheers, Sean Murphy FunctionalJobs.com

1 0

open-union
by Ben Foppa 09 Jun '14

09 Jun '14

Hi cafe. On a use case whim, I made the open-union package ( https://github.com/RobotGymnast/open-union) copying the basic idea from extensible-effects:Data.OpenUnion1. I haven't uploaded to hackage yet, on the chance that there's already something like this around. Here's the basic functionality: {-# LANGUAGE TypeOperators #-} {-# LANGUAGE ScopedTypeVariables #-} import Data.OpenUnion type MyUnion = Union (Char :| Int :| [()] :| Void) showMyUnion :: MyUnion -> String showMyUnion = (\(c :: Char) -> "char: " ++ show c) @> (\(i :: Int) -> "int: " ++ show i) @> (\(l :: [()]) -> "list length: " ++ show (length l)) @> typesExhausted main :: IO () main = do putStrLn $ showMyUnion $ liftUnion (4 :: Int) putStrLn $ showMyUnion $ liftUnion 'a' putStrLn $ showMyUnion $ liftUnion [(), ()] If any of the (@>) cases is omitted, a compile-time error occurs. If you try to lift a bad value to the union, a compile-time error occurs. Any thoughts? Is there already something like this around?

4 7

Using quickcheck with test-framework (collect doesn't work)
by Rafael Almeida 07 Jun '14

07 Jun '14

Hello, I'm trying to use quickcheck with test-framework. QuickCheck site says I can use a function called collect to see statistics of data generation. The function "collect" doesn't seem to print anything, though. This is the output I get after running cabal test: Running 1 test suites... Test suite reference: RUNNING... Test suite reference: PASS Test suite logged to: dist/test/100doors-0.1-reference.log 1 of 1 test suites (1 of 1 test cases) passed. This is what I see inside the log: Test suite reference: RUNNING... Main: flipped door is different state: [OK, passed 100 tests] flipDoors creates a different list of doors unless empty: [OK, passed 100 tests] Properties Total Passed 2 2 Failed 0 0 Total 2 2 Test suite reference: PASS Test suite logged to: dist/test/100doors-0.1-reference.log This is my test code (stripping out the boring parts): instance Arbitrary Door where arbitrary = elements [Opened, Closed] prop_flipped_door_is_different_state door = door /= flipDoor door prop_flipDoors_creates_a_different_list_of_doors_unless_empty n doors = collect n $ (not $ null doors) ==> doors /= (flipDoors n doors) []'s Rafael

2 1

Using quickcheck to check for errors
by Rafael Almeida 07 Jun '14

07 Jun '14

Hello, Let's say we want to quickcheck the function !!. Passing a negative index to it is an error. However, how can you make a check that it indeed errors in such situation? prop_negative_index_generates_error list = forAll negativeIndex \x -> ... What should I write in ...? []'s Rafael

4 3

Postdoctoral Research Position: Type Inference in Functional Programming
by Ekaterina Komendantskaya 07 Jun '14

07 Jun '14

Hello, I am looking for a postdoctoral researcher to work on developing new algorithms for type inference in functional languages. Position is based at the School of Computing, University of Dundee, Scotland. Closing date for applications is 20 June 2014; starting date is flexible. Salary scale: £27,837 to £36,661 per annum. More details are available here: https://docs.google.com/document/d/1UUuf-BllmQ925vLV6jtzKreDcZYEOsF96dtj_IK… Please re-forward to potential applicants. Cheers, Katya Ekaterina Komendantskaya Senior Lecturer, Head of PhD Studies Room 1.04, Queen Mother Building School of Computing, University of Dundee Scotland, DD14HN Tel: (+44) 01382384820

1 0

ZuriHac 2014 - Updates
by Bas van Dijk 05 Jun '14

05 Jun '14

Dear (potential) ZuriHac 2014 attendees, I would like to make a few announcements regarding ZuriHac 2014, a Haskell hackathon taking place in Zurich from Friday 6 June 2014 to Sunday 8 June 2014. Besides hacking on Haskell projects with core members of the community you will hear talks by Simon Marlow and Edward Kmett. Note that this event is open to any experience level, from beginners to gurus. In fact, one of the goals is to bring beginners in contact with experts so that the former can get a quick start in the Haskell community and the latter more help with their projects. For more information see: http://www.haskell.org/haskellwiki/ZuriHac2014 Registration ------------ I'm happy and sad to inform you that we've almost reached capacity for ZuriHac 2014. Happy because it looks like this might be the biggest Haskell Hackathon ever. Sad because I soon have to start adding new registrations to a waiting list. So if you want to join us, and haven't registered already, then please do so soon at: http://bit.ly/ZuriHac2014. Also if you've already registered but know you won't be able to make it, please cancel by emailing me to make room for others. T-Shirt ------- Like last year, each attendee will get a free ZuriHac T-shirt. If you've already registered, please tell me which sizes and model you would like to have: Male: S, M, L, XL, XXL Female: S, M, L, XL, XXL Host ---- Erudify, the company which is hosting ZuriHac, recently changed its name to Better. Do note that we haven't changed location. See our new website on why we have rebranded: http://better.com/en/rebranding Regards, The ZuriHac 2014 organizers

5 4