Dan Doel wrote:
I don't really think they're worth saving in general, though. I haven't missed
them, at least.
Maybe you haven't :-) My code is cluttered with redundant type contexts - I can't think of a similar redundancy in any
other language.
Hi,
I am hoping to do a GSoC project this year working on GHC, and have been
pointed in the direction of the records issue (in particular, the desire
to overload field names). This has been discussed on-and-off for years,
and while there are lots of ideas [1], little has been implemented in
GHC
Adam Gundry adam.gundry at strath.ac.uk writes:
Hi,
I am hoping to do a GSoC project this year working on GHC, and have been
pointed in the direction of the records issue (in particular, the desire
to overload field names).
Heck you're brave!
Are you sure you want to step into the
Slightly, off-topic, but just because I've been spending my last couple of days
trying to shoehorn an inheritance-based subytping type system into Haskell
(without full OO-power, so no methods or mutable state.)
Oleg/Ralf's HList paper covers all the ground for first-class records. It
depends
Hi Aleksandar,
This library for extensible records does use -XDataKinds:
http://hackage.haskell.org/package/vinyl. It doesn't have as many
definitions as HList, but that might be because more recent extensions
are more powerful. Many other libraries are listed
Hi Adam,
very nice idea. As the others, I'm curious why you chose to implement SORF
in favor of the other ideas?
I just read the SORF proposal, and I'm a bit concerned about what error
messages would GHC issue when someone would type incorrect code involving
such records. Currently Haskell's
That is because every other language conflates the notion of a class with a
vtable smashed into every inhabitant of the class where everything has to
be defined together in one monolithic definition.
You also can't write sensible Monads in those languages (Where does return
go?) or retroactively
Hi Adam,
Since we have already had *very* long discussions on this topic, I'm
worried that I might open a can of worms be weighing in here, but the issue
is important enough to me that I will do so regardless.
Instead of endorsing one of the listed proposals directly, I will emphasize
the
Hac Phi 2013, a Haskell hackathon/get-together, will be held June 7-9
at the University of Pennsylvania in Philadelphia. The hackathon will
officially kick off at 2:30 Friday afternoon, and go until 5pm on
Sunday (with breaks for sleep, of course). Last year's Hac Phi was a
lot of fun, drawing
Hi. I've got this work situation where I've got to do all my work on
/ancient/ RHEL5 systems, with funky software configurations, and no root
privileges. I wanted to install GHC in my local account, but the gnu
libc version is so old (2.5!) that I can't even get the binary packages
to install.
Hugs98, or failing that, the original Hugs, will almost certainly
be easier to compile for your RHEL5 system, but do note that
it's not a compiler in the sense that it makes standalone binaries.
Given your constraints, it's probably the best choice.
Tommy
On Apr 26, 2013, at 22:21 ,
11 matches
Mail list logo
