Hi Edward,
Thanks for the response. For now I don't need the performance for now but it's
good to know these developments are in the pipeline. I'm not wedded to hmatrix.
I think I could use repa or yarr just as easily; I just haven't investigated.
Dominic.
On 9 Apr 2013, at 23:03, Edward
[Apologies if you receive multiple copies of this CFP]
===
CALL FOR PAPERS
17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES
Brasília, Distrito Federal, Brazil
September 29th to October 4th, 2013
http://cbsoft2013.unb.br/en/sblp-en
Hi all,
These few days I've been having trouble in attempt to use GHC head. I
follow the following standard steps to create a tarball:
$ git clone http://darcs.haskell.org/ghc.git/
$ cd ghc
$ # optionally, git checkout branch name
$ ./sync-all --testsuite get
$ cp mk/build.mk.sample mk/build.mk
In fiddling around with some numeric code in Haskell, I noticed some
issues. Basically, you get warnings if you write
energy mass = mass * c^2
but not if you write
energy mass = mass * c * c
which seems a bit perverse.
Some more examples are below.
I understand the inference issues that
One may read this message as proving True === False without resorting
to IO. In other words, referential transparency, or the substitution
of equals for equals, may fail even in expressions of type Bool.
This message is intended as an indirect stab at lazy IO.
Unfortunately, Lazy IO and even
It doesn't seem like you're trying to perform multiple actions
simultaneously. For example, you don't need to be able to read from the
server and send data back at the same time. Instead, you'll have a single
thread of execution. Am I right?
If so, it seems like the simplest thing would be for
On Wed, Apr 10, 2013 at 2:08 PM, Alexander V Vershilov
alexander.vershi...@gmail.com wrote:
On 10 April 2013 14:56, Michael Snoyman mich...@snoyman.com wrote:
It doesn't seem like you're trying to perform multiple actions
simultaneously. For example, you don't need to be able to read from
Hi Edward,
I see now that the issues are deeper than performance.
I took another package that supports matrix operations: repa.
data MyMatrix a = MyMatrix
{
myRows :: Int
, myCols :: Int
, myElts :: [a]
} deriving (Show, Functor, Foldable, Traversable)
f (MyMatrix r c es) =
On 10 April 2013 14:56, Michael Snoyman mich...@snoyman.com wrote:
It doesn't seem like you're trying to perform multiple actions
simultaneously. For example, you don't need to be able to read from the
server and send data back at the same time. Instead, you'll have a single
thread of
I might be mistaken, but is there a bug in the Show instance of PortNum?
λ PortNum 1
256
λ PortNum 2
512
λ PortNum 3
768
λ let (PortNum x) = PortNum 10
λ x
10
Tested with network-2.4.1.2
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Hi,
Is there any Haskell or functional programmers user group in the region of
Madrid?
If not, I think it could be a great idea to get to know each other, and
share experiences. Furthermore, we could try to organize some meetings with
presentations, hackatons and so on (my personal ambition is to
Replying to all. Sorry for the duplicate, Florian.
The fact that the constructor `PortNum` is exported has been argued to be a
bug in past discussions. PortNumber is stored big endian, which leads to
behaviors that people don't expect. I suggest you lean on the fact that
PortNumber is an
On Wed, Apr 10, 2013 at 3:26 AM, Florian Hofmann
fhofm...@techfak.uni-bielefeld.de wrote:
I might be mistaken, but is there a bug in the Show instance of PortNum?
Not a bug, an annoying misdesign (IMO). A PortNum is actually in network
byte order. If you extract it, you get the original port;
On Wed, Apr 10, 2013 at 12:39 PM, Dominic Steinitz domi...@steinitz.orgwrote:
interactive:1:6:
Could not deduce (repa-3.2.3.1:Data.Array.Repa.Eval.Elt.Elt
(ad-3.4:Numeric.AD.Internal.Types.AD s a))
DANGER WILL ROBINSON!
It's showing package names+versions on the
Hi Lone
Just coded quickly so still there is lot of chance for improvement.
{-# LANGUAGE MultiWayIf #-}
import Data.List
import Data.Word
import Data.Bits
builtin_ctz_hask :: Word32 - Word32
builtin_ctz_hask x
| x == 0 = 32
| otherwise = n' - ( ( .. ) x' 1 ) where
It was pointed out to me that the precise issue came up before in the
libraries list in January 2011 as well:
http://www.haskell.org/pipermail/libraries/2011-January/015761.html
From the archives; it appears that proposal didn't generate much discussion
either. I think everyone is agreed on the
On Wed, Apr 10, 2013 at 03:38:35PM +0100, Barak A. Pearlmutter wrote:
In fiddling around with some numeric code in Haskell, I noticed some
issues. Basically, you get warnings if you write
energy mass = mass * c^2
but not if you write
energy mass = mass * c * c
Numeric typeclasses
The problem is both Repa and Hmatrix, (and most of the Vector types) want
to know something about the data type we're storing in their shapes, so
they can smash it flat and unbox it, but for most AD modes that value isn't
actually something you can smash flat like that.
newtype Tower a = Tower
* Barak A. Pearlmutter ba...@cs.nuim.ie [2013-04-10 15:38:35+0100]
In fiddling around with some numeric code in Haskell, I noticed some
issues. Basically, you get warnings if you write
energy mass = mass * c^2
but not if you write
energy mass = mass * c * c
which seems a bit
I tried to do something simple using the rmonad package (attached).
I followed the example that's in haddocks (it is wrong, constraints has
no arguments), grabbed the list of extensions from rmonad's source, but
this program doesn't typecheck:
Could not deduce (Hashable a) arising from a use of
Hi Alejandro!
It would be great if Spain would have a Haskell Group in the capital city.
I am from Spain and I always begged for something like this. Unfortunately,
I find myself in the United States and unable to help. But if, for any
circumstances, I end up in Madrid, I'll be there to support
On 10 April 2013 22:25, Roman Cheplyaka r...@ro-che.info wrote:
* Barak A. Pearlmutter ba...@cs.nuim.ie [2013-04-10 15:38:35+0100]
In fiddling around with some numeric code in Haskell, I noticed some
issues. Basically, you get warnings if you write
energy mass = mass * c^2
but not if you
On Wed, Apr 10, 2013 at 11:20:15PM +0400, Aleksey Khudyakov wrote:
This IS rather annoying problem for numeric code. Raising value to positive
power is quite common operation yet ^ operator generally couldn't be used
because it leads to warning about type defaulting (rightfully) and one
wants
On 10 April 2013 23:26, Tom Ellis
tom-lists-haskell-cafe-2...@jaguarpaw.co.uk wrote:
On Wed, Apr 10, 2013 at 11:20:15PM +0400, Aleksey Khudyakov wrote:
This IS rather annoying problem for numeric code. Raising value to positive
power is quite common operation yet ^ operator generally couldn't
* Aleksey Khudyakov alexey.sklad...@gmail.com [2013-04-10 23:20:15+0400]
On 10 April 2013 22:25, Roman Cheplyaka r...@ro-che.info wrote:
* Barak A. Pearlmutter ba...@cs.nuim.ie [2013-04-10 15:38:35+0100]
In fiddling around with some numeric code in Haskell, I noticed some
issues.
On 11 April 2013 00:11, Roman Cheplyaka r...@ro-che.info wrote:
* Aleksey Khudyakov alexey.sklad...@gmail.com [2013-04-10 23:20:15+0400]
On 10 April 2013 22:25, Roman Cheplyaka r...@ro-che.info wrote:
This IS rather annoying problem for numeric code. Raising value to positive
power is quite
Ah ok ... thanks for the clarification
2013/4/10 Brandon Allbery allber...@gmail.com
On Wed, Apr 10, 2013 at 3:26 AM, Florian Hofmann
fhofm...@techfak.uni-bielefeld.de wrote:
I might be mistaken, but is there a bug in the Show instance of PortNum?
Not a bug, an annoying misdesign (IMO).
This is a case where a line of documentation could save a lot of people a
lot of trouble. Anyone have a clone of network handy that they could make a
pull request from?
Jeff
On Wed, Apr 10, 2013 at 4:31 PM, Florian Hofmann
fhofm...@techfak.uni-bielefeld.de wrote:
Ah ok ... thanks for the
It's sometimes difficult to figure out a good choice when you're searching for
a new feature/library (when you go beyond safety of the HP).
I'm looking for a generic zipper to (hopefully) navigate over an AST… so a
hetrogeneous structure.
It's probably sufficient to make this traversable in a
* Luke Evans l...@eversosoft.com [2013-04-10 15:00:40-0700]
It's sometimes difficult to figure out a good choice when you're searching
for a new feature/library (when you go beyond safety of the HP).
I'm looking for a generic zipper to (hopefully) navigate over an AST… so a
hetrogeneous
Hmm, in my naivety I failed to notice that the 'official' GHC.Generics are
completely different to SYB on which syz is built. Classic case of reading the
same words/names and assuming they're exactly the same thing.
Maybe it's not that hard to rewrite syz in terms of GHC.Generics.Generic (I'll
... in most of the cases I do want this warnings. It's possible to get
something default to Integer when it should be Int. There are only few
cases when it's not appropriate. Only ^ and ^^ with literals I think
There are a few other cases, albeit less annoying. Like this:
c = fromIntegral 2
On Thu, Apr 11, 2013 at 12:56:05AM +0100, Barak A. Pearlmutter wrote:
... in most of the cases I do want this warnings. It's possible to get
something default to Integer when it should be Int. There are only few
cases when it's not appropriate. Only ^ and ^^ with literals I think
There
Machine:an Intel Core 2 Duo desktop Mac.
OS: Mac OS X 10.7.4
Xcode: 4.6.1 (including command line tools)
Haskell:Haskell Platform 2012.4.0.0 64bit.pkg
downloaded today (GHC 7.4.2)
cabal update advised me to install a new cabal-install.
m%
On 10/04/2013, at 2:45 PM, o...@okmij.org wrote:
... unsafeInterleaveST is really unsafe ...
import Control.Monad.ST.Lazy (runST)
import Control.Monad.ST.Lazy.Unsafe (unsafeInterleaveST)
import Data.STRef.Lazy
bad_ctx :: ((Bool,Bool) - Bool) - Bool
bad_ctx body = body $ runST (do
r -
On Wed, Apr 10, 2013 at 8:36 PM, Richard A. O'Keefe o...@cs.otago.ac.nzwrote:
/Developer/usr/bin/strip: object: /home/cshome/o/ok/.cabal/bin/cabal
malformed object (unknown load command 15)
Xcode 4.2 and on do not use /Developer at all. You have an older Xcode on
your system somehow, which
Welcome to issue 265 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of March 31 to April 6, 2013.
Quotes of the Week
* Jafet: Haskell is an abstract research language used only in
academia, education, banking,
On Thu, 11 Apr 2013 12:49:40 +1200 Richard A. O'Keefe
o...@cs.otago.ac.nz wrote:
And most of the alternatives (like conduits) hurt my head
I've understood conduits when I've read the awesome pipes tutorial.
There's actually a comment near the definition of PortNumber
http://hackage.haskell.org/packages/archive/network/latest/doc/html/src/Network-Socket-Types.html#PortNumber
-- newtyped to prevent accidental use of sane-looking
-- port numbers that haven't actually been converted to
--
The issue with this example is that you have
genericTake :: Integral a = a - [b] - [b]
where the 'a' is converted to an Int without being checked for overflow.
IMHO type defaulting is irrelevant for this one problem; evaluating
take 44 foobar
has exactly the same
I'm writing a web server app, which I run in ghci:
:main localhost 8000
Unfortunately, after Ctrl-C and :reload, running it again:
** Exception: bind: resource busy (Address already in use)
This is pretty annoying, because quitting-and-restarting takes a lot of
time since I have many
On 11/04/2013, at 12:56 PM, Brandon Allbery wrote:
Xcode 4.2 and on do not use /Developer at all. You have an older Xcode on
your system somehow, which does not understand newer object files; you should
remove the entire /Developer tree. (Xcode, in order to be distributable via
the App
Hi. For my own learning, I wanted to see how the exp function is
implemented in GHC. I have GHC 7.4.1 source code open, but I'm having
trouble figuring out which file the actual function definition is in. I see
expFloat(F# x) = F# (expFloat# x)
in libraries/base/GHC/Float.lhs.
--
43 matches
Mail list logo
