-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 02/05/13 06:57, Ben wrote:
sorry, i was only trying to make a helpful suggestion!
just to clarify: i'm not championing asciitext (or any other
format) -- i only heard about it recently in a comment on
In your class Sum example,
class Sum x y z | x y - z, x z - y
your own solution has a bunch of helper classes
First of all, on the top of other issues, I haven't actually shown an
implementation in the message on Haskell'. I posed this as a general
issue.
In special cases like
Hello, everyone,
I was just in the process of trying to get Haskell 7.6 installed. First
I surveyed all the current OSes that seemed to support it. FreeBSD 9.1
seemed like a good candidate. However, FreeBSD 9.1 has many practical
problems of its own. So far, I have 7.4 installed, but not
Adrian May adrian.alexander.may at gmail.com writes:
this decision to change the default syntax in GHC7
what decision? what syntax? here's the release notes (7 vs. 6)
http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/release-7-0-1.html
I guess you are referring to hierarchical module
Dear Haskellers,
Erudify (http://erudify.com/) is looking for software engineers to join our
team. We are developing an autonomous interactive online tutor. We sell our
product to enterprise and provide it for free to schools and consumers.
We are looking for software engineers who are smart
Byron Hale byron.hale at einfo.com writes:
I was just in the process of trying to get Haskell 7.6 installed.
You cannot install Haskell 7.6. Haskell is a language.
You can install a language implementation (compiler/interpreter).
There may be several. You can also install a set of
Hi,
It seems that during the recent suggestions about what markup to choose
(Markdown, Creole, Asciidoc, etc.), we've forgotten about one of the goals
that seem very important to me for Haskell: the ability to write *math
formulas*. I have experienced on StackExchange that just adding MathJAX to
My 2c (before such coins disappear...)
On 2 May 2013, at 09:14, Petr Pudlák wrote:
Hi,
Personally I'd incline to choose some existing, well-established markup
language with formal specification that supports math (hopefully there is
one).
So TeX/LaTeX is out then :-(
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 02/05/13 09:26, Andrew Butterfield wrote:
My 2c (before such coins disappear...)
On 2 May 2013, at 09:14, Petr Pudlák wrote:
Hi,
Personally I'd incline to choose some existing, well-established
markup language with formal specification
Scott Lawrence byt...@gmail.com wrote:
I think (and a quick reading of source seems to bear this out) that
that only happens when you run cabal report. Which isn't quite
undocumented - see cabal report --help.
That's reassuring. Thanks a lot!
Greets,
Ertugrul
--
Key-ID: E5DD8D11 Ertugrul
Adrian May adrian.alexander@gmail.com wrote:
Please don't interpret this as a rant: I'm just feeling a bit
disappointed about probably having to give up on Haskell.
[rant that update broke stuff]
Well, it is a rant, so you can just as well concede it. =)
The Haskell community and its
Hi Ertugrul,
Well, it is a rant, so you can just as well concede it. =)
By my standards that was a lullaby ;-)
Everything you said is correct. Just like everything I said.
The best policy lies between the two extremes. Your extreme would be fine
if Haskell presented itself as a purely
Hello.
On 2 May 2013 14:33, Adrian May adrian.alexander@gmail.com wrote:
Hi Ertugrul,
Well, it is a rant, so you can just as well concede it. =)
By my standards that was a lullaby ;-)
Everything you said is correct. Just like everything I said.
The best policy lies between the two
On Thu, May 2, 2013 at 5:30 PM, Ertugrul Söylemez e...@ertes.de wrote:
To express this question in a broader context: Are you leaving a broken
tool and replacing it with a new shiny one?
So I read the original post, and it really wasn't clear to me what exact
changes were causing the
Adrian May adrian.alexander@gmail.com wrote:
[...] If you'd rather see more using Haskell, I strongly suggest you
get a grip on what real companies actually have to worry about. It
ain't mathematical rigour. Backward compatibility is a big chunk of
it.
I'm not saying that you are wrong,
John Lato jwl...@gmail.com wrote:
I don't think there's anything wrong with moving at a fast pace, nor
do I think backwards compatibility should be maintained in perpetuity.
I think this statement pretty much covers the mindset of the Haskell
community and also explains the higher breakage
On Thu, May 2, 2013 at 1:27 AM, Adrian May
adrian.alexander@gmail.comwrote:
Let's face it: this decision to change the default syntax in GHC7 means
that right now Haskell looks about as stable as Ruby on Rails.
I just tried to use Flippi. It broke because of the syntax change so I
tried
So WASH is ancient history. OK, lets forget it.
How about the Haskell Platform? Is that ancient history? Certainly not: it
doesn't compile on anything but the very newest GHC. Not 7.4.1 but 7.4.2.
Now that's rapid maintenance, but it's still version hell because you've
got to have that compiler
If you are actively using something then keep it up to date, encourage
someone to keep it up to date, pay someone to keep it up to date, or
migrate off of it. If you try building with a fresh set of packages every
so often, you can catch breaking changes early and deal with them when it's
On Thu, May 02, 2013 at 09:26:15PM +0800, Adrian May wrote:
How about the Haskell Platform? Is that ancient history? Certainly not: it
doesn't compile on anything but the very newest GHC. Not 7.4.1 but 7.4.2.
I'm uninformed in such matters, but from
If you are actively using something then keep it up to date, encourage
someone to keep it up to date, pay someone to keep it up to date, or
migrate off of it. If you try building with a fresh set of packages every
so often, you can catch breaking changes early and deal with them when it's
On Thu, May 2, 2013 at 6:26 AM, Adrian May
adrian.alexander@gmail.comwrote:
How about the Haskell Platform? Is that ancient history? Certainly not: it
doesn't compile on anything but the very newest GHC.
I think you're missing the point of the platform! It is an explicit set of
versions,
I think you're missing the point of the platform!
I suppose I did miss the point of the platform: I was trying to build it,
which requires at least part of the platform. As I say, the reason I was
trying to build it was that I wrongly blamed the ubuntu package for WASH
not working. But that
On Thu, May 2, 2013 at 10:36 AM, Adrian May
adrian.alexander@gmail.comwrote:
I think you're missing the point of the platform!
I suppose I did miss the point of the platform: I was trying to build it,
which requires at least part of the
Having to build it already indicates that
On Thu, May 2, 2013 at 7:36 AM, Adrian May
adrian.alexander@gmail.comwrote:
I suppose I did miss the point of the platform: I was trying to build it,
which requires at least part of the platform.
This is not for the faint of heart. Like *ALL* language distributions I
know (C++ included),
On Thu, May 02, 2013 at 10:36:18PM +0800, Adrian May wrote:
Please would somebody explain to me what getPackageId did to incriminate
itself?
What's getPackageId? It does not appear in the WASH source.
Tom
___
Haskell-Cafe mailing list
What's getPackageId? It does not appear in the WASH source.
It's in Setup.lhs, in WashNGo.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Thu, May 02, 2013 at 11:10:33PM +0800, Adrian May wrote:
What's getPackageId? It does not appear in the WASH source.
It's in Setup.lhs, in WashNGo.
Which source of WashNGo are you using? It doesn't appear in either of these
versions:
http://hackage.haskell.org/package/WashNGo-2.12
We offer a summer school on
Applied Functional Programming in Haskell
August 19 - 30, 2013
Utrecht University.
The deadline for registration is May 20, 2013.
Almost 20 students have already registered.
In the previous four occasions students were all very happy with the school and
we plan
Which source of WashNGo are you using? It doesn't appear in either of
these
versions:
http://hackage.haskell.org/package/WashNGo-2.12
http://hackage.haskell.org/package/WashNGo-2.12.0.1
http://www.informatik.uni-freiburg.de/~thiemann/WASH/WashNGo-2.12.tgz
On Thu, May 02, 2013 at 11:23:12PM +0800, Adrian May wrote:
Which source of WashNGo are you using? It doesn't appear in either of
these
versions:
http://hackage.haskell.org/package/WashNGo-2.12
http://hackage.haskell.org/package/WashNGo-2.12.0.1
On 3 May 2013 01:04, Brandon Allbery allber...@gmail.com wrote:
On Thu, May 2, 2013 at 10:36 AM, Adrian May adrian.alexander@gmail.com
wrote:
I think you're missing the point of the platform!
I suppose I did miss the point of the platform: I was trying to build it,
which requires at
Adrian May adrian.alexander@gmail.com wrote:
I attached the tarball. Don't say you got it from me, OK.
That's a weird thing to demand in a public mailing list with public
search-engine-locatable archives. =)
Greets,
Ertugrul
--
Not to be or to be and (not to be or to be and (not to be
so confused...
I have asked one of my friends to compile this code. And he also got an fail
It seems this bug only occurs on a 32-bit version ghc
update:
my friends said he changes the decode line into a ugly way:
let x = decode $(C.pack. C.unpack) au :: Maybe AuctionInfo
then he got an ok
but
On Thu, May 02, 2013 at 11:35:27PM +0800, Adrian May wrote:
I get a 403 FORBIDDEN on that. How did you get it?
I guess you just gotta know the right people ;-)
I attached the tarball. Don't say you got it from me, OK.
That tarball still doesn't contain the string getPackageId.
You're
Hi Adrian
I don't want to argue against your rant for the sake of it, but
Haskell is a fairly conservative language. The Glasgow Haskell
Compiler supports it's own dialect Glasgow Haskell which is fast
moving, but the developers of GHC do work hard to maintain
compatibility with standard Haskell
@Adrian May if you want that much backward compatibility you probably need
to move to an operating system that suports it.
NixOS, already mentioned by another commentator, would be
my recommendation if you really need the backward compatibility I just
finished compiling both Flippi and WashNGo
indeed. That approach seems like the most likely to be successful within
the scope of a single summer.
That said, this does raise the question of what needs to be fixed up /
added to the haddock grammar to
a) make it a rich target for pandoc
b) make sure the augmented haddock grammar is human
Hi,
I know this isn't perhaps the best forum for this, but maybe you can
give me some pointers.
Earlier today I was thinking about De Bruijn Indices, and they have the
property that two lambda terms that are alpha-equivalent, are expressed
in the same way, and I got to wondering if it was
The notion of equivalence you are talking about (normally L is referred
to as a context) is 'extensional equality'; that is, functions f
and g are equal if forall x, f x = g x. It's pretty easy to give
a pair of functions which are not alpha equivalent but are observationally
equivalent:
if
At Thu, 02 May 2013 20:47:07 +0100,
Ian Price wrote:
I know this isn't perhaps the best forum for this, but maybe you can
give me some pointers.
Earlier today I was thinking about De Bruijn Indices, and they have the
property that two lambda terms that are alpha-equivalent, are expressed
in
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 02/05/13 20:52, Carter Schonwald wrote:
indeed. That approach seems like the most likely to be successful
within the scope of a single summer.
That said, this does raise the question of what needs to be fixed
up / added to the haddock
On 05/02/2013 10:42 PM, Francesco Mazzoli wrote:
At Thu, 02 May 2013 20:47:07 +0100,
Ian Price wrote:
I know this isn't perhaps the best forum for this, but maybe you can
give me some pointers.
Earlier today I was thinking about De Bruijn Indices, and they have the
property that two lambda
At Thu, 02 May 2013 23:16:45 +0200,
Timon Gehr wrote:
Yes, they can. Take ‘f = λ x : ℕ → x + x’ and ‘g = λ x : ℕ → 2 * x’.
Those are not lambda terms.
How are they not lambda terms?
Furthermore, if those terms are rewritten to operate on church numerals,
they have the same unique normal
Excerpts from Timon Gehr's message of Thu May 02 14:16:45 -0700 2013:
Those are not lambda terms.
Furthermore, if those terms are rewritten to operate on church numerals,
they have the same unique normal form, namely λλλ 3 2 (3 2 1).
The trick is to define the second one as x * 2 (and assume
IIRC, Barendregt'84 monography (The Lambda Calculus: Its Syntax and
Semantics) has a significant part of it devoted to this question.
* Ian Price ianpric...@googlemail.com [2013-05-02 20:47:07+0100]
Hi,
I know this isn't perhaps the best forum for this, but maybe you can
give me some
On 05/02/2013 11:33 PM, Francesco Mazzoli wrote:
At Thu, 02 May 2013 23:16:45 +0200,
Timon Gehr wrote:
Yes, they can. Take ‘f = λ x : ℕ → x + x’ and ‘g = λ x : ℕ → 2 * x’.
Those are not lambda terms.
How are they not lambda terms?
I guess if + and * are interpreted as syntax sugar then
On 05/02/2013 11:37 PM, Edward Z. Yang wrote:
Excerpts from Timon Gehr's message of Thu May 02 14:16:45 -0700 2013:
Those are not lambda terms.
Furthermore, if those terms are rewritten to operate on church numerals,
they have the same unique normal form, namely λλλ 3 2 (3 2 1).
The trick is
At Fri, 03 May 2013 00:44:09 +0200,
Timon Gehr wrote:
On 05/02/2013 11:33 PM, Francesco Mazzoli wrote:
At Thu, 02 May 2013 23:16:45 +0200,
Timon Gehr wrote:
Yes, they can. Take ‘f = λ x : ℕ → x + x’ and ‘g = λ x : ℕ → 2 * x’.
Those are not lambda terms.
How are they not lambda
I'm sorry: it was showPackageId. And the tarball came from this page:
http://www.informatik.uni-freiburg.de/~thiemann/WASH/ which certainly isn't
secret to Gooliath: I got it by searching for haskell cgi html. I don't
know why you can't download it.
Anyway, I've noted your opinions but today I
Greetings,
I am a Computer Science student from Argentina. I am interested in working
this summer in a project related to Haskell for the Google Summer of Code.
I have been discussing my idea with Michael Snoyman in order to have a
clearer idea. Now, I would like to know the community interest in
On Thu, May 2, 2013 at 6:26 AM, Adrian May
adrian.alexander@gmail.comwrote:
So WASH is ancient history. OK, lets forget it.
How about the Haskell Platform? Is that ancient history? Certainly not: it
doesn't compile on anything but the very newest GHC. Not 7.4.1 but 7.4.2.
GHC is up to
On 3 May 2013 08:53, Marcos Pividori marcospivid...@gmail.com wrote:
Greetings,
I am a Computer Science student from Argentina. I am interested in working
this summer in a project related to Haskell for the Google Summer of Code. I
have been discussing my idea with Michael Snoyman in order to
Emphatic agreement on this point.
Likewise, the strong type system and the often helpful type error messages
make it really easy to update code to work with more modern libs!
-Carter
On Thu, May 2, 2013 at 9:39 AM, David Thomas davidleotho...@gmail.comwrote:
If you are actively using
Now that's rapid maintenance, but it's still version hell because you've
got to have that compiler installed first (even though HP is supposed to be
a way to acquire haskell) and you probably haven't. You've probably got the
one from the linux package which hasn't been maintained since,
Also, the Haskell Platform ./configure step checks which version of GHC
you have installed, and requires you to pass the option --enable-*
unsupported*-*ghc*-version in order to compile it with anything other
than GHC 7.4.2.
Did you try an unsupported version? And now you're complaining?
On Thu, May 2, 2013 at 8:43 PM, Adrian May
adrian.alexander@gmail.comwrote:
Also, the Haskell Platform ./configure step checks which version of GHC
you have installed, and requires you to pass the option --enable-*
unsupported*-*ghc*-version in order to compile it with anything other
Hi. This question dovetails off my previous thread. I described how I
got ghc-7.6.3 installed from source onto an old RHEL5 machine.
Naturally, I want to get cabal-install installed and start building
great Hackage software. However, I have this quirk: I installed GHC to a
special directory using
Yes, I try it out sometimes. And if it works, great. If not, too bad,
I'll wait until the next Haskell Platform. I don't whine about it in
public.
May I venture a guess that you never tried to manage a 5-10 million line
project?
That's what I do. I'm not a programmer, I'm a manager. I
59 matches
Mail list logo