- Haskell-Cafe - Haskell.org

Galois is hiring!
by Jason Dagit 25 Jun '12

25 Jun '12

We're looking for functional programmers, formal methods practitioners, and project leads, interested in either short term or permanent employment. For more information, see: http://corp.galois.com/careers Why Galois? At Galois, we believe in seeking out and solving important problems to make the world a better place. This philosophy runs through everything we do. From internal interactions on an individual level to the interesting technical challenges we take on to the way we orient to the external world. We hire the best people, we help them to better understand their own passions, and then together we take on important problems. It just so happens that we have skilled software engineers with a passion for functional programming who take on challenges in crypto, critical systems, secure networking, and so on. For me, the very compelling reasons to work at Galois are: a strong cultural emphasis on freedom to choose your roles within the organization including seeking external funding to work on whatever you want; strong commitment to open source, and; a cultural emphasis on functional programming and formal methods. What a organization believes has a deep and profound impact on how you spend your time at the organization, who the organization attracts, and what impact the organization will have in the world. We have no shortage of interesting problems to tackle in our quest to make the world a better place. Thanks, Jason

1 0

ghci session slows down over time.
by Jonathan Geddes 25 Jun '12

25 Jun '12

Haskell Cafe, I'm seeing crazy amounts of slowdown in a ghci session after just a few executions of :r (reload). Using :set +r (revert top-level bindings) doesn't seem to help. Is it possible that the dynamically-loaded object code is not being garbage collected? Is this a known issue? More importantly, is there a known workaround? Thanks, --J Arthur

3 3

Origin of Delimited Continuation Operators
by aditya siram 25 Jun '12

25 Jun '12

Hi all, I working through a few papers and Oleg's delimited continuation implementation and I'm wondering how the operators (shift, shift0P, control, reset, etc) got their name. -deech

2 2

About using "type" to do type alias.
by Magicloud Magiclouds 25 Jun '12

25 Jun '12

Hi, There was another mail, but the subject might be confusing. So I write this one. The code is here: http://hpaste.org/70414 If I understand correct, generally, I could use 'type' to do alias to save the ugly-long code. Like section 1. This works when I 't [(0, Just "x")]'. But, if I wrote section 2. Then 'start (M.fromList $ zip ord_args) worker' could not be compiled due to the second argument is type of 'M.Map Arg Arg', not 'JobArgs Arg Arg'. What did I miss to make this work? -- 竹密岂妨流水过山高哪阻野云飞 And for G+, please use magiclouds#gmail.com.

3 9

ICFP Student Research Competition
by Wouter Swierstra 25 Jun '12

25 Jun '12

===================================================================== Student Research Competition Associated with the The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and affiliated events http://www.icfpconference.org/icfp2012/src.html Copenhagen, Denmark, Sep 9-15, 2012 ===================================================================== This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at the ICFP 2012 consists of three rounds: - Extended abstract round: All students are encouraged to submit an extended abstract outlining their research (800 words). - Poster session at ICFP 2012: Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be supported to attend the conference, to a maximum of $500 for travel and housing. If your total costs are higher than these $500 your conference fee may be waived too. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category* (graduate/undergraduate) to advance to the next round. - ICFP presentation: The next round consists of an oral presentation at the ICFP to compete for the final awards in each category. ** Prizes ** Both the top three graduate and the top three undergraduate contestants will receive prizes of $500, $300, and $200, respectively. All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM’s Digital Library. The names of the winners will be posted on the SRC web site. The winners in each category will be invited to participate in the ACM SRC Grand Finals, an on-line round of competitions among the winners of other conference-hosted SRCs. Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. ** Eligibility ** The SRC is open to both undergraduate and graduate students. Upon submission, entrants must be enrolled as a student at their university. The abstract must describe the student’s individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. More information about the submission process can be found online at: http://www.icfpconference.org/icfp2012/src.html ** Important Dates ** Deadline for submission: June 29th Notification of acceptance: July 8th ** Selection Committee ** Koen Claessen, Chalmers University of Technology Robby Findler (ICFP Program chair), Northwestern University Ken Friis Larsen, IT University of Copenhangen Jacques Garrigue, Nagoya University Doaitse Swierstra (Chair), Utrecht University

