On 20/09/2013, at 11:47 PM, damodar kulkarni wrote:
There is an Eq instance defined for these types!
So I tried this:
*Main sqrt (10.0) ==3.1622776601683795
True
*Main sqrt (10.0) ==3.16227766016837956
True
*Main sqrt (10.0) ==3.1622776601683795643
True
*Main sqrt (10.0)
On 3/09/2013, at 10:44 PM, Rustom Mody wrote:
Whoops! my bad -- I was *thinking* 'pipes' but ended up *writing* 'IPC' :-)
So let me restate more explicitly what I intended -- pipes, FIFOs, sockets,
etc.
IOW read/write/send/recv calls and the mathematical model represented by the
The original poster wants to
- read a file
- get the contents as a String
- break the string into lines
- do something with the lines
- and presumably print the result
Easy. Put the following lines in a file called 'rf.hs':
file_name = rf.hs
main =
readFile file_name = \string -
On 3/09/2013, at 5:17 PM, damodar kulkarni wrote:
I didn't want to clutter that thread so I am asking a question here.
Where do I find foundational and/or other good references on the topic of
stream interface vs string interface to convert objects to text? I tried
google but failed.
It
allPairs2 can be simplified using a trick I wouldn't dare use in
any language but Haskell:
triangle4 xs = fused undefined [] xs
where fused x (y:ys) zs = (x,y) : fused x ys zs
fused _ [] (z:zs) = fused z zs zs
fused _ [] [] = []
I submit this just for grins; it
On 1/09/2013, at 7:06 PM, Christopher Howard wrote:
It seemed to be suggesting that a Num instance for functions would imply the
need for constant number functions, which leads to difficulties. But I don't
see why one would have to take it that far.
You *cannot* make a type an instance of
On 1/09/2013, at 6:02 PM, yi lu wrote:
I want to know if it is possible that I use strings without .
If I type
Preludefoo bar
which actually I mean
Preludefoo bar
However I don't want to type s.
I have noticed if bar is predefined or it is a number, it can be used as
arguments. But
On 2/09/2013, at 3:55 PM, Rustom Mody wrote:
On Mon, Sep 2, 2013 at 5:43 AM, Richard A. O'Keefe wrote:
A slogan I have programmed by since I first met C and recognised
how vastly superior to PL/I it was for text manipulation _because_
it didn't have a proper string type is Strings
On 20/08/2013, at 6:44 PM, Kyle Miller wrote:
By working as expected I actually just meant that they distribute (as in
a(b+c)=ab+ac) and commute (ab=ba and a+b=b+a),
That is a tiny fraction of working as expected.
The whole modular arithmetic argument would come close to
having some virtue,
On 20/08/2013, at 3:43 AM, Kyle Miller wrote:
On Sun, Aug 18, 2013 at 8:04 PM, Richard A. O'Keefe o...@cs.otago.ac.nz
wrote:
The argument for twos-complement, which always puzzled me, is that the other
systems have two ways to represent zero. I never found this to be a problem,
not even
On 19/08/2013, at 3:38 AM, Nicolas Frisby wrote:
The docs at
http://www.haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:gcd
give a NB mentioning that (abs minBound == minBound) is possible for
fixed-width types.
At least three ways to represent negative integers in
On 7/08/2013, at 2:10 PM, damodar kulkarni wrote:
I bet you can find an abundance of C programmers who think that
strcmp is an intuitive name for string comparison (rather than compression,
say).
But at least, 'strcmp' is not a common English language term, to have
acquired some
On 7/08/2013, at 9:17 PM, Jerzy Karczmarczuk wrote:
I am the last here who would quarrel with Richard O'K., but I firmly believe
that such reasoning is a Pandora box.
The King, the government, the Pope, etc. have no power, only the
interpretation of their decrees by outer agents _does_
On 8/08/2013, at 2:09 AM, damodar kulkarni wrote:
Thanks for pointing this out, I was not able to point my thoughts in this
direction.
But I still have a doubt: if my familiarity doesn't come in the form of some
analogy, then my acquired intuition about it would be of little use. In
On 8/08/2013, at 2:56 AM, Donn Cave wrote:
The RFC822 headers of your email suggest that you use a Macintosh computer,
so apart from the apparently disputable question of whether you're familiar
with English, you have the same online dictionary as mine.
My department has an electronic
On 6/08/2013, at 9:28 PM, J. Stutterheim wrote:
That argument makes sense, although I find it a bit counter-intuitive still.
In discussions like this, I have never been able to discover any meaning for
intuitive other than familiar. Applying pure to an IO operation doesn't
go against *my*
On 31/07/2013, at 8:16 PM, Simon Hengel wrote:
* There is no such thing as a parse error in Markdown, and I think we
should try to make this true for Haddock markup, too
It is very far from clear that this is a virtue in Markdown.
In trying to learn Markdown, I found it an excessively
On 25/07/2013, at 7:09 PM, o...@okmij.org wrote:
Here is a snippet from a real code that could benefit from
non-recursive let.
[[A big blob of extremely dense code.]]
_Nothing_ is going to make that easy to read.
And I say that as someone who loves Haskell and is in *awe* of
Oleg. I mean,
On 21/07/2013, at 7:36 AM, Evan Laforge wrote:
Just by coincidence, I recently wrote this:
This is a BEAUTIFUL example.
I think we may disagree about what it's an example OF,
however. I found the code a little difficult to
follow, but when that's fixed up, there's no longer
any reason to want
On 22/07/2013, at 8:14 PM, Andreas Abel wrote:
Just today, my student asked me why the following program does nothing:
Did you ask your student why their code should not be torn into pieces,
burned to ashes, and incorporated into a pot for radioactive waste?
All those occurrences of
Brian Marick sent me a couple of his stickers.
The one I have on my door reads to be less wrong than yesterday.
The other one I keep free to bring out and wave around:
An example would be handy about now.
All of the arguing to and fro -- including mine! -- about
non-recursive let has
On 15/07/2013, at 8:23 PM, J. Stutterheim wrote:
The OS dependency for dynamics stems from the fact that the Clean dynamics
are quite a bit more powerful than Haskell's. For example, using dynamics, it
is possible to send arbitrary functions to another Clean application, which
can then
On 16/07/2013, at 3:21 PM, Clark Gaebel wrote:
I'm still against having an Ord version, since my intuition tells me
that hash-based data structures are faster than ordered ones.
There are at least four different things that an Ord version might
mean:
- first sort a list, then eliminate
On 12/07/2013, at 6:12 PM, Andreas Abel wrote:
[I can't try your F# example but ocaml does something different.]
Yes. They are different languages.
By the way, I used the F# that comes with Mono.
On 12.07.2013 02:22, Richard A. O'Keefe wrote:
For what it's worth,
let x = 1 in
- let x
On 13/07/2013, at 11:27 PM, J. Stutterheim wrote:
- they then abandoned the Macintosh world for
Windows. The Mac IDE was killed off; there is
now an IDE for Windows but not MacOS or Linux.
The good news is that the latest version of Clean[2] and its code
generator[3] now works fine
On 11/07/2013, at 6:16 PM, o...@okmij.org wrote:
I'd like to emphasize that there is a precedent to non-recursive let
in the world of (relatively pure) lazy functional programming.
So what? You can find precedents for almost anything.
I could even point you to a lazy mostly-functional
On 10/07/2013, at 8:42 PM, Andreas Abel wrote:
Hear, hear! In OCaml, I can (and often do) write
let (x,s) = foo 1 [] in
let (y,s) = bar x s in
let (z,s) = baz x y s in ...
I really wish you wouldn't do that.
After reading Dijkstra's paper on the fact that we have
On 11/07/2013, at 4:00 AM, Donn Cave wrote:
I've gone to some trouble to dig up an nhc98 install (but can't seem to
find one among my computers and GHC 7 won't build the source thanks to
library re-orgs etc.) Because, I vaguely recall that nhc98's rules
were different here? Anyone in a
On 11/07/2013, at 11:09 AM, Donn Cave wrote:
let x = t + 1 in
let y = x in
let x = y + 1 in x
Still no cigar.
nhc98 v1.16
Program:
main = print $ (let t = 0 in let x = t + 1 in let y = x in let x = y + 1 in x)
Output:
2
___
On 2/07/2013, at 12:00 AM, Richard Cobbe wrote:
Sure. So my first question boils down to which of the two alternatives
below does the community prefer? (To be clear about the intended
semantics: this is the application of the function f to the arguments x, y,
and z.)
f x
y
z
On 1/07/2013, at 1:04 PM, Richard Cobbe wrote:
I should have been clearer in my original question: I'm curious about what
to do when a multi-argument function application gets split across lines.
That wiki page dicsusses how the layout rule interacts with various special
forms (let, where,
An important question here is whether you want to notice
when a Roman numeral is invalid, e.g., iix, or not.
From a parsing point of view context-free grammars are not
ideal. We have the patterns
i{1,3} | iv | vi{1,3} | ix units
x{1,3} | xl | lx{1,3} | xc
My original problem was that I wanted to load a particular set of
packages using 'cabal install'. It didn't work (cabal install issues)
and while the maintainer reacted promptly and helpfully, cabal
kept on trying to install the wrong version.
Part of the problem was that blasting away ~/.cabal
Today I cleared out everything, using uninstall-hs and
rm -rf ~/.cabal ~/Library/Haskell
I downloaded Haskell Platform 2013.2.0.0 64bit.pkg
and installed it.
I was unsuccessful in installing the packages I wanted
using cabal install, which suggested running ghc-pkg check.
So I cleared out
On 11/06/2013, at 1:58 AM, Alberto G. Corona wrote:
I have ever wondered how a committee could have made Haskell.
A committee made Algol 60, described as an improvement on most
of its successors. A committee maintains Scheme.
On the other hand, an individual gave us Perl.
And an individual
On 4/06/2013, at 4:22 PM, Rustom Mody wrote:
On Tue, Jun 4, 2013 at 7:35 AM, Richard A. O'Keefe o...@cs.otago.ac.nz
wrote:
On 3/06/2013, at 6:58 PM, Carter Schonwald wrote:
If the Int type had either of these semantics by default, many many
performance sensitive libraries would
On 3/06/2013, at 6:58 PM, Carter Schonwald wrote:
If the Int type had either of these semantics by default, many many
performance sensitive libraries would suddenly have substantially less
compelling performance. Every single operation that was branchless before
would have a branch
On 15/05/2013, at 2:57 AM, John wrote:
Hi,
I have to write a function which returns a list of all pairs (x,y) where x,
y ∈ N AND:
– x is the product of two natural numbers (x = a · b, where a, b ∈ N) AND
– x is really bigger than 5 but really smaller than 500, AND
– y is a squer
I should add that as a consumer of Haddock documentation
I can testify that fancier styling (in whatever format)
would be of little benefit to _me_. What I need is more
plain text and more examples.
To be perfectly honest, most of the time when looking at
a Haddock page, I end up clicking on the
On 29/04/2013, at 10:04 PM, kudah wrote:
On Mon, 29 Apr 2013 18:04:47 +1200 Richard A. O'Keefe
o...@cs.otago.ac.nz wrote:
so that there is no possibility of catching errors early;
by definition in that processor there are no errors.
Haddock's markup isn't any better in that regard.
Did
On 29/04/2013, at 3:26 AM, Chris Smith wrote:
I think it's worth backing up here, and remembering the original point
of the proposal, by thinking about what is and isn't a goal. I think
I'd classify things like this:
Goals:
- Use a lightweight, common, and familiar core syntax for simple
On 29/04/2013, at 4:18 PM, Chris Smith wrote:
My point was not anything at all to do with programming. It was about
writing comments, which is fundamentally a communication activity. That
makes a difference. It's important to keep in mind that the worst possible
consequence of getting
The basic problem is that the University has a strict policy
that academic staff must not have root access on any machine
that is connected to the University network. I was given an
administrator account so that I could resume the printer and
install (some) stuff, but /Developer is owned by root,
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 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
There is no fundamental problem with non-linear patterns
using ==. (The functional logic programming world long
ago generalised the idea of unification to 'narrowing'.)
There _is_ a technical problem in Haskell about whether
the == here is necessarily the one from the Prelude or
whether it might
On 8/04/2013, at 11:21 AM, Levent Erkok wrote:
It appears that the consensus is that this is a historical definition dating
back to the times when IEEE754 itself wasn't quite clear on the topic itself,
and so nobody thought that hard about negative zeroes. (The quote is from a
comment from
On 5/04/2013, at 1:22 AM, Tillmann Rendel wrote:
Hi,
Richard A. O'Keefe wrote:
As I understand it, in ML, it seemed to be a clever idea to not have type
signatures at all.
Wrong. In ML, it seemed to be a clever idea not to *NEED* type signatures,
and for local definitions
On 5/04/2013, at 12:34 PM, Johan Tibell wrote:
Markdown has won. Look at all the big programming sites out there,
from GitHub to StackOverflow, they all use a superset of Markdown.
Yes, but they tend to use _different_ supersets of Markdown.
Would it be too much to ask that a notation be
On 5/04/2013, at 2:00 PM, Johan Tibell wrote:
Would it be too much to ask that a notation be used which has
a formal syntax and a formal semantics?
We will document our superset, sure. That's what others did as well.
The point is using Markdown as the shared base.
Nononono.
Sure, the
On 4/04/2013, at 5:59 AM, Tillmann Rendel wrote:
As I understand it, in ML, it seemed to be a clever idea to not have type
signatures at all.
Wrong. In ML, it seemed to be a clever idea not to *NEED* type signatures,
and for local definitions they are very commonly omitted.
But you can
I should mention that both functional programming in general
and Backus's FP _have_ been influenced by APL, which, while
imperative, strongly encourages algebraic combination of
small functions and had (a fixed set of) higher-order operators.
As for Brute Force Learning by reading imperative
It's Backus, people. He was never the god of wine.
I cannot detect any trace of Backus's FP in Haskell at all.
FP is strict. Haskell is not.
FP is typeless. Haskell is highly typeful.
FP does not name formal parameters. Haskell often does.
FP has roots in APL. Haskell doesn't.
I don't see
On 19/03/2013, at 9:31 AM, OWP wrote:
If I may ask, I'm not quite sure what O(2^n) and O(1) are?
Check any data structures and algorithms textbook.
Reverting to the original topic, THIS is the age of specialised
machines. A lot of the chips out there are not just a CPU but
a SoC (System on a
Carlos Camarao wrote:
Sorry, I think my sentence:
To define (+) as an overloaded operator in Haskell,
you have to define and use a type class.
is not quite correct. I meant that to define any operator in Haskell you have
to
have a type class defined with that operator as member.
On 12/03/2013, at 3:15 AM, Carlos Camarao wrote:
On Sat, Mar 9, 2013 at 5:33 PM, Peter Caspers pcaspers1...@gmail.com wrote:
Hi,
I just started playing around a bit with Haskell, so sorry in
advance for very basic (and maybe stupid) questions. Coming from
the C++ world
On 12/03/2013, at 10:00 AM, MigMit wrote:
On Mar 12, 2013, at 12:44 AM, Richard A. O'Keefe o...@cs.otago.ac.nz
wrote:
Prelude :type (+)
(+) :: Num a = a - a - a
The predefined (+) in Haskell requires its arguments and its result
to be precisely the same type.
I think you had
On 11/03/2013, at 12:10 AM, Peter Caspers wrote:
thanks, this was the core of my question. So by example, if I define a Date
type as
data Date = Date Int deriving Show
representing a date by its serial number and want two constructors
(conditions are only examples here)
-- smart
Just to play devil's advocate:
100% agreed that there are better things to do in Haskell _source code_ than
regexps.
The thing about regexps is that they can be accepted at run time as _data_.
This means, for example, that they can be put in whatever you use for
localisation.
See for
Erlang's equivalent of [m..n] is lists:seq(M, N),
which is currently defined to raise an exception when N M.
In particular, lists:seq(1, N) returns a list of length N
when N 0, but not when N = 0.
I'm currently arguing that lists:seq(1, 0) should be [],
not an exception. Oddly enough, I'm
On 18 Sep 2008, at 3:20 am, Mauricio wrote:
Agree about the answer, not about the question. The
correct one would be is it possible to change haskell
syntax to support the international notation (not any
locally sensitive one) for decimal real numbers? Would
a change in 'read' be a good first
It may be of interest that although Erlang has been doing
lightweight concurrency for 20 years,
- you can choose whether you want to use an SMP version that
has as many schedulers as there are cores (plus internal
locking as needed) or a non-SMP version with one scheduler
(and no
On 15 Sep 2008, at 12:51 pm, Daniel Fischer wrote:
Am Montag, 15. September 2008 02:24 schrieb Cetin Sert:
Hi why do I get?
Buffering. For compiled programmes, stdin and stdout are line-
buffered by
default, so the output doesn't appear until the program finishes.
Either put
hSetBuffering
On 11 Sep 2008, at 3:54 am, Brandon S. Allbery KF8NH wrote:
I think that only counts as the origin of the idea; isn't :-prefixed
infix constructors a ghc-ism?
Haskell 98 report, page 10:
An operator symbol starting with a colon is a constructor.
(I seem to have four copies of the report on
I think the demonstration is in Hoare's book on co-operating
sequential processes, but if you have pure processes and
message passing, you can simulate conventional variables.
Here's an Erlang version:
variable_loop(State) -
receive
{ask,Sender} - Sender!{self(),State},
On 9 Sep 2008, at 8:15 am, Kyle Consalus wrote:
Anyway, for the time being I believe there are operations that can be
done with shared memory
that can't be done with message passing if we make good performance
a requirement.
One of our people here has been working on Distributed Shared
On 28 Aug 2008, at 9:07 pm, Jules Bean wrote:
Insert for Data.Sequence is log(i) where i is the position of the
insertion; clearly bounded by log(n). toList is O(n) and index is
(at worst) log(i).
I think the corresponding operations with tries are log(n),
Let the key you want to insert
Someone wrote:
trie: O(len)*O(width)
hashed trie: O(len)
hash: O(len)
If width here refers to the branching factor of the trie,
it's actually O(len.lg(width)), and the width that matters
is not the *possible* number of choices but the *actual*
number.
The great problem with hash tables is
On 28 Aug 2008, at 8:34 am, Aaron Tomb wrote:
What type safety buys you, in my mind, is that Nothing is only a
valid value for explicit Maybe types. In cases where you don't use
Maybe, the null situation just can't occur. In languages with null
pointers, any pointer could possibly be null.
On 26 Aug 2008, at 1:31 pm, Deborah Goldsmith wrote:
You can't determine Unicode character properties by analyzing the
names of the characters.
However, the OP *does* have a copy of the UnicodeData...txt file,
and you *can* determine the relevant Unicode character properties from
that.
On 26 Aug 2008, at 3:42 pm, Deborah Goldsmith wrote:
All characters with general category Lu have the property Uppercase,
but the converse is not true.
It depends on what the OP wants to do with the information.
For example, Unicode Standard Annex 31,
Speaking of GdH, the web page
http://www.macs.hw.ac.uk/~dsg/gdh/
was last updated in June 2007, it says,
but the binary snapshot (Linux only) is February 2002,
and the installing GdH part says it's built using
the GHC 5.00 sources.
Is GdH dead, or is there a more up to date version
lurking
Just an idiot-level question: so these constants are subject
to revision, but *how often*? What is the actual cost of
recompiling and using them *as* constants, compared with the
cost of rereading the stuff every time you run the program and
passing it around?
--
If stupidity were a crime,
On 15 Aug 2008, at 12:17 pm, Brandon S. Allbery KF8NH wrote:
Actually, while I'm not sure how Linux does it, on the *BSDs pipes
are actually socketpairs.
This raises the question, which the documentation did not make clear
to me,
whether a named pipe is a pipe. One would hope it was, but
On 14 Aug 2008, at 10:47 am, John Meacham wrote:
There isn't a standard unix sendfile, while a few different ones have
functions called 'sendfile', they have different meanings/prototypes
in
general.
For example, I'm typing this on an Intel Mac running Mac OS 10.5.4,
and 'man sendfile'
On 14 Aug 2008, at 6:28 pm, Ketil Malde wrote:
Isn't [sendfile()] superseeded by splice(2) nowadays?
Solaris 10:
f% man splice
No manual entry for splice
Mac OS X 10.5.4
m% man splice
No manual entry for splice
Linux 2.6.23...
o% man splice
..
one of the descriptors MUST refer
On 25 Jul 2008, at 10:55 am, Duncan Coutts wrote:
The problem of course is recursion and deeply nested call stacks which
don't make good use of register windows because they keep having to
interrupt to spill them to the save area.
A fair bit of thought was put into SPARC V9 to making saving
On 24 Jul 2008, at 3:52 am, Duncan Coutts wrote:
[Sun have donated a T5120 server + USD10k to develop
support for Haskell on the SPARC.]
This is wonderful news.
I have a 500MHz UltraSPARC II on my desktop running Solaris 2.10.
Some time ago I tried to install GHC 6.6.1 on it, but ended up
with
On Fri, 18 Jul 2008, stefan kersten wrote:
On 17.07.2008, at 21:46, Lennart Augustsson wrote:
If scaleFloat and exponent are implemented with bit twiddling
they can
be quite fast.
is there a way in ghc to 'cast' between float/int32 and double/
int64 (without going through memory)?
I
I think it may be time for a little clarity about aoicb's.
From the Single Unix Specification:
The aio.h header shall define the aiocb structure
which shall include AT LEAST the following members:
int aio_fildes File descriptor.
off_t aio_offset File
On 27 Jun 2008, at 3:11 am, Andrew Wagner wrote:
For what it's worth, a 3-dimensional kd tree really flew on this
problem.
I did some reading up on this, and it seems interesting. It would be
need to implement something like this in Haskell, but I can't seem to
find any detailed specs on
On 27 Jun 2008, at 11:36 am, Adam Langley wrote:
Specialised for 2d only, but:
http://www.imperialviolet.org/binary/NearestNeighbour2D.hs
In my C code for this, specialised to 3D,
- dimension numbers were never stored
- no arrays were used
- the search in x function called
the search
On 26 Jun 2008, at 8:14 am, Andrew Wagner wrote:
6.) You have a [(WeatherStationId, Latitude, Longitude)]. Similar to
#3, write a function which will, off-line, turn this into a data
structure from which you can easily determine the nearest Weather
Station, given an arbitrary Latitude and
On 23 Jun 2008, at 6:30 pm, leledumbo wrote:
I've successfully create a function to return lists of N-ple that
satisfy the
following function:
x1 + x2 + x3 + ... + xN = C
But unfortunately, it's not generic.
Why do you want it to be a tuple? All the elements are the same type,
so it
This is increasingly less relevant to Haskell, except
of course to demonstrate what a nice language Haskell is.
On 20 Jun 2008, at 11:34 pm, Jules Bean wrote:
I think where I differ on you is how to map the semantics of a C-
like language to explicit references.
I would argue that the glyph c
On 19 Jun 2008, at 5:53 pm, Jules Bean wrote:
Richard A. O'Keefe wrote:
- what you get is a reference to a variable (as you do in Scheme)
but loop variables really are variables, not names for values,
so lambdas created in different iterations of the same loop point
so the same loop
I believe C# already has lambdas, and Java is supposed to be getting
them. PHP is playing catchup, is all. (Oh, and Eiffel has 'agents',
and I think I saw something about C++ Next Degeneration, and ...)
Heck, the idea has only been around in computing since the 1950s...
On 18 Jun 2008, at 4:36 pm, Karoly Negyesi wrote:
(a) I would *never* want to use an implementation of closures like
that.
Could you elaborate on a) ?
It wasn't me who wrote it, but consider
- non-local variables are *not* captured unless you explicitly
hoist them into the lambda
On 19 Jun 2008, at 4:16 am, Anatoly Yakovenko wrote:
C doesn't work like that :). functions always get called.
Not true. A C compiler must produce the same *effect* as if
the function had been called, but if by some means the compiler
knows that the function has no effect, it is entitled to
On 17 Jun 2008, at 11:07 am, Evan Laforge wrote:
So, I know this has been discussed before, but:
1/0
Infinity
0/0
NaN
... so I see from the archives that Infinity is mandated by ieee754
even though my intuition says both should be NaN.
Other people have other intuitions. It may be
Since Haskell-Café often strays into mathematics,
this may not be too far off topic.
On 17 Jun 2008, at 2:29 pm, Evan Laforge wrote:
Yeah, on reflection, I think my intuition derives from me asking a
math teacher back in high school isn't n/0 infinity? after looking
at a graph, to which he said
On 28 May 2008, at 1:04 pm, Dan Piponi wrote:
In particular, which syllable gets the stress, and what are the
lengths of the two vowels? Couldn't find anything in the FAQ
(http://www.haskell.org/haskellwiki/Cabal/FAQ).
I've always pronounced it k'BAHL, but was surprised to find that
the OED
On 21 May 2008, at 9:25 am, Conal Elliott wrote:
I think the practice of constraint in type definitions is generally
discouraged,
Is this true? If so, why?
If I have a data type that simply doesn't make sense unless some of the
type variables belong to certain classes, _shouldn't_ that be
On 15 May 2008, at 8:33 pm, Yitzchak Gale wrote:
The point is that it is always best to keep language syntax
as simple as possible, for many reasons. In the case of Unicode,
that means staying as close as possible to the spirit of Unicode and
minimizing our own ad hoc rules.
In particular,
On 15 May 2008, at 7:19 am, Brandon S. Allbery KF8NH wrote:
Unfortunately, while I thought there was a distinct lambda sign that
wasn't the lowercase Greek letter, there isn't. (That said, I don't
see why it couldn't be a keyword. You'd need a space after it.)
There are three lambda
On 15 May 2008, at 2:34 pm, Brandon S. Allbery KF8NH wrote:
Hm. Newer Unicode standard than the version supported by OSX and
GNOME, I take it? That's not so helpful if nobody actually supports
the characters in question. (My Mac claims 166CC is in an
unassigned area, and no supplied
On 14 May 2008, at 8:58 am, Andrew Coppin wrote:
What I'm trying to say [and saying very badly] is that Haskell is an
almost terrifyingly subtle language.
Name me a useful programming language that isn't.
Simply interchanging two for-loops, from
for (i = 0; i N; i++) for (j = 0; j
On 9 May 2008, at 6:59 am, Donnie Jones wrote:
I pasted a copy of the article below for those that cannot access
the site.Why Ocaml Sucks
Published by Brian at 6:49 pm under Functional Languages: Ocaml,
Haskell
. An even better idea [for 'printf'] might be some variant of
functional
On 12 May 2008, at 1:52 am, Brandon S. Allbery KF8NH wrote:
My real point was that in the C programming culture it was/is far
too common to use an in-band value; that is, one that could be
confused with or treated as a valid response: null pointers,
stdio's EOF (= -1).
Here I must
1 - 100 of 125 matches
Mail list logo