On 2/02/2013, at 7:05 AM, Rustom Mody wrote:
> Instead lets make a map (functor?) from learning the programming language
> Haskell to learning the natural language English.
> So I dont know English (and yeah there are Godelian anomalies in that
> statement) and I gather that vocabulary is a key
On 1/02/2013, at 6:19 PM, Brandon Allbery wrote:
> Probably you could, but the effort needed might be significant. In
> particular fixing things like environ see
> https://bugs.ruby-lang.org/attachments/2591/ruby-changes.patch for the kind
> of change you'll need to make, although I have t
On 1/02/2013, at 3:32 PM, Kevin Quick wrote:
> Without details of git's trust/verification model, it's difficult to see how
> this particular SCM tool provides the trust capabilities being discussed any
> better than a more focused solution. Additionally, the use of git is also
> difficult fo
On 29/01/2013, at 10:59 PM, Junior White wrote:
> So this is a problem in lazy evaluation language, it will not appear in
> python or erlang, am i right?
Wrong. Let's take Erlang:
[f(X, Y) || X <- g(), Y <- h()]
Does the order of the generators matter here?
You _bet_ it does.
First o
On 19/12/2012, at 11:03 AM, Christopher Howard wrote:
> Since I received the two responses to my question, I've been trying to
> think deeply about this subject, and go back and understand the core
> ideas. I think the problem is that I really don't have a clear
> understanding of the basics of ca
On 18/12/2012, at 3:45 PM, Christopher Howard wrote:
> Recently I read this article I happened across, about the categorical
> design pattern:
>
> http://www.haskellforall.com/2012/08/the-category-design-pattern.html
It's basically the very old idea that an Abstract Data Type
should be a nice al
On 14/12/2012, at 7:45 AM, Christopher Howard wrote:
> Just thought I'd mention: It is possible for anyone involved in a FOSS
> project to get pro bono legal advice from the SFLC, from actual lawyers
> who are highly familiar with the legal aspects of FOSS licenses:
>
> https://www.softwarefreedo
On 13/12/2012, at 7:12 PM, Rustom Mody wrote:
> On Thu, Dec 13, 2012 at 1:29 AM, Brandon Allbery wrote:
> On Wed, Dec 12, 2012 at 12:51 PM, Andre Cunha
> wrote:
> Janek, did you mean something like Rubygems (http://rubygems.org)? It manages
> the download, installation and manipulation of Rub
On 10/12/2012, at 6:34 AM, Malcolm Wallace wrote:
>
> On 9 Dec 2012, at 16:31, Doug McIlroy wrote:
>
>> In fact the FP community came late to some of these, just as
>> programming languages at large came late to garbage collection.
>>
>> Lazy evaluation--at the heart of spreadsheets since the
On 24/11/2012, at 5:26 PM, wren ng thornton wrote:
> On 11/20/12 6:54 AM, c...@lavabit.com wrote:
>> Hello,
>>
>> I know nothing about compilers and interpreters. I checked several
>> books, but none of them explained why we have to translate a
>> high-level language into a small (core) language
On 23/11/2012, at 1:56 AM, Jacques Carette wrote:
> On 20/11/2012 6:08 PM, Richard O'Keefe wrote:
>> On 21/11/2012, at 4:49 AM, wrote:
>>
>>> Well, I don't know. Would it save some time? Why bother with a core
>>> language?
>> For a high leve
Let's put some numbers on this.
(1) In this country, you can buy a second-hand dual core desktop for NZD 200
(roughly USD 165, EUR 130). You can buy a new laptop for NZD 400
(roughly USD 330, EUR 260). Not fancy machines, but more than adequate
to compile and build stuff. Shipping a
On 21/11/2012, at 4:49 AM, wrote:
>> What would be the point in doing so?
>
> Well, I don't know. Would it save some time? Why bother with a core language?
For a high level language (and for this purpose, even Fortran 66 counts as
"high level") you really don't _want_ a direct translation from
On 20/11/2012, at 4:55 PM, Gregory Guthrie wrote:
> There is some interesting data in the article at:
>
> Code Length Measured in 14 Languages
>http://blog.wolfram.com/2012/11/14/code-length-measured-in-14-languages/
>
> basically comparing program lengths in various languages, and some e
On 15/11/2012, at 1:03 AM, Serge D. Mechveliani wrote:
> Please,
> how to correctly set an explicit type for a local value in the body of
> a polymorphic function?
Other people have told you how to do it.
I'd like to tell you why you don't need to.
>
> Example (tested under ghc-7.6.1):
>
>
I've been putting together a proposal for Unicode identifiers
in Erlang (it's EEP 40 if anyone wants to look it up). In
the course of this, it has turned out that there is a technical
problem for languages with case-significant identifiers.
Haskell 2010 report, chapter 2.
http://www.haskell.org/o
On 30/10/2012, at 5:56 PM, Alexander Solla wrote:
> For example, I generally prefer using the combinators directly when dealing
> with functors, applicatives, and monads. This can be written "wide", but it
> can also be written in the style of:
>
> > f' = f <$> (a >>= g)
> ><*> (b >>=
On 30/10/2012, at 3:28 AM, Alexander Solla wrote:
> On Mon, Oct 29, 2012 at 6:52 AM, Michael Orlitzky
> wrote:
> In any language, a line longer than 80 characters usually (but not
> always) suggests that you might want to stop and rethink your design. In
> many cases a refactoring or two will gr
The problems with forkProcess really are not Haskell's fault.
You will find warnings in the documentation for C's fork():
There are limits to what you can do in the child process.
To be totally safe you should restrict yourself to only
executing async-signal safe operations
On 26/09/2012, at 12:28 PM, Gwern Branwen wrote:
> On Tue, Sep 25, 2012 at 8:17 PM, Richard O'Keefe wrote:
>> Wrong. The original poster gave an explicit example
>> in which even elements were *retained* in the output,
>> they just weren't *counted*.
>
>
On 26/09/2012, at 5:56 AM, Gwern Branwen wrote:
> On Tue, Sep 25, 2012 at 1:42 PM, Rishabh Jain wrote:
>> f x 0 = []
>> f (x:xs) y | x `mod` 2 == 0 = x : (f xs y) | otherwise = x : (f xs (y-1))
>>
>>> f [0..] 4
>>> [0,1,2,3,4,5,6,7]
>
> Tsk, tsk. So ugly. How's this:
>
>> let f x = take x . f
> 2012/9/25 Ivan Lazar Miljenovic
> On 25 September 2012 16:51, Magicloud Magiclouds
> wrote:
> > Hi,
> > For example, I have an array [0..]. Now I want to take a sub list
> > that starts from index 0, and only contain 4 odds, and is minimum
> > result. The answer should be [0, 1, 2, 3, 4, 5, 6
On 19/09/2012, at 1:43 AM, Stefan Monnier wrote:
>> The problem with that is that some people DO end some headings with
>> a full stop; for them your special syntax is not natural.
>
> Markdown/ReST is already using the "no syntax" idea (e.g. compared to
> pre-wiki markup such a LaTeX or Texinfo
On 19/09/2012, at 12:04 AM, José Lopes wrote:
> Hello Richard,
>
> When you say "(for) some people (...) you special syntax is not natural"
> that's a good thing. I want these people involved in the project. I want
> to understand what they find natural in order to weigh the options and
> make a
On 18/09/2012, at 3:57 PM, José Lopes wrote:
> The problem with Fmark is also its greatest feature. While other markup
> languages
> introduce special syntactic characters to give meaning to the document's
> elements,
> I would like to take a different approach: I want to use characters that
>
On 18/09/2012, at 3:09 PM, José Lopes wrote:
> Fmark (Friendly Markup) is a very simple markup language without
> syntax and simple but sophisticated document styling, capable of
> producing PDF and XML files.
Do you _really_ mean "without syntax"?
Nope, thought not:
Fmark relies merely
On 15/09/2012, at 5:14 AM, Chris Heller wrote:
> You might want to have a look at the time-recurrence package:
> http://hackage.haskell.org/package/time-recurrence
>
> For your simple cases you would do something like:
>
> Each second:
>
> starting (UTCTime ...) $ recur secondly
>
> Each
Consider the following interface
type Ord k => Sliding_Window k v
entries :: Sliding_Window k v -> [(k,v)]
The cost is expected to be linear in the length of
the result. The pairs are listed in increasing
order of k.
add :: Ord k => k
On 30/08/2012, at 5:26 PM, Bryan O'Sullivan wrote:
> The reasons for these problems fall into three bins:
> • Prelude no longer exports catch, so a lot of "import Prelude hiding
> (catch)" had to change.
This could have been avoided if
import hiding ()
were interpreted simply as
On 13/08/2012, at 11:26 PM, Alexander Kjeldaas wrote:
>
> This isn't that hard - a pipe shouldn't be needed anymore. Just require a
> post-2003 glibc.
>
> fexecve is a system call in most BSDs. It is also implemented in glibc using
> a /proc hack.
fexecve is now in the Single Unix Specific
On 9/08/2012, at 11:11 AM, wren ng thornton wrote:
>
> Notably, a type class instantiated with all its arguments is not itself a
> type!
All the comparisons of Haskell typeclasses with Java classes answered
in one brief lucid sentence.
___
Haskell-
On 2/08/2012, at 5:34 PM, Jonathan Geddes wrote:
> Ouch! And that's not even very deeply nested.
> Imagine 4 or 5 levels deep. It really makes
> Haskell feel clunky next to `a.b.c.d = val`
> that you see in other languages.
I was taught that this kind of thing violates the Law of Demeter
and that
On 29/07/2012, at 6:21 PM, C K Kashyap wrote:
> I am struggling with an idea though - How can I capture the parent element of
> each element as I parse? Is it possible or would I have to do a second pass
> to do the fixup?
Why do you *want* the parent element of each element?
One of the insanel
On 25/07/2012, at 1:47 AM, S D Swierstra wrote:
> You can find a CFG at: http://www.cs.vu.nl/~x/grammars/vs-cobol-ii/index.html
Thank you.
I see it's closer to COBOL-85 than I realised.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://w
Does anyone have a parser for COBOL-85 written in Haskell,
or written using some freely available tool that communicates
easily with Haskell?
I don't need it _yet_, but I'm talking with someone who is
trying to get access to a real legacy site with a bunch of,
well, basically COBOL 85, but there a
On 18/07/2012, at 12:37 PM, Brandon Allbery wrote:
> On Tue, Jul 17, 2012 at 8:33 PM, Alvaro Gutierrez wrote:
> Pardon me if this has been answered before: how come there's a
> stripPrefix in Data.List, but no matching stripSuffix?
>
> Probably because prefixes are easier to do, given the natur
On 27/06/2012, at 3:18 PM, John Lato wrote:
> On Wed, Jun 27, 2012 at 9:15 AM, Richard O'Keefe wrote:
>>
>> On 27/06/2012, at 12:51 PM, John Lato wrote:
>>>
>>> data Tree a = Leaf a | Branch (Tree a) ( Tree a)
>>> deriving (Foldable, Show)
On 27/06/2012, at 12:51 PM, John Lato wrote:
>
> data Tree a = Leaf a | Branch (Tree a) ( Tree a)
> deriving (Foldable, Show)
While I am familiar with deriving (Show),
I am not familiar with deriving (Foldable),
which looks rather useful.
http://www.haskell.org/ghc/docs/7.4.2/html/users_guide/
On 21/06/2012, at 9:11 PM, Rouan van Dalen wrote:
> I was hoping to have some functions like:
>
> safeSucc :: (Enum a) => a -> Maybe a
>
Types that are instances of Enum don't necessarily have bounds.
It always struck me as odd that Enum doesn't extend Ord.
There's a reason given for not havi
As far as I'm aware:
- property-based testing wasn't new (think 'assertions' and then
think 'branch coverage')
- randomly generated test cases weren't new (look up 'fuzz testing')
and there were tools like DGL to generate random test cases in a
controlled sort of way
+ the *type-driven*
It's difficult to imagine any kind of program that doesn't need
testing; surely there is a role for Haskell in writing test data
generators?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 30/05/2012, at 10:16 AM, Eric Rasmussen wrote:
> One idea (contrived and silly though it is) is modeling a Courier that
> delivers message to Persons. There is a standard default reply for all
> Persons, some individuals have their own default reply, and there are
> conditional replies based
On 26/05/2012, at 4:16 AM, David Turner wrote:
>
> I don't. I think the trouble is that classes don't add value in exercises of
> this size.
This was the key point, I think.
In this example, there wasn't any significant behaviour that could be moved
to superclasses. For that matter, whether a
On 24/05/2012, at 4:39 AM, Isaac Gouy wrote:
>> From: Richard O'Keefe
>> Sent: Tuesday, May 22, 2012 7:59 PM
>
>> But string processing and text I/O using the java.io.* classes aren't
>> brilliant.
>
> Wait just a moment - Are you comparing te
On 21/05/2012, at 5:33 AM, Andreas Pauley wrote:
> With this in mind I've created a programming exercise where I imagine
> an OO programmer would use an object hierarchy with subtype
> polymorphism as part of the solution.
Being unfamiliar with git, I've submitted an AWK answer by e-mail.
I've u
On 23/05/2012, at 4:54 AM, Isaac Gouy wrote:
>> There may be very little one can do about the I/O part.
>
> Maybe you could say how the Java I/O is being done.
>> For 50,000 nodes and 8,385,254 edges,
>> Java (first version) ran out of memory after 89.54 seconds (default heap)
>> Jav
On 22/05/2012, at 4:15 AM, Isaac Gouy wrote:
>> Actually, I/O bound is *good*.
>
> Why would that be good or bad?
The context here is a UNIX-style topological sorting program.
Being I/O bound means that the program is limited by how fast
it can read the data. If 90% of the time goes into readin
> How much is hard to port a haskell program to C ?
> If it will become harder and harder, (i.e. for parallelizations) than
> it's fair to choose haskell for performance, but if it's not, I think
> it's hard to think that such a high level language could ever compile
> down to something running fa
On 19/05/2012, at 5:51 AM, Isaac Gouy wrote:
>> In the 'tsort' case, it turns out that the Java and Smalltalk
>> versions are I/O bound with over 90% of the time spent just
>> reading the data.
>
> My guess is that they could be written to do better than that - but it's
> idiotic of me to say s
On 17/05/2012, at 10:07 PM, Roman Werpachowski wrote:
>> No slide deck required. The task is "generating alternating permutations".
>>
>> Method 1: generate permutations using a backtracking search;
>> when a permutation is generated, check if it is alternating.
>>
>> Method 2: use the
On 17/05/2012, at 2:04 PM, Gregg Lebovitz wrote:
> Richard,
>
> Thank you. This is an example of what I had in mind when I talked about
> changing the playing field. Do you have a slide deck for this lecture that
> you would be willing to share with me? I am very interested in learning more.
In a lecture today I presented (for quite other reasons) a simple combinatorial
enumeration problem where the difference between two algorithms was far larger
than any plausible difference between programming languages. If a programming
language makes it easier to explore high level alternative
On 7/05/2012, at 10:17 AM, Richard O'Keefe wrote:
> The 'jumpout' function in Pop2 was basically an early adoption
> of the idea of continuations via Landin's "J-functions"; it was
> used as an exception handling mechanism and that was in the
> early 70s
On 6/05/2012, at 8:09 AM, Albert Y. C. Lai wrote:
> Exceptions appeared as early as in ML and Ada in the 1980s,
Oh they go back long before that. PL/I had them in the 1960s
(manual 1965, compiler 1966) and Burroughs Extended Algol for
the B6700 had them in the 1970s (maybe already in 1969 when
t
On 3/05/2012, at 5:18 AM, Brent Yorgey wrote:
> I am curious how the title was translated. Of course, the English
> title "Learn You a Haskell for Great Good" uses intentionally
> ungrammatical/unidiomatic English for humorous effect. Is the
> Japanese title also ungrammatical/unidiomatic Japan
On 25/04/2012, at 9:51 AM, Alvaro Gutierrez wrote:
> For that reason, most standard (fixed size/binary) numeric types like double
> are a poor choice to contain numeric values specified in JSON; in particular,
> the mismatch means that conversion can be lossy in both directions.
Note that the c
Signed multisets are unfamiliar to most of us, and I for one
found the paper a little fast-paced. Can you put a bit more
into the documentation? Just for starters, I found it
confusing when the documentation talks about "an element with
multiplicity zero", because in the _paper_ a value that has
On 11/04/2012, at 4:23 PM, Arnaud Bailly wrote:
> You are right, of course. By "sensible properties" I simply meant the
> list of (Path, Value) is assumed to represent a tree (eg. it has been
> generated by a traversal of some original tree). By "ordered" I meant
> Path(s) segments are lexicograp
On 10/04/2012, at 7:55 PM, Arnaud Bailly wrote:
> I am manipulating labeled multiway trees, some kind of "lightweight"
> XML notation. One thing I would like to be able to do is manipulating
> a tree as a list of (Path, Value). Generating such a list is easy but
> I am a little bit surprised to fi
On 29/03/2012, at 3:08 PM, Doug McIlroy wrote:
> - without newtype
>
> toSeries f = f : repeat 0 -- coerce scalar to series
>
> instance Num a => Num [a] where
> (f:fs) + (g:gs) = f+g : fs+gs
> (f:fs') * gs@(g:gs') = f*g : fs'*gs + (toSeries f)*gs'
>
> - with newtype
>
>
On 27/03/2012, at 5:18 AM, Jerzy Karczmarczuk wrote:
> But I don't care about using (+) = zipWith (+) "anywhere", outside of a
> programming model / framework, where you keep the sanity of your data. In my
> programs I KNEW that the length of the list is either fixed, or of some
> minimal size
On 26/03/2012, at 8:35 PM, Ketil Malde wrote:
> Just to clarify (since I think the original suggestion was mine), I
> don't want to copy R's data frame (which I never quite understood,
> anyway)
A data.frame is
- a record of vectors all the same length
- which can be sliced and diced like a 2d
On 26/03/2012, at 12:51 PM, Chris Smith wrote:
> More concretely, it's not hard to see that the additive identity is
> [0,0,0...], the infinite list of zeros. But if you have a finite list x,
> then x - x is NOT equal to that additive identity!
Said another way: if you do want [num] to suppor
On 26/03/2012, at 1:01 AM, TP wrote:
> Hello,
>
> My primary problem may be reduced to adding elements of two lists:
> [1,2,3] + [4,5,6] = [5,7,9]
zipWith (+) [1,2,3] [4,5,6]
gets the job done.
>
> However, it seems it is not possible to do that:
>
> ---
> instance Num [Int] w
On 21/03/2012, at 9:06 AM, Albert Y. C. Lai wrote:
> On 12-03-19 10:05 PM, Richard O'Keefe wrote:
>> http://www.haskell.org/onlinereport/haskell2010/haskellch9.html#x16-1710009
>
> Haskell 2010 is already beginning to be out of date.
Was there any point in me pointing
On 21/03/2012, at 2:14 AM, Jerzy Karczmarczuk wrote:
>>
> The existence of standards is not an answer concerning their "goodness".
Whoever said it was? Not me!
But the existence of implementations that conform to standards
*IS* an answer concerning 'will this WORK?'
I do appreciate that the la
On 20/03/2012, at 2:27 PM, Jerzy Karczmarczuk wrote:
> Richard O'Keefe:
>> class (Eq a, Show a) => Num a
>> where (+) (-) (*) negate abs signum fromInteger
>>
>> where functions are for good reason not members of Eq or Show.
>>
> This is a
On 20/03/2012, at 2:21 PM, Chris Smith wrote:
> On Mon, Mar 19, 2012 at 7:16 PM, Richard O'Keefe wrote:
>> One problem with hooking functions into the Haskell numeric
>> classes is right at the beginning:
>>
>>class (Eq a, Show a) => Num a
>
> T
On scoping the project: be clear about the actual goal.
If you want to take existing Haskell libraries and use them
in OCaml, then you pretty much have to deal with the full
language. You should start by using as much as you can of
an existing compiler, or by getting an unmodified compiler
to conv
One problem with hooking functions into the Haskell numeric
classes is right at the beginning:
class (Eq a, Show a) => Num a
where (+) (-) (*) negate abs signum fromInteger
where functions are for good reason not members of Eq or Show.
Look at
http://www.haskell.org/haskellwiki/Numeric
On 19/03/2012, at 8:01 AM, Damien Desfontaines wrote:
> The project I suggest is mainly inspired by Ticket #1555 [1] : I think that
> would be a great idea to make it possible to call some Haskell code into
> OCamL.
> In particular, this would contribute to the spreading of Haskell in countries
>
Gloss having been mentioned, I thought I'd look into it.
m% cabal install gloss
Resolving dependencies...
cabal: cannot configure gloss-1.6.1.1. It requires base ==4.5.*
For the dependency on base ==4.5.* there are these packages: base-4.5.0.0.
However none of them are available.
base-4.5.0.0 was
On 20/02/2012, at 5:53 PM, Brandon Allbery wrote:
> On Sun, Feb 19, 2012 at 23:27, Richard O'Keefe wrote:
> Now *that's* annoying. It turns out that the xattr command is *there*,
> but 'man xattr' is completely silent. There is nothing for it in
> /usr/share
On 20/02/2012, at 3:04 PM, Jack Henahan wrote:
>
> What's your setup like that you can't even use gdb in your own directory?
> That sounds unusual. And you can turn off the warning, either globally or
> selectively.[3][4]
My setup is Mac OS X 10.6.8, pretty much out of the box, plus a bunch of
On 20/02/2012, at 1:01 PM, Tom Murphy wrote:
> Does anyone know what this will mean for the future of Haskell
> development in OS X?:
>
> http://www.apple.com/macosx/mountain-lion/security.html
Quoting that document:
Or you can install all apps from anywhere,
just as you can tod
On 9/02/2012, at 1:26 PM, Evan Laforge wrote:
>> How about § then? Surely at this late date we can allow ourselves *one*
>> non-ASCII character?
>> The very name of it (*section* sign) suggests taking a part; and if you are
>> totally in love
>> with dot, think of it as a dot with ponytails.
>
On 9/02/2012, at 3:16 AM, Steve Horne wrote:
> On 07/02/2012 22:56, Richard O'Keefe wrote:
>> On 8/02/2012, at 2:11 AM, Steve Horne wrote:
>>
>>
>>> To be fair, "field OF record" isn't bad in that sense. However, it would
>>> defeat
On 8/02/2012, at 2:11 AM, Steve Horne wrote:
> On 06/02/2012 23:58, Richard O'Keefe wrote:
>> On 4/02/2012, at 12:13 AM, Gábor Lehel wrote:
>>> All of this said, record.field is still the most readable, intuitive,
>>> and familiar syntax for selecting a field
On 7/02/2012, at 1:41 PM, AntC wrote:
> Richard, now you're just being playful.
"Half fun and full earnest."
I *do* regard 'field OF record' as far more readable, intuitive, &c
than 'record.field'. With the number of meanings '.' already has in
Haskell, I *do* regard any attempt to overload it
On 4/02/2012, at 12:13 AM, Gábor Lehel wrote:
>
> All of this said, record.field is still the most readable, intuitive,
> and familiar syntax for selecting a field from a record that I know
> of.
Having learned COBOL and Algol 68 before Haskell was dreamed of,
I regard
field OF record
eld names are also just
>> ordinary functions (for selection purposes). So the
>>> semantics for field 'selection' (whether or not you use
>>> dot notation) is just function application. So
>> Type-Directed Name resolution is just instance resolution.
>&g
On 1/02/2012, at 11:38 AM, AntC wrote:
> As soon as you decide to make 'virtual record selectors' just ordinary
> functions (so they select but not update), then you can see that field names
> are also just ordinary functions (for selection purposes). So the semantics
> for field 'selection' (w
On 31/01/2012, at 5:47 AM, Doug McIlroy wrote:
>> Is there any document describing why there is no ghc --strict flag
>> making all code strict by default?
>> Wouldn't such a '--strict' flag turn Haskell/GHC into a better C/gcc
>> compiler?
>
> I agree that a strict flag would turn Haskell into C
On 21/12/2011, at 4:34 AM, Patrick Browne wrote:
> I have simplified the code using constructors and export.
> I can evalute the qualified expressions but I do not get the expected results.
>
> module MONKONMOVE (module MONKONMOVE)where
When I see "MONKONMOVE" I think "what's a MONKON?"
Even
On 19/12/2011, at 5:46 PM, Gregory Crosswhite wrote:
[improved Monoid documentation]
I would go so far as to point out that "mappend is a generalisation of
Data.List.sum, Data.List.product, Data.List.and, and Data.List.or,
where the initial value and combining rule are implied by the type.
>
>
On 19/12/2011, at 3:44 PM, Gregory Crosswhite wrote:
> So what do you all think about my own suggestion for the documentation?
It is an improvement.
Documentation for a library module needs to start by telling people what
it is for. For a particular function, someone needs to know very quickly
On 17/12/2011, at 3:35 PM, Matthew Farkas-Dyck wrote:
> On 15/12/2011, Gregory Crosswhite wrote:
>> 1) Documentation really needs to be improved
>> 2) some/many cannot be physically separated from Alternative, but there
>> *might* be an advantage to creating a subclass for them anyway purely for
On 16/12/2011, at 11:55 AM, Brandon Allbery wrote:
>
> Note that "exec -a" is a bash-ism and not portable to POSIX shells
Recent versions of ksh also support this, so it's not just bash.
But there are certainly a lot of POSIX shells that don't, including
the version of ksh on my main machine.
Suppose you have a typeclass C with operations x y z w
and you decide that there's a real difference, that more
things can support x y than can support z w.
If you then split
C' x y
C z w
then all existing *uses* of C are happy.
But all the existing *instances* of C have to be s
Perhaps the most urgent change would simply be better documentation
for what 'some' and 'many' are all about. Some examples would be nice.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 4/12/2011, at 7:32 PM, wren ng thornton wrote:
> Part of the problem is that, as Alexey says, the first element of argv is
> just whatever is passed to exec, which is not guaranteed to be a complete
> path, a canonical path, or any other specific thing we'd desire. It's not at
> all straight
I just did
cabal install cabal-install
on a Mac running Mac OS 10.6.8 and got the eventual response
[44 of 44] Compiling Main ( Main.hs,
dist/build/cabal/cabal-tmp/Main.o )
Linking dist/build/cabal/cabal ...
ld: warning: could not create compact unwind for .LFB3: non-standard r
I'd like to write a small module using Data.TypeLevel.Num.
It has type level constants, variables, addition, and maximum, which is pretty
much
all I need. But I've never used it before, and there's one thing I want to do
that
I don't understand how to do.
val :: Nat t => t -> Int
On 28/11/2011, at 6:10 PM, Ivan Lazar Miljenovic wrote:
>> "You must be logged in to submit an answer."
>>
>> I don't know how many opinions you'll lose from that, but you'll
>> certainly lose mine.
>
> Well, I thought that was part of the point: some way of having
> "verified" votes (i.e. you d
On 25/11/2011, at 11:01 PM, Michael Snoyman wrote:
> Hi all,
>
> I've just added the polls feature to Haskellers.com, and created an
> initial poll about mascots[1]. Let me know if there are any issues.
"You must be logged in to submit an answer."
I don't know how many opinions you'll lose fro
On 23/11/2011, at 4:40 AM, Karol Samborski wrote:
> And what about a cat? The cat is associated with elegance and a kind of magic.
> Please take a look: http://origami.bieszczady.pl/images/kot.png
I could never in my whole life draw as well as that.
But they are *skittles*, just like Lamb Da.
Cu
On 21/11/2011, at 9:22 PM, Karol Samborski wrote:
> Hi all,
>
> This is my sister's proposition:
> http://origami.bieszczady.pl/images/The_Lamb_Da.png
>
> What do you think?
It looks like a skittle with a baby bonnet.
C'est mignon, mais ce n'est pas la guerre
as Pierre Bosquet almost said.
_
On 2/10/2011, at 3:27 AM, José Romildo Malaquias wrote:
> Hello.
>
> When studing programming languages I have learned that parameter is a
> variable (name) that appears in a function definition and denotes the
> value to which the function is applied when the function is called.
Who told you t
On 3/10/2011, at 7:15 AM, Du Xi wrote:
>
> I guess this is what I want, thank you all. Although I still wonder why
> something so simple in C++ is actually more verbose and requires less known
> features in Haskell...What was the design intent to disallow simple
> overloading?
It's not "SIMPL
On 27/09/2011, at 4:55 PM, Chris Smith wrote:
> So there are two perspectives here. One is that we should think in
> terms of exact values of the type Float, which means we'd want to
> exclude it, because it's larger than the top end of the range. The
> other is that we should think of approxima
1 - 100 of 437 matches
Mail list logo