News aggregator

Proposal: Add (<$>) to Prelude as part of the AMP in GHC 7.10-RC3

libraries list - Tue, 02/24/2015 - 5:39pm
We have a couple of weeks until the third release candidate for GHC 7.10 goes out the door. Along the way with the last couple of release candidates folks have found some problems with the way we implemented the AMP. [1][2] Most notably, we failed to include (<$>) in the Prelude, so the standard idiom of foo <$> bar <*> baz <*> quux doesn't work out of the box! I'd like to include (<$>) in the Prelude in RC3. I'd also like to invite discussion about whether folks believe we should include (<$) out of the box. (<$) has been a member of Functor for a long time, which is only visible if you import it from Data.Functor or bring in Control.Applicative. There is an idiom that you use (<*) and (<$) to point to the parts of the structure that you want to keep the answers from when building longer such Applicative chains. Discussion Period: 2 weeks Thank you, -Edward Kmett [1] http://www.reddit.com/r/haskell/comments/2wzixa/shouldnt_be_in_prelude/ [2] https://plus.google.com/115504368969270249241/posts/URze
Categories: Offsite Discussion

7 PhD studentships in Nottingham

haskell-cafe - Tue, 02/24/2015 - 11:07am
Dear all, The School of Computer Science in Nottingham is advertising 7 fully-funded PhD studentships for "home" students (or EU students who have been ordinarily resident in the UK for 3 years prior to the start of the programme). Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Henrik Nilsson - functional reactive programming, modelling and simulation, domain-specific languages, probabilistic languages. Thorsten Altenkirch and Graham Hutton - not planning to take on any further new PhD students this year. Best wishes, Graham +-----------------------------------------------------------+ 7 Fully-Funded PhD Studentships School of Computer Science University of N
Categories: Offsite Discussion

7 PhD studentships in Nottingham

General haskell list - Tue, 02/24/2015 - 11:06am
Dear all, The School of Computer Science in Nottingham is advertising 7 fully-funded PhD studentships for "home" students (or EU students who have been ordinarily resident in the UK for 3 years prior to the start of the programme). Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Henrik Nilsson - functional reactive programming, modelling and simulation, domain-specific languages, probabilistic languages. Thorsten Altenkirch and Graham Hutton - not planning to take on any further new PhD students this year. Best wishes, Graham +-----------------------------------------------------------+ 7 Fully-Funded PhD Studentships School of Computer Science University of N
Categories: Incoming News

Functional Jobs: Senior Software Engineer at McGraw-Hill Education (Full-time)

Planet Haskell - Tue, 02/24/2015 - 9:34am

This Senior Software Engineer position is with the new LearnSmart team at McGraw-Hill Education's new and growing Research & Development center in Boston's Innovation District.

We make software that helps college students study smarter, earn better grades, and retain more knowledge.

The LearnSmart adaptive engine powers the products in our LearnSmart Advantage suite — LearnSmart, SmartBook, LearnSmart Achieve, LearnSmart Prep, and LearnSmart Labs. These products provide a personalized learning path that continuously adapts course content based on a student’s current knowledge and confidence level.

On our team, you'll get to:

  • Move textbooks and learning into the digital era
  • Create software used by millions of students
  • Advance the state of the art in adaptive learning technology
  • Make a real difference in education

Our team's products are built with Flow, a functional language in the ML family. Flow lets us write code once and deliver it to students on multiple platforms and device types. Other languages in our development ecosystem include especially JavaScript, but also C++, SWF (Flash), and Haxe.

If you're interested in functional languages like Scala, Swift, Erlang, Clojure, F#, Lisp, Haskell, and OCaml, then you'll enjoy learning Flow. We don't require that you have previous experience with functional programming, only enthusiasm for learning it. But if you have do some experience with functional languages, so much the better! (On-the-job experience is best, but coursework, personal projects, and open-source contributions count too.)

We require only that you:

  • Have a solid grasp of CS fundamentals (languages, algorithms, and data structures)
  • Be comfortable moving between multiple programming languages
  • Be comfortable with modern software practices: version control (Git), test-driven development, continuous integration, Agile

Get information on how to apply for this position.

Categories: Offsite Blogs

Proposal to deprecate and then drop fromJust

libraries list - Tue, 02/24/2015 - 7:42am
Hi all, We currently have in the Data.Maybe module from base: fromJust :: Maybe a -> a which newbies often find using hoogle or other search tools and is a huge trap. *Every* usage of the above can be replaced by using fromMaybe :: a -> Maybe a -> a which forces the user to provide a default value for the case where the Maybe a is a Nothing. The idea would be to deprecate fromMaybe for 7.12 and remove it completely later. Comments? Erik
Categories: Offsite Discussion

