CALL FOR PARTICIPATION
XLDI 2012
First International Workshop on
Cross-Model Language Design and Implementation
http://workshops.inf.ed.ac.uk/xldi2012/
Affiliated with ICFP 2012,
#7112: No inlining in the presence of non-instantiated phantom type
--+-
Reporter: dreixel | Owner:
Type: bug | Status: new
Priority: normal
#7113: linux-powerpc : large integer implicitly truncated to unsigned type
-+--
Reporter: erikd| Owner:
Type: bug | Status: new
Priority: normal
#7114: Cannot recover (good) inlining behaviour from 7.0.2 in 7.4.1
--+-
Reporter: dreixel | Owner:
Type: bug | Status: new
Priority: normal
#7115: docs mention the darcs repositories
---+
Reporter: MikolajKonarski| Owner:
Type: bug| Status: new
Priority: normal |
#2253: Native code generator could do better
-+--
Reporter: dons | Owner:
Type: bug | Status: new
Priority: normal
#2253: Native code generator could do better
--+-
Reporter: dons | Owner:
Type: bug | Status: closed
Priority: normal
#7116: Missing optimisation: strength reduction of floating-point multiplication
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
#4065: Inconsistent loop performance
-+--
Reporter: rl| Owner:
Type: bug | Status: new
Priority: normal|
#4065: Inconsistent loop performance
--+-
Reporter: rl | Owner:
Type: bug | Status: closed
Priority: normal
#7117: Data family constructors defined in GHCi are not in scope
--+-
Reporter: parcs | Owner:
Type: bug | Status: new
Priority: normal
#5233: Support specifying the assembly that should be generated
-+--
Reporter: tibbe | Owner: simonmar
Type: feature request | Status: patch
Priority: normal
#7118: Comments of curly bracket form, which appear at the end of type
deffinitions confuse GHC
+---
Reporter: timthelion | Owner:
Type: bug | Status: new
#7117: Data family constructors defined in GHCi are not in scope
-+--
Reporter: parcs| Owner:
Type: bug | Status: patch
#7118: Comments of curly bracket form, which appear at the end of type
deffinitions confuse GHC
+---
Reporter: timthelion | Owner:
Type: bug | Status: new
#5233: Support specifying the assembly that should be generated
-+--
Reporter: tibbe | Owner: simonmar
Type: feature request | Status: patch
Priority: normal
Hello,
I've been wondering if there have been attempts to provide some
library/API or similiar facility (other than pointing your web-browser
to the static Haddock HTML report) for looking up Haddock comments
associated with Haskell symbols?
As an obvious application: When coding in dynamic
On 01/08/2012 11:38, Joachim Breitner wrote:
Hello,
I’m still working on issues of performance vs. sharing; I must assume
some of the people here on the list must have seen my dup-paper¹ as
referees.
I’m now wondering about a approach where the compiler (either
automatically or by user
I've been wondering if there have been attempts to provide some
library/API or similiar facility (other than pointing your web-browser
to the static Haddock HTML report) for looking up Haddock comments
associated with Haskell symbols?
As an obvious application: When coding in dynamic
Hi Simon,
Am Freitag, den 03.08.2012, 09:28 +0100 schrieb Simon Marlow:
My question is: Has anybody worked in that direction? And are there any
fundamental problems with the current RTS implementation and such
closures?
Long ago GHC used to have an update analyser which would detect some
I've been wondering for some time about the details of how GHC uses
syntax with inlining, and how other transformations come into play in
the process (I recently asked a question on SO if anyone wants some
karma: http://stackoverflow.com/q/11690146/176841). I know this is a
big topic and there's
I think instead you should have:
- abandoned FunDeps
- embraced Overlapping more!
Well, using TypeCast to emulate all FunDeps was demonstrated three
years later after HList (or even sooner -- I don't remember when
exactly the code was written):
oleg at okmij.org writes:
I think instead you should have:
- abandoned FunDeps
- embraced Overlapping more!
Well, using TypeCast to emulate all FunDeps was demonstrated three
years later after HList (or even sooner -- I don't remember when
exactly the code was written):
On Mon, Jul 30, 2012 at 6:59 PM, Alexander Solla alex.so...@gmail.com wrote:
We could even have a report spam button on each page, and if enough users
click on it (for a given revision), the revision gets forwarded to a
moderator.
This would be useless. The problem is not detecting spam, since
Is there a place - on the Haskell Wiki perhaps - with a list of desired
Haskell-related projects? Both for programs written in Haskell, as well as
things to help, and enhance the programming experience?
Walt BMeph Rorie-Baety
I am an eyewitness to what you committed in that location.
There is an ignored reddit for that
(http://www.reddit.com/r/haskell_proposals), but somewhere good? I
don't think so.
Thomas
On Fri, Aug 3, 2012 at 8:02 AM, Black Mephistopheles
black.m...@gmail.com wrote:
Is there a place - on the Haskell Wiki perhaps - with a list of desired
Evan Laforge wrote:
I consider that a strength of the lens approach. If I say 'set
(a.b.c.d) 42 record', 'a', 'b' etc. don't have to be record fields, I
can swap them out for other lenses later on.
I can also easily precompose, e.g. 'setThis = a . b; setThat = b . c'
and encourage people to use
Thank you for that insight. :)
On Fri, Aug 3, 2012 at 4:50 AM, Heinrich Apfelmus apfel...@quantentunnel.de
wrote:
Creating the vector still takes time proportional to the length of the
vector. In fact, it appears that in your example, the vector packages
optimizes the creation time to
On Fri, Aug 3, 2012 at 10:11 AM, Jonathan Geddes
geddes.jonat...@gmail.comwrote:
The nice part about the SEC functions is that
they compose as regular functions. Lenses are
super powerful in that they form a category.
Unfortunately using categories other than
functions feels a tad unwieldy
Oops, forgot my references
[1] Original post:
http://www.twanvl.nl/blog/haskell/cps-functional-references
[2] polymorphic update support: http://r6.ca/blog/20120623T104901Z.html
[3] another post about these:
http://comonad.com/reader/2012/mirrored-lenses/
On Fri, Aug 3, 2012 at 1:53 PM, Ryan
Hello Café,
I am struggling to get ctags and / or haskell mode to work with cabal-dev.
This is quite annoying. Has anyone worked around this?
Ben
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Fri, Aug 3, 2012 at 2:35 PM, Benjamin Edwards edwards.b...@gmail.com wrote:
I am struggling to get ctags and / or haskell mode to work with cabal-dev.
This is quite annoying. Has anyone worked around this?
I use ghc-mod for vim and it sorta supports this... by adding
arbitrary flags to GHC
Transpose in Data.List is the following:
transpose :: [[a]] - [[a]]
transpose [] = []
transpose ([] : xss) = transpose xss
transpose ((x:xs) : xss) = (x : [h | (h:_) - xss]) : transpose (xs :
[ t | (_:t) - xss])
Yet this seems to work.
transp :: [[b]] - [[b]]
Hi KC,
transp :: [[b]] - [[b]]
transp ([]:_) = []
transp rows = map head rows : transp (map tail rows)
Why is the the transpose function in Data.List more complicated?
In the Data.List version, the list comprehension syntax quietly
filters out items that fail to pattern-match (empty
Hi Gwern,
First of all, thanks for your patience.
I am willing to do administrator tasks.
4. ReCAPTCHA enabled for 'edits adding new, unrecognized external
links' - which is all of the spam.
This is already enabled.
I guess the problem may be due to
35 matches
Mail list logo
