2010/4/6 Jonas Almström Duregård jonas.dureg...@gmail.com:
Maybe users could choose between using a real name and being given a
random one (like AnonymousN). This will (1) protect from data
mining, (2) protect from government persecution and (3) keep the
damned 1337 Haxxor names away from
On 6 April 2010 05:01, Luke Palmer lrpal...@gmail.com wrote:
When you say convincing, you are talking about yourself being
convinced, right? So this paragraph means The arguments against my
position haven't convinced me, but the arguments for my position
have.
Had I been told a convincing
On 6 April 2010 05:32, Ivan Miljenovic ivan.miljeno...@gmail.com wrote:
5) No-one is convincing anyone else to their point of view, so we have
a stale mate.
Let me summarise the main arguments against the restriction:
1. It stops people from contributing to hackage. (It is immaterial
that if
.On 5 April 2010 03:57, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
I can understand wishing to be anonymous in these kinds of situations,
but in terms of submitting open source software? Unless their employer
is worried about them releasing proprietary software on Hackage, I don't
On 5 April 2010 12:52, Ross Paterson r...@soi.city.ac.uk wrote:
Basically http://meatballwiki.org/wiki/RealNameUserAdvantages, especially
simplicity, trust and recognizability.
Allow me to respond to some of these points. I find none of them
particularly convincing, especially not when compared
On 5 April 2010 23:52, Jason Dusek jason.du...@gmail.com wrote:
There certainly is a significant subculture of anonymity on
the internet but maybe it has spread beyond its useful limits?
There are places where it is helpful (Allberry's examples
above come to mind) but I don't think
Hi,
An issue came up on #haskell recently with Hackage accounts requiring
real names. The person in question (who didn't send this email as he's
wishing to remain anonymous) applied for a Hackage account and was
turned down, as he refused to offer his real name for the username.
Those of us in
2008/8/31 Ryan Ingram [EMAIL PROTECTED]:
My proposal is to allow ad-hoc overloading of names; if a name is
ambiguous in a scope, attempt to type-check the expression against
each name. It is only an error if type-checking against all names
fails. If type-checking succeeds for more than one
2008/8/29 Maurício [EMAIL PROTECTED]:
x :: Prelude.Monad a
y :: Prelude.Monad b
foo :: b - Prelude.Monad c
Monad is not a type, it is a type class, so you probably mean:
x :: Monad m = m a
y :: Monad m = m b
foo :: Monad m = b - m c
With the further understanding that all three `m's must be
2008/8/29 Philip Weaver [EMAIL PROTECTED]:
It sounds like you tried to redefine () and (=) and make 'do' use the
new definitions. This is not possible, regardless of what types you give
() and (=).
Watch out for rebindable syntax:
2008/8/28 Maurício [EMAIL PROTECTED]:
After the explanations, I think I got it, and just
updated the wiki.
Glad you've understood it. Seems I arrived a little late at this
thread, but there is also:
http://en.wikibooks.org/wiki/Haskell/Laziness#Lazy_pattern_matching
In addition, the first
2008/8/25 Ketil Malde [EMAIL PROTECTED]:
1. Etch comes with ghc-6.6, and that didn't work with my .cabal file.
Is it not an option to make your software work with the
not-quite-latest compiler? 6.8 is less than a year old, so I imagine
6.6 is still in quite a few major distro's stable
2008/8/17 Eric Y. Kow [EMAIL PROTECTED]:
Correction! We have a tentative offer for space near *Cambridge*
(thanks to Ganesh) and to Ian for picking up on the blunder.
Where exactly?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
go back. So if one of your patterns matches and a guard on that
pattern is true, that right-hand side will be evaluated and there is no way to
fall back to another guard or pattern.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Peter Padawitz writes:
Is f(~p(x))=e(x) semantically equivalent to: f(z)=e(x) where p(x)=z?
Yep.
See also http://en.wikibooks.org/wiki/Haskell/Laziness#Lazy_pattern_matching
regarding lazy patterns.
--
-David House, [EMAIL PROTECTED]
___
Haskell
with GHC. They use the same code to compile
it.
On the other hand, you could always just set up a Makefile (which is pretty
trivial) and use M-x compile (which you should bind to a key if you use it a
lot).
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe
won't be until associated types get fully implemented
in GHC, a new version of GHC gets released and people start to use them.
[1]:
http://hackage.haskell.org/trac/haskell-prime/wiki/MultiParamTypeClassesDilemma
--
-David House, [EMAIL PROTECTED
sequence type supporting a fast variety of operations
quicker than lists
Data.Graph -- graph type
Data.Set -- unordered collection
Data.Tree -- rose tree type
And those are just the ones distributed with GHC.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe
/Graph_theory
Data.Tree -- rose tree type
What's a rose tree? (I only know about binary trees. Well, and N-ary
trees... but nobody uses those.)
Well, it is said that a rose tree by any other name would be just as N-ary. (I
think they're the same concept :)).
--
-David House
of any Haskell program should include a lot of time thinking
about your data structures, type classes, and how they all interact. If anything
this plays a larger role than in OOP.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell
-rotted, or if there never has been
Windows support. It's a corner function, used by few and therefore not that
polished. By all means, try it out, and if it doesn't work, feel free to submit
patches, but I doubt it'll get changed any time soon by a haskell-mode developer
:)
--
-David House
Marc Weber writes:
Eclipse does have this which saves you a lot of time:
Fix imports.
Could you describe the semantics of that more precisely?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
to, but its power makes it worth it. Give it a
fair try over a weekend or so, count the experience as gaining a life skill.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
was looking for a good Haskell IDE. I
really didn't want to try Emacs because I was under the impression that it would
be arcane and impossible to learn. But it's the most powerful editor around
today, and let me tell you, if you can learn Haskell, you can certainly learn
Emacs :)
--
-David House
this
property using this trick.
2) Not use polymorphic references, as they lead to type unsafety [1].
3) Always use the {-# NOINLINE #-} pragma on any IORefs you create this way.
[1]:
http://haskell.org/ghc/docs/latest/html/libraries/base/System-IO-Unsafe.html#v%3AunsafePerformIO
--
-David House, [EMAIL
.
Would you rather have a different editor for every language, and be forced to
learn new editor paradigms, keyboard shortcuts, tools and so on, or have one
editor for every language? This is one of Emacs's greatest strengths, IMO: it
can handle _everything_.
--
-David House, [EMAIL PROTECTED
this in a different language.
I've thought a little about writing a Haskell → Elisp compiler, so that people
could contribute to Emacs by writing Haskell, but I've got doubts about its
feasibility.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing
at.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
]: Use C-h t (hold Ctrl, press h, then let go of both and press t) inside
Emacs
[2]: http://www.gnu.org/software/emacs/tour/
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
it.)
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Paul Johnson writes:
This is a feature, not a bug. Haskell in general does not let you give
two functions the same name (which is what you want to do).
Record namespacing would still be nice to have, so perhaps call it a
limitation rather than a bug, but it's not really a feature.
-David
in a visualizer/pretty printer for a function in a separate
dedicated window, like what http://www.apple.com/shake does on each node)
Debugging in Haskell is a bit of a no-show for now. There's some support in the
latest versions of GHCi, but I don't think it's very mature.
-David House, [EMAIL
Right.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
} ≤ {1,
2} is false, too.
http://en.wikipedia.org/wiki/Partial_order contains a formal
definition and a few more examples.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
Char
item = P $ \inp - case inp of
[] - []
(x:xs) - [(x, xs)]
parse :: Parser a - String - [(a, String)]
parse (P p) inp = p inp
You should find with those definitions that you can write p as you would expect.
--
-David House, [EMAIL PROTECTED
, for whatever reason. Using print ((2 :: Endo Integer) 3)
works, but that's hardly satisfactory.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
, and
returns a list of digits and an exponent.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
, then disregard my solution. I did wonder why you'd
immediately jump to Data.Bits.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
it becomes the right hand side, C thunk. Only when you
force that thunk would you have to force the undefined argument, so
foo undefined = C undefined:
*Main foo undefined
C *** Exception: Prelude.undefined
--
-David House, [EMAIL PROTECTED]
___
Haskell
On 29/05/07, Daniel McAllansmith [EMAIL PROTECTED] wrote:
Just in case there was some sort of miscommunication, the actual answer to
your question is (/=) :: a - a - Bool, as Neil said.
Almost, (/=) :: Eq a = a - a.
(Just for completeness.)
--
-David House, [EMAIL PROTECTED
On 29/05/07, Antti-Juhani Kaijanaho [EMAIL PROTECTED] wrote:
Well, not quite :) You forgot - Bool at the end :)
Ha! Sorry, what a lovely ironic typo. :)
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
and Programming Languages, Benjamin C. Pierce.)
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
of code allows you to add a new forum, thread or
post. Without a splattering of type-system extensions (I used at least
MPTCs, FDs and existentials), this isn't going to be possible.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell
On 28/05/07, Rodrigo Queiro [EMAIL PROTECTED] wrote:
After a little too long trying, I managed to get code from which the type
system will infer that type, without using 'undefined':
Yes, but you do it by writing a coerce :: a - b, which is surely cheating.
--
-David House, [EMAIL PROTECTED
functional dependencies or associated types or
something similar -- and perhaps GADTs are really the only large type
system extensions likely to make it into Haskell-prime. They're really
more part of the Haskell language than extensions now, so well-used
are they.
--
-David House, [EMAIL PROTECTED
http://www.emacswiki.org/cgi-bin/wiki/DaRcs for a few
links.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
describe that as just used by Haskellers.
It's also interesting to note that there's a fairly large percentage
of Ruby users using darcs. Perhaps we out to push more on this front?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe
ignoring the difference between truth and provability; think of
my arguments as classical rather than intuitionistic.)
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
be usable at run time...) I imagine newIORef
as mallocing() some room, then returning a pointer to that memory.
That doesn't seem like something that could be done at compile time.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe
a for some monad m, don't they?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 23/05/07, David House [EMAIL PROTECTED] wrote:
Why should it compile? Expressions in a do-block have to have the type
m a for some monad m, don't they?
Further developments on #haskell:
SamB_XP dmhouse: where in the report does it say that do blocks constrain
types inherently?
dmhouse
defined, it's type and so on, but not Haddock
documentation. I'm extending haskell-mode's inf-haskell.el to take
this into account.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman
in. Here y
is out of scope once you leave the inner do-block. The solution is to
do something like the following:
do
let y = if x 0 then 5 else 8
print y
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
On 19/05/07, Andrew Coppin [EMAIL PROTECTED] wrote:
How about this?
do
y - if x 0
then do ...
else do ...
As with many other things in Haskell, the rule is Give it a go and
see if it works! You should find that the above code runs fine.
--
-David House, [EMAIL PROTECTED
, then, expresses the idea that a function appears at
the top of its call stack, or at the top of the tree of its right-hand
side. It's got nothing to do with evaluation order.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe
Or to bypass layout altogether:
let { b = sum $ do
y - [0..x + 1]
return y }
(Of course, in this specific case I'd write sum [0..x + 1], but I
guess that this is an example of a general case.)
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
On 16/05/07, Sergey Perminov [EMAIL PROTECTED] wrote:
How to solve task of reversing big list with constant heap space used?
I think that as lists are singly-linked in Haskell, reversing a list
will always be O(n) space.
--
-David House, [EMAIL PROTECTED
/haskell-mode
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 10/05/07, Dan Weston [EMAIL PROTECTED] wrote:
I've been pronouncing monad like gonad (moh-nad), but it occurs to me
that it might be pronounced like monoid (mah-nad).
You say monoid mah-nad? I've always said mon-oyd, to rhyme with void or annoyed.
--
-David House, [EMAIL PROTECTED
the rank-2 polymorphic function g (4 ::
Int) (1 :+ 2) as a parameter to (=), which doesn't work.
General point: couldn't GHC's error reporting be improved at times like these?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe
is bound by a lambda abstraction, and is therefore
monomorphic. I can't find anything in the Report about that, but that
is how it works. It might be how a H-M type system works in general,
I'm not sure.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe
On 06/05/07, Duncan Coutts [EMAIL PROTECTED] wrote:
Try the latest darcs version of c2hs, it has a new C parser which should
fix issues like this. We should have a new tarball release soon.
Works great. Thanks very much.
--
-David House, [EMAIL PROTECTED
the lack of a _|_
will bite you sooner or later.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Haskell programmer, why not
spend an hour or so improving one of the advanced sections? If there's
something you want to write about but that isn't a current chapter,
just start it anyway and we'll include it in.
[1]: http://en.wikibooks.org/wiki/Haskell
[2]: [EMAIL PROTECTED]
--
-David House
what it's called in Gmail,
you just have to remember to click that instead of the vanilla
'Reply'.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
stuff out in GHCi...
Any reason you can't use :module Blah in GHCi?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 05/05/07, Andrew Coppin [EMAIL PROTECTED] wrote:
I just had a thought... Why doesn't somebody implement a spreadsheet where
Haskell is the formula language? 8-)
http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html
may interest.
--
-David House, [EMAIL PROTECTED
preprocessing: Network.GnuTLS.GnuTLS
c2hs version:
I've attached the file it references in case that's relevant. Any tips
on how I might address this?
Thanks in advance,
-David House, [EMAIL PROTECTED]
/* Copyright (C) 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
This file is part
On 2 May 2007 16:16:57 -, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
* It would be nice if this worked inside the do-notation, too:
do x :: Ordering
x - m
(This is curently a syntax error.)
I think the following works with -fglasgow-exts:
do (x :: Ordering) - m
--
-David House
this:
instance Functor MyMaybe where
fmap f (MM a) = MM (fmap f a)
The instance just unwraps and rewraps the newtype constructor.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org
be fixed, no matter how well the
workaround is documented.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
-definition: jumps to the definition of
the function, class or datatype etc. under point.
See the Haskell wiki page [1] for more information.
[1]:
http://haskell.org/haskellwiki/Haskell_mode_for_Emacs#inf-haskell.el:_the_best_thing_since_the_breadknife
--
-David House, [EMAIL PROTECTED
On 29/04/07, David House [EMAIL PROTECTED] wrote:
It's worth pointing out that Emacs's haskell-mode already has this.
For anyone that uses the major mode but hasn't heard of the
inf-haskell features:
I did forget to mention that this won't help with your 'offside'
functions, though.
--
-David
] and hpaste.el
[6].
Enjoy!
[1]: http://www.haskell.org/haskell-mode/
[2]: http://haskell.org/haskellwiki/Haskell_mode_for_Emacs
[3]: http://haskell.org/hoogle
[4]: http://hpaste.org
[5]: http://haskell.org/haskellwiki/Hoogle.el
[6]: http://haskell.org/haskellwiki/Hpaste.el
--
-David House
On 09/04/07, Albert Lee [EMAIL PROTECTED] wrote:
mapM putStrLn files
Seeing as you're not doing anything with the results of this map, you
probably want to use mapM_ instead. Then the result type of ls_dir1
can be IO (), which is neater.
--
-David House, [EMAIL PROTECTED
be
defined. Most are quite silly, but the solution involving the State
monad, for example, is really quite elegant.
[1]: http://haskell.org/haskellwiki/Compose
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
(n - r))
Remember that prefix function application has a higher precedence than
pretty much anything else.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
the import pull in
the 'wider' Prelude, with a more expansive selection, more akin to the
current Prelude?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
including literals sane
Char
String
Int
Integer
Num(..)
3. Other basic functions
Eq(..)
Ord((), (), (=), (=))
Show(show)
4. Miscellaneous
id
const
undefined
Of course, the precise details would be debateable.
--
-David House, [EMAIL PROTECTED]
___
Haskell
languages.
As real control structures, like if and case, are always in scope,
having _no_ functions imported by default would drive an unnatural
wedge between function and control structure.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
' declaration, as suggested by
Sebastian.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
for this mailing list on the haskell.org site.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
(==) applies to. I
don't see this as ugly; quite the contrary, in that if you know a type
instantiates Eq you can use (==) without worrying about using a
type-specific equality predicate. E.g. it's nice to see the same (==)
everywhere rather than seeing (say) (Int.==), (Bool.==) and so on.
--
-David House
your average numeric function needing about a thousand different
constraints on it. Type class synonyms [1] look promising, but
no-one's implemented them yet AFAIK.
[1]: http://repetae.net/john/recent/out/classalias.html
--
-David House, [EMAIL PROTECTED
solution, but are lacking an implementation).
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 10/03/07, Joachim Breitner [EMAIL PROTECTED] wrote:
Is there a name for these functions? Characteristic Church Encoding
Functions maybe? Are there more than these:
Catamorphisms is indeed the name I've heard.
--
-David House, [EMAIL PROTECTED
as there are no type functions.
Hence the classic example:
class Arrow (~) where ...
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
on every
project.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
($) only when the
right-hand side gets very messy; a multiple-line do or similar. For
example:
blah = fromMaybe $ do
x - blah1
y - blah2
guard (x == f y)
g x
The closing parenthesis would make things a little messy, so ($) is nice.
--
-David House, [EMAIL PROTECTED
-fglasgow-exts.) Sadly we don't have a fixity system
for type operators :(
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
. What would a nicer error message
say?
Inferred type was monomorphic but a polymorphic type was given, or
something. Hugs says Inferred type not as polymorphic as expected,
which is the right kind of area.
--
-David House, [EMAIL PROTECTED]
___
Haskell
.)
In the expression: hello at ~/foo.hs:1:8
In the definition of `foo': foo = hello
How's that sound?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
is not a
function, it is a value, so you have to apply it to the composite
function f . g . h using the ($) operator or parentheses.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
requirement on the user. My guess is that any haddock
script that offers similar functionality will have the same
requirement.
This is why something more search-orientated like Hoogle is required, I guess.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe
).
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
of the class:
{-# OPTIONS_GHC -fglasgow-exts #-}
class Foo a b | a - b where
foo :: Foo b c = a - Maybe c
instance Foo String () where foo _ = Nothing
instance Foo Int String where foo 4 = Just (); foo _ = Nothing
--
-David House, [EMAIL PROTECTED
there's a good reason it's not possible. I guess there are no
theoretical limitations, because, as you've just shown, you can hack
your way around it.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
to write a tool that finds documentation for a
function (including Firefox keywords, Emacs/Vim integration, GHCi
integration and so on).
Any comments?
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
the name of the
function) is encoded into the Haddock docs URL.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
.
--
-David House, [EMAIL PROTECTED]
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
1 - 100 of 187 matches
Mail list logo