On Wed, Aug 31, 2011 at 00:32, Vasili I. Galchin wrote:
> I know nothing about the architecture of iOS running on an iPad.
> However, I have a friend who just bought the newer iPad. It seems that
> either C++ or Objective C is available on iPad for development(actually the
> icon says C++).
Hello,
I know nothing about the architecture of iOS running on an iPad.
However, I have a friend who just bought the newer iPad. It seems that
either C++ or Objective C is available on iPad for development(actually the
icon says C++). What are the prospects of getting Haskell ported to iOS?
On 30/08/2011, at 7:45 PM, Thomas Davie wrote:
> That's reasonably believable – streaming units on current CPUs can execute
> multiple floating point operations per cycle.
The figures for cephes_{sinf,cosf} are difficult to believe
because they are so extremely at variance with the figures that
On Aug 30, 2011, at 1:15 PM, Christopher Done wrote:
> 1) You put all your source files on the server, too and then run the
> GHCi process under tramp and access the files via tramp.
>
> 2) Sounds like you'd prefer to keep your files local, which, I suppose
> means you want to send code to the se
> toFList [] = id
> toFList (xs++ys) = toFList xs . toFList ys
>
> toList id = []
> toList (f . g) = toList f ++ toList g
These laws do not *define* the isomorphisms because their behavior on
singletons is not fixed. Combining them with laws using a 'point'
function for functional list
On Wed, Aug 31, 2011 at 6:13 AM, Ryan Ingram wrote:
> technically it violates 'fmap id' == 'id' [...]
>
> If you add this FList law, though, you're OK:
>
> runFList fl as = runFList fl [] ++ as
I think the idea of functional lists is that the monoids of 'lists'
and 'functions on lists' are isomor
Use Usenet. sci.math, sci.math.research, and sci.logic are some of the best
mathematics and logic resources on the internet.
On Mon, Aug 29, 2011 at 1:34 AM, Andrew Coppin
wrote:
> This is fairly wildly off-topic but... does anybody know of a good forum
> where I can ask questions about mathemat
You also don't need mutual recursion for this explicit recursion since
I imagine it would use up more stack space.
-- Doing the one dimensional case.
f011 :: [Int] -> Int
f011 (t:u:v:xs) = f011helper t u v xs
f011helper :: Int -> Int -> Int -> [Int] -> Int
f011helper t u v (w:ws)
| ws == []
On Tue, Aug 30, 2011 at 9:42 AM, Conal Elliott wrote:
> I suspect this definition is what Sebastian meant by "converting back and
forth to ordinary lists".
Yep, I know; and technically it violates 'fmap id' == 'id'
for example,
fmap id (FList $ \xs -> xs ++ xs) = FList $ \xs -> xs
If you add th
Peter Simons :
Now, a person who has profound knowledge of the subject you're asking
about is not very likely to do this, because he is probably not going to
learn anything in the process. Dedicating time and effort to studying
your particular problem is not an appealing prospect.
You might be r
Hi Andrew,
> I know of several places where I can ask maths questions and half a
> dozen people will take guesses at what the correct solution might be.
> I haven't yet found anywhere where I can say "when would a
> chi-squared test be more appropriate than a KS test?" and get an
> informed,
On 11-08-30 10:52 AM, MH wrote:
How can I install/reinstall haskell platform with profiling enabled on
windows?
It already is.
Program Files (x86)\Haskell
Platform\2011.2.0.1\lib\extralibs\text-0.11.0.6\ghc-7.0.3\libHStext-0.11.0.6_p.a
Program Files (x86)\Haskell
Platform\2011.2.0.1\lib\extr
He said "Trying to distinguish first between knowledgeable, wise,
guru, wizard, etc." before asking the actual mathematics related
question.
Beware: the expert
"X" is an unknown quantity
"spert" is a drip under pressure
:D
On Tue, Aug 30, 2011 at 12:16 PM, Chris Smith wrote:
> On Tue, 2011-08-3
On 11-08-29 12:35 PM, Roly Perera wrote:
Cool. I assumed that since I already had Parsec installed as part of
the Haskell Platform it wouldn't have made any difference, but
actually it sorted it. Thanks a lot!
The combination of "ghc 6.12.1" and "haskell platform" suggests it is a
pretty old h
On Tue, 2011-08-30 at 20:58 +0200, Jerzy Karczmarczuk wrote:
> With all my respect:
> I think I know several mathematicians who learning that a person asking
> for help begins with trying to distinguish between knowledgeable, and
> those who just think they are, will simply - to say it politely
Andrew Coppin :
I haven't yet found anywhere where I can say "when would a chi-squared
test be more appropriate than a KS test?" and get an informed,
knowledgeable answer. (Answers from people who /know/ what they're
talking about rather than just /think/ they know.)
With all my respect:
I t
On 29/08/2011 01:13 PM, Christopher Done wrote:
There's also #math on freenode, but it's a scary wilderness.
On 29 August 2011 13:34, Benedict Eastaugh wrote:
On 29 August 2011 09:34, Andrew Coppin wrote:
This is fairly wildly off-topic but... does anybody know of a good forum
where I can as
Note that once you upgrade it (to >=0.4), you'll still need to remove the
older version to fix the error.
I wish cabal-install defaulted to hiding every package it installs. The
current behavior of exposing every installed module is unreasonable and
confusing. Packages should be namespaces, not
You might like this zipping & folding version.
Explicit recursion has the disadvantage that one has to read the
entire function in order to figure out what's going on; whereas using
the higher order functions makes things much easier to grasp.
listof4tuples xs = (zip4 xs (tail xs) (tail (tail xs)
On 30 August 2011 17:48, Daniel Patterson wrote:
> Chris, this is amazing! One question - do you have support for tramping in
> and running ghci remotely (or would that be easy to add)? I primarily develop
> inside virtual-machines, so while the source code lives where emacs lives,
> all the li
I suspect this definition is what Sebastian meant by "converting back and
forth to ordinary lists".
2011/8/29 Ryan Ingram
>
>
> On Sun, Aug 28, 2011 at 8:24 PM, Maciej Marcin Piechotka <
> uzytkown...@gmail.com> wrote:
>
>> f `fmap` FList g = _|_
>> f `fmap` FList g = map id
>> f `fmap` FList g
Chris, this is amazing! One question - do you have support for tramping in and
running ghci remotely (or would that be easy to add)? I primarily develop
inside virtual-machines, so while the source code lives where emacs lives, all
the libraries are installed inside the virtual-machine (and the
How can I install/reinstall haskell platform with profiling enabled on
windows?
Or the other way to put it, how can I install/reinstall haskell platform on
windows with my own cabal options?
I googled on it and didn't find any solutions for windows OS.
Thanks,
Malik
__
=
Birds of a Feather sessions (BOFs)
Commercial Users of Functional Programming Workshop (CUFP 2011)
http://cufp.org/bofs-2011
To
Tony Morris wrote:
> Pointed f => Pointed (StateT s f)
>
> but not
>
> Applicative f => Applicative (StateT s f)
I see. So StateT cannot be what you could call an applicative transformer.
(Unlike for example ReaderT.)
Thanks.
___
Haskell-Cafe mail
On Mon, 2011-08-29 at 16:50 +0100, Colin Adams wrote:
> On 29 August 2011 16:45, Michael Snoyman wrote:
> "chunked" is the only valid transfer-encoding[1], while gzip
> must be
> specified on the content-encoding header[2]. For a simple
> example of
> these
Oh, I didn't reply all. Whoops.
On 28 August 2011 13:40, Christopher Done wrote:
> On 27 August 2011 22:59, aditya siram wrote:
>> I would like for the GHCI interpreter to save its environment before
>> reloading a file and allowed the user to revert back to that state if the
>> compilation was
That's reasonably believable – streaming units on current CPUs can execute
multiple floating point operations per cycle.
if (*ra4 != 0xffc78948) { return false; }
On 30 Aug 2011, at 02:30, Richard O'Keefe wrote:
>
> On 29/08/2011, at 10:32 PM, Maciej Marcin Piechotka wrote:
>>
>> According to
Hi,
> This is what I've was referring to in my previous mail. Even though
> you're compiling to machine code, you are using the in-memory linker
> (i.e., the GHCi linker). It seems like that this is a fundamental
> limitation of the internal linker. You may be using it in a way that
> doesn't tri
On 30 August 2011 06:46, Albert Y. C. Lai wrote:
> In #haskell, we came up with the idea of running two instances of ghci. Try
> loading in one instance first; if good, commit to the other instance too; if
> bad, you still have the other instance in a functional state. Presumably,
> this should be
30 matches
Mail list logo