Shouldn't `<$>` be in Prelude?

Haskell on Reddit - Tue, 02/24/2015 - 7:25am

A quote from @tibbe's post:

You would have to write:

#if !MIN_VERSION_base(4,8,0)

import Control.Applicative (Applicative(pure, (<*>)))

#endif

import Control.Applicative ((<$>))

i.e. you need to split the import since <$> didn't move to base.

<$> is one of the most widely used operators. It should be in Prelude.

EDIT: There's already a ticket.

EDIT2: discussion @libraries

EDIT3: tl;dr: it will most likely be in Prelude for RC3 :-)

submitted by mallai
[link] [53 comments]
Categories: Incoming News

Composition and type magic

haskell-cafe - Tue, 02/24/2015 - 5:11am
Hi everyone, I defined a function for discrete convolution, i.e conv xs = sum . zipWith (*) xs . reverse And I was wondering, can it be done without explicitly passing in the xs (eta-reduction)? I've seen people play with (.).(.) and foldl foldl foldl and was thinking that maybe something similar might be used here.
Categories: Offsite Discussion

Did PartialTypeSignatures make it into 7.10.1?

Haskell on Reddit - Tue, 02/24/2015 - 3:34am

If not, does anyone know what the current status of this extension is?

Sorry if this is somewhere obvious. I'm having a hard time tracking this info down on my own.

submitted by spindakin
[link] [4 comments]
Categories: Incoming News

7 PhD studentships in Nottingham

Haskell on Reddit - Tue, 02/24/2015 - 2:59am

We are currently advertising 7 PhD studentships in Nottingham for students who qualify as 'home' applicants. Applications in the area of the Functional Programming Lab are encouraged! For further details, see http://www.cs.nott.ac.uk/~gmh/phd-advert.txt

submitted by grahamhutton
[link] [2 comments]
Categories: Incoming News

Type first coding

Haskell on Reddit - Tue, 02/24/2015 - 1:37am

Is it possible to write the types as precisely as possible, and have undefined functions all of which interlock with each other, and then later fill in the blanks?

I was wondering whether type first can be a replacement for Test first coding.

submitted by maybefbi
[link] [15 comments]
Categories: Incoming News

The Future of Community.Haskell.Org

haskell-cafe - Tue, 02/24/2015 - 12:55am
This message is intended to kick off a discussion on the state of the Community.Haskell.Org server and possible future plans. Included below is the text of a blog post on the infra blog ( https://blog.haskell.org/post/the_future_of_community_haskell_org/) We would especially like input and feedback from those who use or rely on any community.haskell.org services or accounts. We don't want to leave you in the lurch, and want to make sure that you feel your needs can be taken care of smoothly, even as we look to wind things down. Feedback is welcome via email (to admin< at >h.o) as a post on the blog, or via the reddit discussion ( http://www.reddit.com/r/haskell/comments/2wwc42/the_future_of_communityhaskellorg_request_for/ ) - - - Community.haskell.org is a server in our ecosystem that comparatively few know about these days. It actually was, to my knowledge, a key part of how the whole haskell.org community infrastructure got set up way back when. The sparse homepage still even says: "This server is run
Categories: Offsite Discussion

GHC 7.10 will use Plan FTP

libraries list - Tue, 02/24/2015 - 12:20am
Colleagues You will remember (see this email<https://mail.haskell.org/pipermail/libraries/2015-February/024925.html>) that the Haskell community has been engaged in a debate about proposed changes to the Haskell Prelude, the Plan-List or Plan-FTP debate<https://ghc.haskell.org/trac/ghc/wiki/Prelude710>. We decided to hold an open survey to get feedback from the community. Simon Marlow and Simon PJ were asked to make a decision in the light of that feedback. The survey closed on 21 Feb, so it's time to decide. Bottom line: we recommend Plan FTP. There are strong arguments in both directions. For the record, our own personal instincts were both in the conservative, Plan List direction. But the survey gave some pretty compelling feedback, and was far more unequivocal than we expected. Some details * Over 800 people participated in the survey. That's a lot for an 11-day window. Many wrote several paragraphs of supporting information. Thank you for participating so actively! * Overall, 82% of
Categories: Offsite Discussion

www.jdon.com

del.icio.us/haskell - Mon, 02/23/2015 - 8:19pm
Categories: Offsite Blogs