comp.lang.functional Google Group

*** Reminder:FACS/LMS Evening Seminar by Prof Mike Gordon: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House

2009-11-22T21:53:36Z

(Apologies if you receive multiple copies of this announcement)
BCS-FACS Evening Seminar Series
Joint event with the London Mathematical Society
Forward with Hoare
Professor Mike Gordon, FRS
(Cambridge University)

Do blocks, monads, and sequences

2009-11-22T20:40:33Z

Hi all, I'm trying to understand monads a little more, so I tried
deconstructing a do block into continuation monads into use of no monads. I'm
having trouble getting the last ones to execute non-lazily, any pointers?
Thanks much!
Mike
import System.IO.Unsafe
test1 = do
print "What's your name?"

I think linked data structures are very useful, but we seem to have forgotten the overhead involved in using object headers and pointers for explicit ordering.

2009-11-19T22:51:12Z

I think linked data structures are very useful, but we seem to have
forgotten the overhead involved in using object headers and pointers
for explicit ordering.
Arrays, use implicit ordering, and without the overhead of object
headers and pointers, quite a few more elements of your data structure
can fit into a cache line. (That is, the good old memory hiearchy.)

Call for Papers: IAENG International Conference on Communication Systems and Applications (ICCSA 2010)

2009-11-19T09:35:15Z

CFP: IAENG International Conference on Communication Systems and
Applications (ICCSA 2010)
Draft Manuscript submission deadline: 8 December, 2009
Camera-Ready papers & Pre-registration deadline: 10 January, 2010
ICCSA 2010: 17-19 March, 2010
[link]
All submitted papers will be under peer review and accepted papers

Job postings for DFG funded typesetting tool for academic texts

2009-11-18T19:57:25Z

Dear Colleagues,
The Deutsche Forschungsgemeinschaft (DFG) funds a joint project of the
University of Applied Sciences Worms (Germany) and the University
Trier (Germany) for the development of a typesetting module for
(primarily) humanist texts.
We will jointly develop a typesetting system for XML-based texts with

CFP: The First Scala Workshop - Scala Days 2010

2009-11-18T11:53:16Z

The First Scala Workshop
========================
Call for Papers
---------------
Scala is a general purpose programming language designed to express
common programming patterns in a concise, elegant, and type-safe
way. It smoothly integrates features of object-oriented and
functional languages.
This workshop is a forum for researchers and practitioners to share

Parallelism and Concurrency

2009-11-16T19:08:27Z

Parallelism and Concurrency: I would separate the two concepts:
Parallelism - one task shared across multiple cores
Concurrency - different tasks shared among multiple cores
For both, the overhead of communication between the tasks compared to
the useful work done on the task itself, is the biggest challenge.

Functional programming considered bad for parallelism

2009-11-15T16:39:23Z

Avoiding mutation is widely hailed as a design of choice for parallel
programming and this is used to advocate the adoption of functional
programming. However, functional programming seems to have some serious
disadvantages in the context of shared-memory parallelism for multicores.
Firstly, functional data structures are more allocation intensive that

SETP-10 Call for papers

2009-11-15T11:00:41Z

SETP-10 Call for papers
The 2010 International Conference on Software Engineering Theory and
Practice (SETP-10) (website: [link]) will be
held during 12-14 of July 2010 in Orlando, FL, USA. SETP is an
important event in the areas of Software development, maintenance, and
other areas of software engineering and related topics.

Google's GoLang

2009-11-13T20:18:42Z

What are the features of this languages in the context of FP?

Release of version 0.4 of the ULTRA type error slicer for SML

2009-11-13T19:33:08Z

We are happy to announce the release of the version 0.4 of our type
error slicing software for the SML programming language.
Major improvements over the previous release:
* Overloaded operators can now be specified.
* Special comments can now inform the type error slicer about
identifiers in the top-level environment with their

Call for Papers: IAENG International Conference on Artificial Intelligence and Applications (ICAIA 2010)

2009-11-12T10:02:15Z

CFP: IAENG International Conference on Artificial Intelligence and
Applications ICAIA 2010
The 2010 IAENG International Conference on Artificial Intelligence and
Applications
17-19 March, 2010, Hong Kong
[link]
The conference ICAIA’10 is held under the International

User defined binders?

2009-11-12T09:09:06Z

Hello,
is there any functional language in which it is possible to define
custom binders -- apart from the Lisp family where its possible via macros?
What I have in mind are user defined (list) comprehensions, e.g.:
[2*x | x <- xs]
in which the variable x is bound in the 2*x part, or monadic notation like

[ANN] CfP: "Multiparadigm Programming" Special Issue of IEEE Software

2009-11-10T16:50:27Z

I'm one of the guest editors for a special issue of IEEE Software on
"Multiparadigm Programming", as in modularity paradigms like FP, OOP,
etc. This community knows something about that topic ;)
[link]
Please consider submitting a paper. Feel free to email me directly

cheap nike Air Force one,air force one sneakers,cheap sneakers,nike dunk wholesale,cheap nike dunk,cheap nike air jordan,cheap jordan fusions

2009-11-04T11:55:00Z

Welcome to visit [link] hottest Nike Shoes, Nike Jordans,
Nike Air Jordans, Air Jordan Fusion,Sell nike shoes air jordan,Jordan
fusions,Air jordan women fusins,AJ fusions,AJ Fusions low,cheap Prada
shoes, Gucci shoes, Adidas shoes, Nike shoes, Puma shoes,Cheap brand
jeans:Coogi pants, Evisu jeans, RMC jeans, Crown Holder, Aftful Dodger