Are you seeking an intellectually challenging position in which you'll
be developing cutting edge software using functional programming
technologies? Do you aspire to work with a team that shares your
level of commitment and enthusiasm to develop tomorrow's
high-assurance technology today? Do you
Bjorn Bringert <[EMAIL PROTECTED]> writes:
> On Mar 8, 2007, at 10:40 , Simon Marlow wrote:
>
>> David House wrote:
>>> On 06/03/07, Malcolm Wallace <[EMAIL PROTECTED]> wrote:
Well, our wiki to gather ideas is now up-and-running again:
http://hackage.haskell.org/trac/summer-of-code
>
Galois is seeking a full-time candidate for software development and
systems integration in the field of high assurance computing. A
successful candidate should have a good understanding of the
inner workings of databases, good development skills in a number of
languages, including at least one fu
Duncan Coutts <[EMAIL PROTECTED]> writes:
> On Sat, 2006-08-12 at 03:52 +0200, Marc Weber wrote:
>> 1.)
>> I know I can use
>> Build-Depends: lib == , lib2 < version, lib3 >=
>> version
>> and so on.
>>
>> Do you think it would be useful to introducue some notation
Halfs is a filesystem implemented in the functional programming
language Haskell. Halfs can be mounted and used like any other Linux
filesystem, or used as a library. Halfs is a fork (and a port) of the
filesystem developed by Galois Connections.
We've created a virtual machine to make using Half
Antti-Juhani Kaijanaho <[EMAIL PROTECTED]> writes:
> Antti-Juhani Kaijanaho wrote:
>> Since nobody else seems to have volunteered, I'll try to set this up
>> (if I can get the software working).
>> If you want your blog listed, email me. I will not add people
>> without their consent. Just tell m
I think someone should volunteer to set up "Planet Haskell" ala Planet
Debian, Planet Gnome, Planet Perl, etc.
These sites are "Blog aggregators". Basically they just collect the
RSS feeds of the community and post their blogs to a web page in a
cute format (the gnome one is especially cute, but
I'll try to occasionally post an announcement of the the status of
Haskell'[1], the next Haskell standard, so that you can all be aware of
my thinking, and our current place in the timeline.
There is a list of proposals and a "strawman" categorization of them
on the wiki[2]. The categorization re
Iavor Diatchki <[EMAIL PROTECTED]> writes:
(snip)
> yet another thing (and this is debian specific) is that i
> use the darcs distributed with debian, which is old but works fine,
The darcs shipped w/ Debian "Stable" might be oldish, but that's the
darcs that was available when Debian was frozen.
ain enough
# information (atime and ctime were 0).
#rank nameinst vote old recent no-files
(maintainer)
138 darcs563 159 280 124 0 (Isaac
Jones)
(51) hugs 304 119 15728 0 (Isaac
l applications in the Haskell language. We will work closely
with the rest of the Haskell community to create this standard.
Your Haskell' Committee is as follows (slightly munged email addresses
follow):
* Manuel M T Chakravarty
* John Goerzen
* Bastiaan Heeren
* Isaac Jones
* John
Greetings,
I'm trying hard to get a better hold on the Cabal[1] project, and a
more clear idea of all the outstanding work that needs to be done.
I've gone through my mailbox to dig up stuff like this, but no doubt
some has slipped between the cracks.
I started a bug tracker / wiki a few weeks ag
Abigail <[EMAIL PROTECTED]> writes:
> Hi,
> I have been searching papers about tha raltionship
> between formal methods in software engineering and
> functinal programmming, but i haven't found enough
> information.
I don't think there are any papers, but Galois Connections employs
Haskell and fo
I started a list of packages using cabal (including those uplaoded to
Hackage). Please either upload your packages to hackage, or add it
here. I want this list so that I can try to figure out things like
how much a given modification to Cabal will break stuff:
http://hackage.haskell.org/trac/hac
The new Cabal / Hackage wiki and bug tracking system is at:
http://hackage.haskell.org/trac/hackage [1]
Please report any Cabal (or HackageDB, cabal-get, etc) bugs there with
"new ticket". Trac is pretty neat, you can inter-like wiki pages and
tickets, as well as source code.
Please feel free
(Trimming CC list. Maybe we should take this to haskell-cafe?)
Sebastian Sylvan <[EMAIL PROTECTED]> writes:
(snip quotes)
> I'm wondering what "incremental and moderate" extension means?
> Does it mean "completely backwards compatible" or can it mean
> completely new features including ones whic
ant to take it to the next level. If you raised
your hand, or if you think this describes you, please email John
Launchbury at [EMAIL PROTECTED]
peace,
Isaac Jones & Andres Loeh
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Malcolm Wallace <[EMAIL PROTECTED]> writes:
> Isaac Jones <[EMAIL PROTECTED]> writes:
>
>> >> 1. Hat requires users to restrict themselves to a certain small subset
>> >> of the standard libraries, and to use hmake
>> >
>> >
Bulat Ziganshin <[EMAIL PROTECTED]> writes:
> Hello Isaac,
>
> Monday, September 05, 2005, 12:16:46 AM, you wrote:
>
> IJ> We're looking for beta testers to try out "cabal-get" (for downloading
> IJ> and installing) and "cabal-put" (for uploading to the central
> IJ> repository). We're also looki
Beta testers wanted!
Lemmih (mostly) has been working on a tool which will download and
install Haskell packages and their dependencies. This tool should
work for any cabal-compatible package.
We're looking for beta testers to try out "cabal-get" (for downloading
and installing) and "cabal-put"
Bernard Pope <[EMAIL PROTECTED]> writes:
> On Thu, 2005-09-01 at 14:48 -0700, Frederik Eaton wrote:
(snip)
>> Are the following correct?
>>
>> 1. Hat requires users to restrict themselves to a certain small subset
>> of the standard libraries, and to use hmake
>
> Depends what you mean by standar
See also Jeremy Bobbio's fuse bindings here:
http://cvs.haskell.org/darcs/hfuse/
I've been using them on the Halfs, the Haskell Filesystem that I'll be
demoing at the Haskell Workshop.
David Roundy <[EMAIL PROTECTED]> writes:
(snip)
> The FuseIO module itself might be rather interesting for ot
Matej 'Yin' Gagyi <[EMAIL PROTECTED]> writes:
(snip)
>>>Please, send me somethung like this (I need to understand it). I need
>>>runing more s and with various argument counts and types. All
>>>functions "in a bundle" should be in one file.
>>>
>>
> I need a module Main. So, when I write some func
yin <[EMAIL PROTECTED]> writes:
> first I have to apologise for my English.
Don't worry about that.
> ./bundle01...
>
> I more apoarches, but no one worked. Now I tried this:
>
>m01_mod :: Int -> Int -> Int
What's m01? You define b01 below:
>b01_mod a b = a mod b
You must type
Frederik Eaton <[EMAIL PROTECTED]> writes:
> Hi,
>
> How do I install a package in the user package.conf with cabal? It is
> not clear to me how to do this, looking at the output of 'configure
> --help'. There is an option "--user" to get dependencies from the user
> cabal file but this still, som
Brian Smith <[EMAIL PROTECTED]> writes:
> Is there an example of how to build a Cabal package that has a lexer
> generated with Alex and a parser generated with Happy? As far as I
> can tell, the way to do this is to add "Other-Modules:
> Module.Name.Of.Parser.y Module.Name.Of.Lexer.x" to each
>
Evgeny Chukreev <[EMAIL PROTECTED]> writes:
> On Wed, 29 Jun 2005 22:05:49 +0400
> /Evgeny/ /Chukreev/ <[EMAIL PROTECTED]> wrote me:
>
> EC> gcc src/Codec/Mhash_stub.c -o ...
> EC> /usr/bin/ar qv dist/build/libHSHMhash-0.1.a dist/build/src/Codec/Mhash.o
> EC> /usr/bin/ar: creating dist/build/l
Galois Connections does most of its development in Haskell, and this
job may involve some Haskell development, so I felt it was on topic
for this list.
Senior Test Engineer
Galois Connections, Inc., located near Portland, Oregon, designs and
develops high confidence software for critical appli
Followups to [EMAIL PROTECTED], please.
I'm working with Lemmih on the designs for Hackage and Cabal-Get.
He's a real trooper, since I'm a total "customer" and have hardly
written a line of code for these tools, but keep coming up with new
requirements.
The basic interaction we would like is this
Dimitry Golubovsky <[EMAIL PROTECTED]> writes:
> If one tries to search Google:
>
> http://www.google.com/search?hl=en&lr=&c2coff=1&q=exposed-modules+version+filetype%3Acabal&btnG=Search
>
> it returns URLs of all Google-indexed .cabal files (currently 7- just this
> few?)
That's certainly not a
Echo Nolan <[EMAIL PROTECTED]> writes:
> Hello all,
> I recently read the post about a problem using the list monad,
> and I was wondering if there was an archive of monad usecases. If there
> is one, I'd like to see it, and if not it'd be a helpful part of the
> haskell community. Something
Niklas Broberg <[EMAIL PROTECTED]> writes:
> I've just started experimenting with the new Cabal system, and I must
> say it's really sweet. Thanks a lot to all involved!
Yay!
> After trying it on some simple tasks I have collected a few questions:
>
> * What about 'setup uninstall'? Surely there
://www.haskell.org/cabal/download.html
BUGS:
Please report bugs and wish-list items to [EMAIL PROTECTED] and
Isaac Jones: [EMAIL PROTECTED]
ABOUT:
The Haskell Cabal is meant to be a part of a larger infrastructure for
distributing, organizing, and cataloging Haskell Libraries and
Tools. It is an effort to
John Goerzen <[EMAIL PROTECTED]> writes:
> Here's an alternative:
>
> module Main where
(snip john's version)
And what list would be complete without a points-free version. It
doesn't operate on stdin, though like John's does:
pointsFreeCat :: IO ()
pointsFreeCat = getArgs >>= mapM readFile >>
Dmitri Pissarenko <[EMAIL PROTECTED]> writes:
> Hello!
>
> I'm building the haskell-jvm-bridge (http://sourceforge.net/projects/jvm-
> bridge/).
>
> The final step of the building procedure is to install the package of haskell-
> jvm-bridge.
>
> When I enter ghc-pkg -a -f javavm.ghc-pkg I'm gettin
Peter Simons <[EMAIL PROTECTED]> writes:
> Isaac Jones writes:
>
> > http://www.haskell.org/hawiki/LibraryDocsNeedingHelp
>
> This is a great idea.
>
> I have been thinking you know what would make
> contribution to the library efforts even simpler? If
"Georg Martius" <[EMAIL PROTECTED]> writes:
> Hi,
>
> I think Isaac's idea is pretty nice, to have an easy way to add documentation
> in a collaborative manner.
> I have the following in mind:
Well, I've added a much less glorious page than yours on the wiki:
http://www.haskell.org/hawiki/Libra
Mark Carroll <[EMAIL PROTECTED]> writes:
> On Tue, 25 Jan 2005, Marcin 'Qrczak' Kowalczyk wrote:
> (snip)
>> If problems are in the implementation but the interface is right, then
>> the module should be provided. It can be fixed later.
> (snip)
>
> A lot of the Haskell libraries are sufficiently
You might be interested in the new FilePath module that's in the
works. There's been a lot of work to make these functions portable.
http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/libraries/base/System/FilePath.hs
peace,
isaac
___
Haskell-Cafe m
Dmitri Pissarenko <[EMAIL PROTECTED]> writes:
> What book can you recommend?
I reviewed The Haskell School of Expression on Slashdot
a few months ago.:
http://books.slashdot.org/article.pl?sid=04/03/12/221232
peace,
isaac
___
Haskell-Cafe mailing l
Matthew Roberts <[EMAIL PROTECTED]> writes:
>>
>> I find that I don't need unit testing frameworks. A few features of
>> Haskell and the associated interpreters (ghci and hugs) combine to
>> make "unit testing as you go" really easy. I just write a few tests
>> for each function I write and then
(please followup-to haskell-cafe)
This slashdot story mentions Haskell being used to solve puzzles:
http://developers.slashdot.org/developers/04/12/04/0116231.shtml?tid=159&tid=156
I did a quick search on slashdot to discover that Haskell has been in
the topic of a slashdot story 4 times in the
This might be an interesting way to highlight the beauty and brevity
of Haskell. Has anyone written a great 500-line Haskell program they
want to submit?
peace,
isaac
http://developers.slashdot.org/article.pl?sid=04/10/06/1530218&tid=156&tid=8
"Be part of the Open Source Annual 2005 and ent
vary. Haskell compilers vary. Packages have
dependencies. Etc.
Isaac Jones has coordinated an effort to address this problem. We've
had a lot of discussion between him and (at least some of) the folk
involved in the GHC, Hugs, and nhc implementations. This discussion
has led to a new con
"Simon Marlow" <[EMAIL PROTECTED]> writes:
[snip a lot]
> The idea, as I understand it, is that we're going to provide two main
> APIs:
>
> (b) The high-level API (Distribution.Core in the example). Used
> by simple Setup.lhs scripts to provide generic build, install,
> and package re
Greetings,
Now that I have at least gotten something started on the Library
Infrastructure Project, I'm going to bend some of my energy toward the
build/install issues for Haskell modules.
The plan at this point, which is summarized on the project web site[1]
is to attempt to leverage HMake's use
Greetings,
I'm looking for some help on the library infrastructure project. The
project and its goals are explained here:
http://www.haskell.org/libraryInfrastructure/
And the code is here:
http://www.haskell.org/libraryInfrastructure/code.html
In brief, the Library Infrastructure Project is
Peter Simons <[EMAIL PROTECTED]> writes:
> Hi,
>
> I'm playing with the BNF Converter and like it very much.
> But unfortunately, it generates code for Alex version 1, not
> 2. All I could find is the _new_ Alex version, so I wonder:
> Does anyone know an URL, where I can still get the old
> versi
David Roundy <[EMAIL PROTECTED]> writes:
>> Do you want to embed Haskell code or to embed a Haskell interpreter?
>
> I actually would like to embed a Haskell interpreter.
(snip)
> H. I may be able to get by without calling haskell functions from C.
> Most of the work would be done in C, and
Greetings,
I've set up a Debian archive (apt source) for experimental Haskell
packages and backports. For instance, in the "unstable" section, you
might find bleeding edge packages which will eventually be uploaded to
Debian if they work (like the arrow preprocessor). In the "stable"
section, yo
Greetings.
We added a page "Fundamental Concepts" to the wiki so that we might
have a very specific reference to pass along to people with questions,
and to add links to definitions throughout the wiki.
http://www.haskell.org/hawiki/FundamentalConcepts
A lot of concepts need to be filled in, and
(I'm not sure why my postings seem somewhat anonymous, I'll mess with
the headers in this post to see if that fixes it. I post to other
mailman lists and haven't noticed this problem.)
I'm working through Paul Hudak's SOE, and have a question about
problem 9.4, which is to define a function apply
52 matches
Mail list logo