1 0

Request for optimizing help.
by Captain Freako 24 Jun '12

24 Jun '12

Does anyone have any advice for optimizing the code, below? Currently, the profiling results look like this: COST CENTRE MODULE %time %alloc runFilter Filter 90.9 41.0 convT Filter 9.1 58.6 Thanks for any help! -db 11 data FilterState a = FilterState { 12 as :: [a] -- transfer function denominator coefficients 13 , bs :: [a] -- transfer function numerator coefficients 14 , taps :: [a] -- current delay tap stored values 15 } deriving (Show) 16 17 type Kernel a = (a, FilterState a) -> (a, FilterState a) 18 19 -- FILTER KERNELS 20 -- Time domain convolution filter (FIR or IIR), 21 -- expressed in direct form 2 22 convT :: (Fractional a) => Kernel a 23 convT (x, s) = 24 let wk = (x - sum [a * t | (a, t) <- zip (tail $ as s) (taps s)]) / head (as s) 25 newTaps = wk : init (taps s) 26 s' = s {taps = newTaps} 27 y = sum [b * w | (b, w) <- zip (bs s) (wk : taps s)] 28 in (y, s') 29 30 -- FILTER APPLICATION 31 runFilter :: Kernel a -> FilterState a -> [a] -> IO ([a], FilterState a) 32 runFilter f s0 [] = do 33 return ([], s0) 34 runFilter f s0 (x:xs) = do 35 (y, s') <- return (f (x, s0)) 36 (ys, s) <- runFilter f s' xs 37 return (y:ys, s)

2 1

ANNOUNCE : Leksah 0.12.1.3 (fix for GHCi locking up)
by Hamish Mackenzie 24 Jun '12

24 Jun '12

This release fixes a problem where the GHCi integration would break when the first command set was from the debug scratch pane. Source is in Hackage and https://github.com/leksah Binary Installers Use "ghc --version" to work out which one you need. OS X http://leksah.org/packages/leksah-0.12.1.3-ghc-7.0.3.dmg http://leksah.org/packages/leksah-0.12.1.3-ghc-7.0.4.dmg http://leksah.org/packages/leksah-0.12.1.3-ghc-7.4.1.dmg Windows http://leksah.org/packages/leksah-0.12.1.3-ghc-6.12.3.exe http://leksah.org/packages/leksah-0.12.1.3-ghc-7.0.3.exe http://leksah.org/packages/leksah-0.12.1.3-ghc-7.0.4.exe http://leksah.org/packages/leksah-0.12.1.3-ghc-7.4.1.exe

1 0

Why does Enum succ and pred functions throw exception
by Rouan van Dalen 24 Jun '12

24 Jun '12

Hi everyone, Can anyone shed some light on why the succ and pred functions of the Enum typeclass throw exceptions if we go over the upper or lower boundary, and not return Maybe a? I was hoping to have some functions like: safeSucc :: (Enum a) => a -> Maybe a Because the succ and pred functions throw exceptions I can only catch them in the IO monad. This makes it hard to deal with this situation in pure code. Regards Rouan.

7 7

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad
by George Giorgidze 24 Jun '12

24 Jun '12

Hi Dan, Thanks for your feedback and your question regarding the functor laws. Please try your example in GHCi and/or evaluate it by hand. The library does not violate the functor laws. I committed quick check properties for functor laws, as well as, laws for other type classes to the repo. You can give it a try. It is also possible, with a little bit of effort, to prove those properties by hand. Speaking of laws, BTW, your contrived Ord instance violates one of the Ord laws. The documentation for Ord says that: "The Ord class is used for totally ordered datatypes". Your definition violates the antisymmetry law [1]: If a <= b and b <= a then a == b by reporting two elements that are not equal as equal. Cheers, George [1] http://en.wikipedia.org/wiki/Totally_ordered On 16 June 2012 09:47, Dan Burton <danburton.email(a)gmail.com> wrote: > Convenience aside, doesn't the functor instance conceptually violate some > sort of law? > > fmap (const 1) someSet > > The entire shape of the set changes. > > fmap (g . h) = fmap g . fmap h > > This law wouldn't hold given the following contrived ord instance > > data Foo = Foo { a, b :: Int } > instance Ord Foo where > compare = compare `on` a > > Given functions > > h foo = foo { a = 1 } > g foo = foo { a = b foo } > > Does this library address this? If so, how? If not, then you'd best note it > in the docs. > > On Jun 15, 2012 6:42 PM, "George Giorgidze" <giorgidze(a)gmail.com> wrote: > > I would like to announce the first release of the set-monad library. > > On Hackage: http://hackage.haskell.org/package/set-monad > > The set-monad library exports the Set abstract data type and > set-manipulating functions. These functions behave exactly as their > namesakes from the Data.Set module of the containers library. In > addition, the set-monad library extends Data.Set by providing Functor, > Applicative, Alternative, Monad, and MonadPlus instances for sets. > > In other words, you can use the set-monad library as a drop-in > replacement for the Data.Set module of the containers library and, in > addition, you will also get the aforementioned instances which are not > available in the containers package. > > It is not possible to directly implement instances for the > aforementioned standard Haskell type classes for the Set data type > from the containers library. This is because the key operations map > and union, are constrained with Ord as follows. > > map :: (Ord a, Ord b) => (a -> b) -> Set a -> Set b > union :: (Ord a) => Set a -> Set a -> Set a > > The set-monad library provides the type class instances by wrapping > the constrained Set type into a data type that has unconstrained > constructors corresponding to monadic combinators. The data type > constructors that represent monadic combinators are evaluated with a > constrained run function. This elevates the need to use the > constraints in the instance definitions (this is what prevents a > direct definition). The wrapping and unwrapping happens internally in > the library and does not affect its interface. > > For details, see the rather compact definitions of the run function > and type class instances. The left identity and associativity monad > laws play a crucial role in the definition of the run function. The > rest of the code should be self explanatory. > > The technique is not new. This library was inspired by [1]. To my > knowledge, the original, systematic presentation of the idea to > represent monadic combinators as data is given in [2]. There is also a > Haskell library that provides a generic infrastructure for the > aforementioned wrapping and unwrapping [3]. > > The set-monad library is particularly useful for writing set-oriented > code using the do and/or monad comprehension notations. For example, > the following definitions now type check. > > s1 :: Set (Int,Int) > s1 = do a <- fromList [1 .. 4] > b <- fromList [1 .. 4] > return (a,b) > > -- with -XMonadComprehensions > s2 :: Set (Int,Int) > s2 = [ (a,b) | (a,b) <- s1, even a, even b ] > > s3 :: Set Int > s3 = fmap (+1) (fromList [1 .. 4]) > > As noted in [1], the implementation technique can be used for monadic > libraries and EDSLs with restricted types (compiled EDSLs often > restrict the types that they can handle). Haskell's standard monad > type class can be used for restricted monad instances. There is no > need to resort to GHC extensions that rebind the standard monadic > combinators with the library or EDSL specific ones. > > [1] CSDL Blog: The home of applied functional programming at KU. Monad > Reification in Haskell and the Sunroof Javascript compiler. > http://www.ittc.ku.edu/csdlblog/?p=88 > > [2] Chuan-kai Lin. 2006. Programming monads operationally with Unimo. > In Proceedings of the eleventh ACM SIGPLAN International Conference on > Functional Programming (ICFP '06). ACM. > > [3] Heinrich Apfelmus. The operational package. > http://hackage.haskell.org/package/operational > > _______________________________________________ > Haskell mailing list > Haskell(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell

3 4

cvs-ghc mailing list silently dropping my mails
by Erik de Castro Lopo 23 Jun '12

23 Jun '12

Hi all, I've been trying to send mail to the cvs-ghc mailng list and the list seems to be silently dropping my emails. I have: a) Made sure I was sending mail with the subscribed from address. b) Unsubscribed and re-subscribed and tried again. All to no avail. Is there a moderation queue on that list that needs to be seen to? Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

1 0