News aggregator

ETAPS 2015 2nd call for papers

General haskell list - 1 hour 16 min ago
****************************************************************** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015 ******************************************************************
Categories: Incoming News

Is it practical to write a strong chess engine in Haskell?

Haskell on Reddit - 1 hour 35 min ago

I've been dabbling in writing a chess engine in Haskell for a while now. The main problem I am having is that a bitboard engine (the principle game representation is an array of fourteen 64 bit integers, one integer for every piece type, e.g. black bishop, white pawns) requires quick updating.

That is, I need to be able to non-patterned write and read an array really fast, at least at the assembly level. I used unsafe reads and writes to no avail. I'm not sure why it's so slow.

For those who are more experienced, is writing a mid strength or strong chess engine practical in Haskell? How about in idiomatic Haskell? I hear all the Haskell supporters saying that Haskell can do anything C can and almost just as fast, but I don't think I'll be convinced at least until a mid-strength chess engine is written.

What about in OCaml or a similar impure functional language?

Thanks for any answers.

submitted by FrankAbagnaleSr
[link] [1 comment]
Categories: Incoming News

What Haskell feature do you miss the most when writing code in other languages?

Haskell on Reddit - 3 hours 56 min ago

For me it's the type synonyms and newtype. In Java I end writing functions with signatures like "int(Collection<Pair<Integer, Integer>>, int)", which of course need all kinds of documentation so that I remember what they do in a week. If I could easily create new types, that signature could be "ReturnCode(Collection<Pair<EntryId, Count>>, RowId)" (I might not go that far, but you get the point).

Integer is final in Java, so if I wanted to make a new type, I would have to create a wrapper type with an int field and then access the int field every time I used the object. Drives me insane. And there's no way at all that I know of to create a synonym so that I can use either type interchangeably.

submitted by dont_memoize_me_bro
[link] [13 comments]
Categories: Incoming News

Third call for papers, IFL 2014

haskell-cafe - 4 hours 25 min ago
Hello, Please, find below the third call for papers for IFL 2014. The submission page is now open. The submission date has been delayed to Sep. 8 2014 anywhere on the world. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage --- CALL FOR PAPERS 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014 NORTHEASTERN UNIVERSITY/BOSTON, USA OCTOBER 1-3, 2014 http://ifl2014.github.io We are pleased to announce that the 26th edition of the IFL series will be held at Northeastern University in Boston, USA. The symposium will be held from 1st to 3rd of October 2014. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the i
Categories: Offsite Discussion

Third call for papers, IFL 2014

General haskell list - 4 hours 25 min ago
Hello, Please, find below the third call for papers for IFL 2014. The submission page is now open. The submission date has been delayed to Sep. 8 2014 anywhere on the world. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage --- CALL FOR PAPERS 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014 NORTHEASTERN UNIVERSITY/BOSTON, USA OCTOBER 1-3, 2014 http://ifl2014.github.io We are pleased to announce that the 26th edition of the IFL series will be held at Northeastern University in Boston, USA. The symposium will be held from 1st to 3rd of October 2014. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the i
Categories: Incoming News

CFP: PRDC2014 Call for Participation

General haskell list - 7 hours 24 min ago
PRDC 2014 Call for Participation School of Computing, National University of Singapore, Singapore Nov. 19-21,2014 http://prdc.dependability.org/PRDC2014/index.html --------------------------------- Call for Participation http://prdc.dependability.org/PRDC2014/program.html --------------------------------- PRDC 2014 is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. Topic
Categories: Incoming News

System.Process.readProcess "yes" [] "" >>= return .take 100

haskell-cafe - 10 hours 40 min ago
I would expect the expression above to finish - but it doesn't. Is this a bug? _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

ICFP 2014 Talks

Haskell on Reddit - 11 hours 21 min ago
Categories: Incoming News

New Functional Programming Job Opportunities

haskell-cafe - Mon, 09/01/2014 - 5:00pm
Here are some functional programming job opportunities that were posted recently: Senior Software Engineer (Functional) at McGraw-Hill Education http://functionaljobs.com/jobs/8737-senior-software-engineer-functional-at-mcgraw-hill-education Cheers, Sean Murphy FunctionalJobs.com
Categories: Offsite Discussion

SCSS 2014: Call for short and work-in-progress papers

General haskell list - Mon, 09/01/2014 - 2:27pm
[Please post - apologies for multiple copies.] CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS ================================================ SCSS 2014 Symbolic Computation in Software Science 6th International Symposium Gammarth, La Marsa, Tunisia, December 7-11, 2014 http://www.easychair.org/smart-program/SCSS2014/ ================================================ Scope -------- The purpose of SCSS 2014 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. The topics of the symposium include, but are not limited to the following: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network security - termination analysis and complexity analysis of algorithms (programs) - extraction of
Categories: Incoming News

projects.haskell.org Pipermail not Google-indexed?

haskell-cafe - Mon, 09/01/2014 - 12:56pm
Hi, I noticed that I couldn't find this http://projects.haskell.org/pipermail/quickcheck/2014-July/000158.html on Google. Is the quickcheck list archive, or any of the other sites of projects.haskell.org actually reachable from via any path from some top level web site (like Haskell.org)?
Categories: Offsite Discussion

Race conditions with threadWait(Read/Write) andcloseFdWith

haskell-cafe - Mon, 09/01/2014 - 9:17am
I was very tangentially involved with a use-after-close IO descriptor fault recently, and I came to realize that descriptor indexes are typically allocated by the smallest available index, Previously, I had erroneously believed that the indexes were sequentially allocated by an ever-increasing counter, until wrap-around occurs. Obviously, the smallest available index allocation strategy makes use-after-close faults rather more significant, because in a server application that is constantly closing and allocating descriptors, it makes it rather more likely that an erroneous operation will actually have a tangible effect, and not simply return an EINVAL or similar errno. So in my low-level linux-inotify binding, I felt it wise to add protection against use-after-close faults. The approach I'm currently investigating is the obvious one: to (conceptually) represent the inotify socket by a "MVar (Maybe Fd)" value. However, if there's no file system events to read from the socket, we want to cal
Categories: Offsite Discussion

ICFP 2014 Workshops (Videos)

Haskell on Reddit - Mon, 09/01/2014 - 7:10am
Categories: Incoming News

Paresc's homepage is gone

Haskell on Reddit - Mon, 09/01/2014 - 5:09am

Hi,

I just visited parsec's homepage and it's gone.

Anyone knows where I can find it?

LE: Meanwhile, I found this: https://research.microsoft.com/en-us/um/people/daan/download/parsec/parsec.pdf

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