Fine with me! We need people to update TH.
We plan to release 7.8 in mid Feb, and then have a TH upheaval shortly
thereafter (I hope). So let’s put this in afterwards.
Simon
From: glasgow-haskell-users-boun...@haskell.org
[mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of Iavor
[apologies for any cross-posting]
*
*** IMMINENT DEADLINE ***
*
4th OPEN Answer Set Programming Competition 2013
Call for Participant Systems
University of Calabria
Welcome to issue 256 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
weeks of January 20 to 26, 2013.
Quotes of the Week
* elliott: cmccann: unfortunately it is too perfect an abstraction to
be useful.
*
Maybe (just my 2 cents!) since you are going to broke the API anyway, go
for it
and seize the occasion to really clean up :)
Obviously I'm saying this from a non-http-user point of view, maybe if I had
some code in production affected by this, my suggestion would have been
different :P
Regards,
The difference is what's called dynamic programming (an utterly
non-intuitive and un-insightful name).
It was meant to be. The name was chosen to be truthful while
not revealing too much to a US Secretary of Defense of whom
Bellman wrote:
His face would suffuse, he would turn red, and he
On 29/01/2013, at 12:43 PM, Bob Hutchison hutch-li...@recursive.ca wrote:
The immediate problem is mapping an input to the system, some json message
containing a reference to the 'thing' (like a key of some kind). I have to
take that reference and find the thing and operate on it. All
From the conclusion that both programs compute the same result it can be
concluded that the fact that you have made use of a list comprehension has
forced you to make a choice which should not matter, i.e. the order in which
to place the generators. This should be apparent from your code.
My
The whole point here is to evaluate both lists inside the list
comprehension only once. There is a very simple way to accomplish this:
[q:qs | let qss = queens' (k-1), q - [1..n], qs - qss]
Here, queens' (k-1) is only evaluated once, and is shared for all q.
(Note: If queens' (k-1) is
On Wed, Jan 30, 2013 at 5:51 PM, Doaitse Swierstra doai...@swierstra.netwrote:
From the conclusion that both programs compute the same result it can be
concluded that the fact that you have made use of a list comprehension has
forced you to make a choice which should not matter, i.e. the
Thinks! I think compiler should do this for us, isn't it?
On Wed, Jan 30, 2013 at 7:54 PM, Adrian Keet ark...@gmail.com wrote:
The whole point here is to evaluate both lists inside the list
comprehension only once. There is a very simple way to accomplish this:
[q:qs | let qss = queens'
I will be writing a parser in Haskell and I wonder how to approach the problem.
My first thought
was to use monadic parser, e.g. like the one described by Hutton and Meijer in
Monadic Parsing
in Haskell functional pearl. But then I stumbled upon this:
Jan Stolarek jan.stola...@p.lodz.pl wrote:
I will be writing a parser in Haskell and I wonder how to approach the
problem. My first thought was to use monadic parser, e.g. like the one
described by Hutton and Meijer in Monadic Parsing in Haskell
functional pearl. But then I stumbled upon
Everything that Johan Tibell said + you may be interested in the
resourcet package [1] (which is used by conduit to handle resources).
Cheers,
[1] http://hackage.haskell.org/package/resourcet
On Tue, Jan 29, 2013 at 8:59 PM, Thiago Negri evoh...@gmail.com wrote:
`Control.Exception.bracket` is
Felipe, I'm trying to use your Hipmunk package. :)
The resources I need to keep around are the objects used for the simulation.
Do you recomend using resourcet to handle this or something else?
Thanks.
2013/1/30 Felipe Almeida Lessa felipe.le...@gmail.com
Everything that Johan Tibell said +
AFAIR, the only object that you need to be careful with is the Space
[1], everything else is garbage collected. You could put the Space in
a ResourceT, but only if it ran on its own thread (as soon as a block
of ResourceT finishes, everything is deallocated, so you wouldn't be
able to follow the
Dear hackers,
the Darcs project is glad to announce that the next Hacking Sprint will
take place in Paris on February 15-17, at the IRILL (near Place d'Italie).
Please check out the details at:
http://darcs.net/Sprints/2013-02
Here are three things to know
1. Everybody is welcome to join us.
On Wed, Jan 30, 2013 at 7:02 AM, Junior White efi...@gmail.com wrote:
Thanks for your reply! I must learn more to fully understand what's going
on inside the list comprehension.
But when I frist learn Haskell, it says sequence doesn't matter, but now
it is a big matter, can compiler do some
On Wed, Jan 30, 2013 at 5:32 PM, Junior White efi...@gmail.com wrote:
Thanks for your reply! I must learn more to fully understand what's going
on inside the list comprehension.
But when I frist learn Haskell, it says sequence doesn't matter, but now
it is a big matter, can compiler do
On 30 January 2013 12:38, Ertugrul Söylemez e...@ertes.de wrote:
A monadic parser /is/ a combinator parser. The code you linked just
doesn't go as far as wrapping it up with a newtype and providing a monad
instance.
Further, (+) in the linked example is monadic bind and `result` is
Unfortunately I lack the time for a wholesale cleanup. If others have
proposals and are willing to supply the patches that's a different matter!
On 30/01/2013 08:01, Alfredo Di Napoli wrote:
Maybe (just my 2 cents!) since you are going to broke the API anyway, go
for it
and seize the occasion
https://status.heroku.com/incidents/489
Unsigned Hackage packages are a ticking time bomb.
Cheers,
Edward
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
As long as we upload packages via plain HTTP, signing won't help though.
On Wed 30 Jan 2013 19:27:32 GMT, Edward Z. Yang wrote:
https://status.heroku.com/incidents/489
Unsigned Hackage packages are a ticking time bomb.
Cheers,
Edward
___
As long as we upload packages via plain HTTP, signing won't help though.
I don't think that's true? If the package is tampered with, then the
signature will be invalid; if the signature is also forged, then the
private key is compromised and we can blacklist it. We care only
about integrity,
HTTPS doesn't really change anything if the server is compromised, it only
prevents bad things from happening in transit.
Sign the packages with GPG (or equivalent) before upload. The server never
sees the package author's private key, only the public key. Server and/or
client can warn or fail if
Hi,
Am Mittwoch, den 30.01.2013, 11:27 -0800 schrieb Edward Z. Yang:
https://status.heroku.com/incidents/489
Unsigned Hackage packages are a ticking time bomb.
another reason why Cabal is no package manager¹.
(Ok, I admit that I don’t review every line of diff between the Haskell
packages I
Hello,
I am running into a strange issue that reminds me of Java's classloader
black magic havoc :-)
My code compiles fine using cabal-dev install, but when I try to compile an
individual file with ghc, I got the following error:
$ ghc -package-conf cabal-dev/packages-7.4.1.conf YakGraph.hs
[1
IMHO Hackage and Cabal should support package signing even if they
aren't package managers.
On Wed, Jan 30, 2013 at 6:59 PM, Joachim Breitner nome...@debian.org wrote:
Hi,
Am Mittwoch, den 30.01.2013, 11:27 -0800 schrieb Edward Z. Yang:
https://status.heroku.com/incidents/489
Unsigned
On Wednesday 30 January 2013, 22:29:23, Arnaud Bailly wrote:
YakGraph.hs:13:30:
Couldn't match expected type `Data.Text.Lazy.Internal.Text'
with actual type `text-0.11.2.0:Data.Text.Lazy.Internal.Text'
one package (at least) you use - probably graphviz - was compiled with a
Excerpts from Joachim Breitner's message of Wed Jan 30 12:59:48 -0800 2013:
another reason why Cabal is no package manager¹.
Based on the linked post, it seems that you are arguing that cabal-install is
not a package manager, and thus it is not necessary for it to duplicate
the work that real
On Wed, Jan 30, 2013 at 10:43 PM, Edward Z. Yang ezy...@mit.edu wrote:
This argument seems specious. Whether or not cabal-install is or not
intended to be a package manager, users expect it to act like one (as
users expect rubygems to be a package manager), and, at the end of the
day, that
You are right, I skipped over that this was actually a server-side
exploit - sure, end-to-end signing will help here.
On 30/01/13 19:47, Edward Z. Yang wrote:
As long as we upload packages via plain HTTP, signing won't help though.
___
Haskell-Cafe
Excerpts from Ramana Kumar's message of Wed Jan 30 14:46:26 -0800 2013:
This argument seems specious. Whether or not cabal-install is or not
intended to be a package manager, users expect it to act like one (as
users expect rubygems to be a package manager), and, at the end of the
day,
On Wed, Jan 30, 2013 at 10:48 PM, Edward Z. Yang ezy...@mit.edu wrote:
Excerpts from Ramana Kumar's message of Wed Jan 30 14:46:26 -0800 2013:
This argument seems specious. Whether or not cabal-install is or not
intended to be a package manager, users expect it to act like one (as
Hi,
Am Mittwoch, den 30.01.2013, 14:43 -0800 schrieb Edward Z. Yang:
Excerpts from Joachim Breitner's message of Wed Jan 30 12:59:48 -0800 2013:
another reason why Cabal is no package manager¹.
Based on the linked post, it seems that you are arguing that cabal-install is
not a package
Excerpts from Joachim Breitner's message of Wed Jan 30 14:57:28 -0800 2013:
I’m not against cryptographically signed packages on hackage. In fact, I
would whole-heatedly appreciate it, as it would make my work as a
package maintainer easier.
I was taking the opportunity to point out an
If you possess multiple instances (may be different versions, may be
same version different builds) of a package, life can be hard and
confusing. The problems are explained in my
http://www.vex.net/~trebla/haskell/sicp.xhtml
and faced by many people regularly. (Just read this mailing list.)
Welcome to issue 256 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
weeks of January 20 to 26, 2013.
Quotes of the Week
* elliott: cmccann: unfortunately it is too perfect an abstraction to
be useful.
*
Hi,
I'm working on a project in Haskell and C++ where the former is the brains
and the latter is for UI, interaction etc.
I've read this
http://www.altdevblogaday.com/2012/04/26/functional-programming-in-c/ and a
number of other haskell posts suggesting the OOP is not the way to go.
Without
Thank you everyone! I like Haskell because the following two reasons:
1. It is beautifully
2. There are many great guys like you here.
I will work harder on it, and forgive me for my broken English.
On Thu, Jan 31, 2013 at 12:41 AM, Rustom Mody rustompm...@gmail.com wrote:
On Wed, Jan 30,
Ramana Kumar ramana.ku...@cl.cam.ac.uk wrote:
But if you keep calling cabal a package manager, eventually you'll
have to write the patches to make it one.
The combination of Cabal, cabal-install and Hackage is a package
distribution system. As such, it needs the necessary cryptographic
Hi Cafe,
I downloaded the latest hugs98 source package, unzip and build, I get the
following link errors. It seems many symbols are not defined, am I missing
same depending libraries?
This is my machine info:
➜ hugs98-plus-Sep2006 git:(master) ✗ uname -a
Darwin lan-seimatoMacBook-Air.local
Casey Basichis caseybasic...@gmail.com wrote:
I'm working on a project in Haskell and C++ where the former is the
brains and the latter is for UI, interaction etc.
That's a rather odd choice. Not exactly answering your question, but
questioning your project decisions, why would you do UI and
Hi Ertugrul,
I'm not entirely sure what you mean.
I'm intending on using Ogre for GUI - for which there is the Hogre
bindings, but after emailing the DEV about it, I didn't get the
impression from his advice that I should be using it for production
code. Here is what he suggested:
It depends,
On 01/29/2013 12:23 PM, Casey Basichis wrote:
Why do you think browsing function by function is a bad idea? It
seems that knowing exactly what the most used functions are would be
an extremely effective way of finding both which parts of the Prelude
and Hackage are most broadly useful
Not to downplay the significance of this issue, but a primary issue, much
more important is to secure ghc, base, cabal-install, and the build process
for these.
The development process needs to be robust.
That process should include signing commits by *two developers*. This is
really not a lot
45 matches
Mail list logo
