everything as UTF8 to good effect.
I have some nice fast unboxed UTF8 character folding routines in there
too which you might want to grab if you go the UTF8 route. (which I
recommend highly).
http://repetae.net/john/repos/jhc/PackedString.hs
John
--
John Meacham - ⑆repetae.net⑆john
(in the jhc repo) to
the testing lineup?
actually, is the test code available somewhere?
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
and it should work fine. I had
to use a similar workaround in the statically linked ginsu.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow
'seq' _|_ and \_ - _|_ are indistinguishable. so you
only have 3 functions without seq, and 6 with it.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
without having to change the language. Then we
could work on syntatic sugar to make HList records as easy to use as
built in ones.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
case it uses a typeclass for regexs and what sort of thing they
work on. so you could do
foo =~ .*foo$
let regex = mkRegex .*foo$ -- so the building of the regex will be
shared
foo =~ regex
o
foo =~ (my fancy regex domain specific language)
I should cabalize it...
John
--
John Meacham
of the proposal
with this new syntax...
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
only have the aliased names in scope, print errors in
terms of those rather than the internal ones.
How much this will be an issue in practice we will have to see. we
might have to experiment some to find the best method for producing
error messages.
John
--
John Meacham - ⑆repetae.net
syntax in my original post, it really makes more sense.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
extend the supertyping relationship some more to make it
suitable, but I think we will end up with the exact same proposal but
with different terminology :)
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
On Thu, Oct 13, 2005 at 01:41:14PM -0400, Paul Govereau wrote:
On Oct 12, John Meacham wrote:
[...]
class Num a where
(+), (*):: a - a - a
(-) :: a - a - a
negate :: a - a
fromInteger :: Integer - a
ideally we would want to split it up
on. but if it were actually
implemented we could decide whether we want it or not.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
is the ability to define
instances of superclass methods in a subclass declaration. But this
takes things in a different direction entirely.
I am not sure what you mean by this?
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
by being able to create your own aliases for
common combinations of classes.
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
On Thu, Oct 13, 2005 at 01:14:19AM +0100, Philippa Cowderoy wrote:
On Wed, 12 Oct 2005, John Meacham wrote:
ideally we would want to split it up like so (but with more mathematically
precise names):
Might it also be reasonable to provide less mathematical names for some
classes
to change it, sorry. It's not
broken, just slightly inconvenient.
as a random data point, jhc spits out 'hs.out' as its default output
name. not for any particular reason.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing
modes too.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
difficult to track down papers for
authors that have since moved out of academia or have passed on and
don't have their personal homepages with their papers anymore.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell
the hugs behavior is correct and ghc and jhc are wrong, but
there were differing opinions on #haskell.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
.
there is no need to know the endianess of the architecture the program
is running on.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Why not have a merging function which takes all lists and merges them
into a single ordered list marked with which list the events came from
and their timestamps. Then you can just traverse this single, merged
list. if I am understanding the problem properly...
John
--
John Meacham
Doh! ignore me. apparently I understand the problem, but offer nothing
in the way of solution. :)
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
read.
If it can be implemented via 'mmap' then it is effectivly a lazy read.
and _very_ efficient to boot.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
that something is and what it entails in
terms of tradeoffs. thanks.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell
On Tue, Sep 20, 2005 at 10:29:14AM +0300, Yitzchak Gale wrote:
John Meacham wrote:
f x y
| b c = ...
| c = 0 a b = ...
where
a = ...
b - ...
c - ...
f x y = ...
there is really no clean (IMHO) way to express this idiom otherwise,
What
.
And thus they are not data.
Huh? I'd say they are not /concrete/ data, but (abstract) data they
surely are(?)
and you are certainly free to turn them into concrete data by creating
your own data type which you then can inspect and modify and then
interpret.
John
--
John Meacham
of to mean \x - case x of:
foo = case of ...
Useful outside of monads, eg to write anonymous functions for map.
Yes. this is exactly an extension I have wanted myself too.
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
, it is not really vital since 'mdo', although indispensable
sometimes, is not generally needed except in a few special cases so I'd
stick to the standard 'do' translation.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
I accumulate various properties of programs with generic routines
that accumulate arbitrary types of class boolean.
fuzzy booleans implemented as doubles have found their way into some
projects.
and some other places...
John
--
John Meacham - ⑆repetae.net⑆john
end up being
much more concise, not to mention typesafe.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Fri, Sep 16, 2005 at 12:44:02AM +0200, Sebastian Sylvan wrote:
On 9/16/05, John Meacham [EMAIL PROTECTED] wrote:
On Thu, Sep 15, 2005 at 09:38:35PM +0400, Bulat Ziganshin wrote:
Hello Dhaemon,
Tuesday, September 13, 2005, 5:45:52 PM, you wrote:
D everywhere... Why use
solutions. In any case, I think they
are interesting problems to begin with... hopefully someone out there
thinks so too :)
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org
out...
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
a show on one side and send the string, and then on the
other side 'read' it and you will get the same value out. Instances
exist for all built in types where it makes sense, and you can
automatically derive instances for your own types.
John
--
John Meacham - ⑆repetae.net⑆john
and
it appears to be a big win in certain situations.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
' it is 'uses IO vs. pure', monads, like many powerful
abstractions, are very useful in making pure code more concise, clear
and flexible.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
On Wed, Aug 24, 2005 at 10:14:58AM +0100, Duncan Coutts wrote:
On Wed, 2005-08-24 at 10:56 +0200, Lemmih wrote:
On 8/24/05, Krasimir Angelov [EMAIL PROTECTED] wrote:
2005/8/24, John Meacham [EMAIL PROTECTED]:
ooh. neat. any chance it could be extended to preserve haddock comments
it would be really cool
if compilers could use the haddock documentation when printing out error
messages and be able to query documentation as well as type info from
inside the interpreter.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell
get a
short read or write)
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
to change it. which
is something that gets super-linearly harder as code size grows.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
parallelism with haskell. It seems that some sort of abstract
interpretation could provide a conservative answer to this similar to
the way update analysis is done.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell
Why do we set file descriptors to nonblocking mode anyway if they are
waited on by a select. there shouldn't be a need to use both mechanisms.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs
I thought there was talk of a standardized {-# LANGUAGE ... #-} pragma
somewhere.. but I can't seem to find it.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo
= -optc-m32 -optl-m32 -opta-m32 ;;
*)
echo Unknown architecture ; exit 2;;
esac
echo $GHCBIN $TOPDIROPT $EXTRA_OPTS ${1+$@}
exec $GHCBIN $TOPDIROPT $EXTRA_OPTS ${1+$@}
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing list
such a rule and
fire it if needed.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
but as type synonyms and not the base
name.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
results on stdout. Being able to just work on any unmodified program the
compiler supports is a huge feature.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
parameter oddness.
Comments?
and yes, I know the term 'variable' is a misnomer when dealing with
haskell :)
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo
should compile slower than C.
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
On Wed, Jun 22, 2005 at 12:47:02AM +0200, [EMAIL PROTECTED] wrote:
John Meacham writes:
I wonder if it would be feasable to implement arbitrary precision
integers in pure haskell. unboxed values would probably want to be used
in some places for speed and it would be very motivating
discussion take place in lojban. :)
http://www.lojban.org/
I will start tranlating the jhc docs. (which is very easy as there arn't
any)
John
--
John Meacham - ⑆repetae.net⑆john⑈
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org
formal
comparasons though. darcs also has its own similar thing which I believe
is faster but uses FFI calls to C code rather than beping pure
ghc-haskell.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe
import qualifification for generic
collection operations seems annoying.
HasEmpty should be a superclass of Monoid. I have wanted that split out
on various occasions.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
'.
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
?
Ack. I use the MTL quite extensivly in most of my projects. I hope it
won't disapear from the standard libraries completely.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org
On Wed, Apr 27, 2005 at 06:14:53PM +0200, Stephane Bortzmeyer wrote:
On Tue, Apr 19, 2005 at 04:54:42AM -0700,
John Meacham [EMAIL PROTECTED] wrote
a message of 375 lines which said:
There are still substantial issues which need to be overcome before
jhc can be used for general Haskell
output:
;./foo
()
0xdeadbeef
0xdeadbeef
zsh: segmentation fault (core dumped) ./foo
This is a pretty major bug. I don't know how the libraries are even
working.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users
of
it is derived from them anyway. There are only so many ways to define
'head' :)
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
to partially apply
them, or eta-reduce your type synonym if possible.
This seems to be such a common question, perhaps someone could write up
something on the wiki that goes into more depth on what the issues are
with generalized type synonyms?
John
--
John Meacham - repetae.netjohn
Systems type checking paper
* CPR analysis.
* Strictness analysis w/ HORN clauses
* Typing Haskell in Haskell
* Hatchet
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
I notice that my .ghci is sourced for programs run via runghc
(runhaskell). This is causing trouble because I have things like
:set +t +s and other options which mess up the running of many scripts.
John
--
John Meacham - repetae.netjohn
in 'hatchet' which I have succescfully reused in
other projects. A bug is that it doesn't refix infix patterns, but that
should be easy to fix.
http://www.cs.mu.oz.au/~bjpop/hatchet.html
You will probably have to write something to collect fixities from
imported modules.
--
John Meacham
default inlining parameters need to be tweaked?
There are several things ghc takes into account when deciding whether to
inline a function, the paper Secrets of the GHC Inliner is quite good.
http://research.microsoft.com/~simonpj/Papers/inlining/
John
--
John Meacham - repetae.netjohn
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
change behavior, because depending on whether an existing Functor
instance is already in scope, a Monad instance will either create one or
not.
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http
, since
HLists are equivalant to (a,(b,c)) rather than (a,b,c), but changing
HCons so that it is strict in its second argument makes them behave the
same I think..
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe
if a nice cabalized general
charset conversion library appeared... I have the start of one here, which
should work on any POSIXy system, even if wchar_t is not unicode (no
windows support though)
http://repetae.net/john/recent/out/HsLocale.html
John
--
John Meacham - repetae.netjohn
namesupply.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
system dependent.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
since portable programs would
have no other way to figure this sort of thing out.
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
in the man
page, perhaps a ghcbug program if we want super-detailed bug
reports...
Are you volunteering to be that person? ;-)
Are you saying that a patch would be accepted?
A ghcbug script would be great IMHO.
John
--
John Meacham - repetae.netjohn
, and Data are the only differences AFAIK.
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
).
not sure if it works.. just brainstorming It seems very natural if
it could be made to work.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
, no?
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
too much code in one go?
This would be great.
How about including this interface in a new module, perhaps
Data.ExtensibleExceptions (or something shorter?)
then new code can use this better interface and eventually the old
interface can be depreciated.
John
--
John Meacham
(:[])
...
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
this IMHO.
Yeah, I have wanted some special haddock identifier which means 'include
the body of the function here'. Since often, this can be the best
documentation.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow
in the
primitive operators, so one would probably have to use ghcs front end
with nhcs prelude/other libraries.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
it was simpler. I wasn't
really sure where the complexity of implementing them was coming from.
Nevertheless, it is interesting to see how it all fits together.
definitly, I know I understand both CATs and GADTs to a much greater
degree by thinking about this problem.
John
--
John Meacham
:0:
Warning: `Map' is imported more than once:
imported from Data.Map at Foo.hs:3:16-18
imported from Data.Map at Foo.hs:2:0-24
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell
On Wed, Feb 16, 2005 at 12:42:08AM +1100, Manuel M T Chakravarty wrote:
On Mon, 2005-02-14 at 19:17 -0800, John Meacham wrote:
I believe there is a realationship between GADTs and class assosiated
types which hints at a much simpler implementation of class assosiated
types (CATs
have
time (or knowledge) to explore this seriously too much further.
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
System.Posix.Types.CClock and
System.Posix.Types.CTime
seem to be missing instances for 'Integral' as they used to have.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http
to i386-*-*
since it does not hurt when you are actually on a 32 bit system but
would save us x86-64 people some hassle.
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
When -fglasgow-exts is on, (#) no longer seems to be recognized. (I get
a parse error.) however # works fine as an infix operator.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
that these are limitations of the current haskell
tools and not the language itself, the language specifies unicode and
leaves the details of IO up to implementations.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell
quality and keep the file size down. I am not sure how easy it
will be to integrate the output of the OCR software into an appropriate
pdf, but I can try.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
took his ncurses interface and extended it quite a bit and use it as
the basis of my ginsu chat client. the code should be extractable.
http://repetae.net/john/computer/ginsu/
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
and
bar_s to set a field.
They also behave nicer than the built in syntax as they pass through
constructors without the given field rather than return bottom.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe
against DrIFT; I'm just curious to know.
A project I thought would be neat is to create a common framework so the
same deriving rules could work with DrIFT or template haskell. It
shouldn't be too tough. you couldn't use the template haskell special
syntax though.
John
--
John Meacham
work done :)
too bad we can't do things like
#if exists(module System.Path)
import System.Path
#else
...
#endif
I still find it perplexing that there isn't a decent standard haskell
preprocessor
John
--
John Meacham - repetae.netjohn
a 'success'
error code no matter how they quit. It would also be nice to get partial
profiling data if one aborts the program early with ^C.
John
--
John Meacham - repetae.netjohn
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users
.
my code:
http://repetae.net/john/recent/out/HsASA.html
Lester's ASA page:
http://www.ingber.com/
John
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
a haskell library) I'd like to be able to print the error messages with
the LocaleIO library as it is the only place where the wrong encoding
still can leak out.
--
John Meacham - repetae.netjohn
___
Haskell mailing list
Haskell@haskell.org
http
be represented by a pointer) so
accessing them can be very fast.
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
others have given this more thought...
John
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
and Caching System
http://www.cs.rice.edu/CS/Systems/ScalaServer/io-lite-tocs.pdf
(this one talks about an alternate OS interface to files which we might
want to take advantage of if available)
John
--
John Meacham - repetae.netjohn
___
Haskell
/Haskell/misc.html#perfect-shuffle
--
John Meacham - repetae.netjohn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
801 - 900 of 1117 matches
Mail list logo