> 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 lik
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 7.6
Adrian May 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 names?
(import List => i
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 an
Byron Hale 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 libraries.
Thes
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
M
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
Scott Lawrence 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 Soeyleme
Adrian May 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 descendants (Agda, Disciple,
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 theoret
Hello.
On 2 May 2013 14:33, Adrian May 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 extremes. Your extre
On Thu, May 2, 2013 at 5:30 PM, Ertugrul Söylemez 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 issues; I don't th
Adrian May 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, but you may be looking at i
John Lato 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 rate of Haskell pa
On Thu, May 2, 2013 at 1:27 AM, Adrian May
wrote:
> 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 WASH. I couldn't even inst
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 in
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
typicall
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
http://www.haskell.org/platform/changel
>
> 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'
On Thu, May 2, 2013 at 6:26 AM, 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.
>
I think you're missing the point of the platform! It is an explicit set of
versions, including GHC, that make a s
>
>
> 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 tha
On Thu, May 2, 2013 at 10:36 AM, Adrian May
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 least part of the
>
Having to build it already indicates that something is wrong, unless you'
On Thu, May 2, 2013 at 7:36 AM, Adrian May
wrote:
> 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), boot-strapping the next rev i
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
Haskell-Cafe
>
>
> 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.1
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 to
>
>
> 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
>
> http://www.infor
On 3 May 2013 01:04, Brandon Allbery wrote:
> On Thu, May 2, 2013 at 10:36 AM, Adrian May
> 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 least part of the
>
> Having to buil
Adrian May 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 or to be and
(not to be or to b
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
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 w
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 fri
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 possibl
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
-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 gr
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 term
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 norma
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 assum
IIRC, Barendregt'84 monography ("The Lambda Calculus: Its Syntax and
Semantics") has a significant part of it devoted to this question.
* Ian Price [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 pointers.
>
> Earlier toda
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 th
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 t
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
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 r
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
wrote:
> 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 7.6.
> Now that's rapid m
On 3 May 2013 08:53, Marcos Pividori 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 have a clearer
> id
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 wrote:
> If you are actively using something then keep it up to da
>
>
>
>> 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
>
>
> 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 compla
On Thu, May 2, 2013 at 8:43 PM, Adrian May
wrote:
>
>> 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
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.
58 matches
Mail list logo
