to similar stuff.
The former page also has a curious discussion of standalone
deriving with a `for` keyword:
http://www.haskell.org/ghc/dist/current/docs/users_guide/type-extensions.html#stand-alone-deriving
--
Jason Dusek
___
Glasgow-haskell-users
:: Ord b = Set a - (a - Set b) - Set b
setBind m f = unions (map f $ toList m)
but there is no way to use setBind for a definition of =
You can use a continuation trick.
Trick?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
of the string come in order has everything to do
with `getContents`, which is trustworthy.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
incompatible
with being a lazy monad, exactly?
--
Jason Dusek
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
incompatible
with being a lazy monad, exactly?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
are equal.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
a. () = a - a
You can read `=` as entails. Then `() =` is the universe
entails... and `(Monad m) =` is the universe with `m` in
`Monad` entails...
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
!).
Please amend the code so it is easier to read and test.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I believe Data.Binary includes a header with the data
it serializes. In consequence, the second and all following
arrays will be invisible.
Sorry I can not be of more help.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
2009/05/02 Krzysztof Skrzętnicki gte...@gmail.com:
2009/05/02 Jason Dusek jason.du...@gmail.com:
I believe Data.Binary includes a header with the data it
serializes. In consequence, the second and all following
arrays will be invisible.
I didn't check the Binary instance for arrays, however
2009/05/02 Grigory Sarnitskiy sargrig...@ya.ru:
2009/05/02 Jason Dusek :
The original poster should try serializing a tuple of arrays
instead of serializing each array individually.
Maybe, but I have some doubts. I have to operate with
thousands of arrays --- are tuples good in such case
Happy Birthday!
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I gather that ...making it possible to use ST code directly
on IORef's. is what we have today?
--
Jason Dusek
|...making it possible to use ST code directly on IORef's.|
http://www.mail-archive.com/glasgow-haskell-b...@haskell.org/msg03568.html
the way in which the program fails (if it
does) but it does not change the result.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
, statically, whether
potentially infinite structures like lists are finite or
infinite. I'm not sure about this but I suspect that's a major
stumbling block.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
2009/04/26 John A. De Goes j...@n-brain.net:
2009/04/26 Jason Dusek:
This was what I was originally writing in about, yeah.
However, thinking it over I realize there are some serious
problems. We really do want to work with a restricted subset
of Haskell that is more amenable to translation
beginning to appreciate that the core translation I imagined
is perhaps not the most direct route.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
not preserve the old ways, it'll be anarchy all the
way down.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
2009/04/26 Miguel miguelim...@yandex.ru:
2009/04/26 Jason Dusek jason.du...@gmail.com:
If we do not preserve the old ways, it'll be anarchy all the
way down.
How exactly are you going to preserve old ways?
Whenever are we are presented with the a question of correct
conduct, we must re
may turn out not to be the best idea; maybe it is better to
have a type class for types (for example, `Parser Char`) to
provide their own translators? The it would be straightforward
to prevent translation of programs that use concurrency libs,
native ops or `IO`.
--
Jason Dusek
There will always be some people who prefer longer lines. The
real issue is, how do we deal with the fundamental
disagreement here? It's not like we can have both. Also those
people who like long lines -- will they all agree to a long
line length?
--
Jason Dusek
2009/04/25 Brandon S. Allbery KF8NH allb...@ece.cmu.edu:
2009/04/25 Jason Dusek:
I'd like to be able to translate Haskell to JavaScript.
http://haskell.org/haskellwiki/Yhc/Javascript ?
Dead.
Many Haskell/JS bridges provide libraries for writing
complete JavaScript programs in Haskell
2009/04/25 Miguel Mitrofanov miguelim...@yandex.ru:
2009/04/25 Jason Dusek wrote:
Many Haskell/JS bridges provide libraries for writing
complete JavaScript programs in Haskell; some of them even
include jQuery. However, my goals are more limited -- I'd
like to be able to take a Haskell module
, though -- like parsers. Actually, parsers are really
all I care about at present.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Interesting, thank you.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
2009/04/25 Thomas Davie tom.da...@gmail.com:
2009/04/25 Jason Dusek:
There will always be some people who prefer longer lines. The
real issue is, how do we deal with the fundamental
disagreement here? It's not like we can have both. Also those
people who like long lines -- will they all agree
2009/04/23 Maurício briqueabra...@yahoo.com:
Maybe we could learn with them: what about if Haskell Weekly
News had a section on code review, like many newspapers have
book review sections?
This seems worthwhile.
--
Jason Dusek
___
Haskell-Cafe
Is it too difficult to try this on Linux or Mac, just to see
if it shows up there as well?
--
Jason Dusek
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
was chosen a long time ago. Let's accept it
and move on.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
to
imprisonment.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
If you want to do raw IO and repackage it as pure, you can
use `unsafePerformIO` and friends. It is important to use the
`NOINLINE` pragma in that case.
--
Jason Dusek
|...unsafePerformIO...|
http://haskell.org/ghc/docs/latest/html/libraries/base/System-IO-Unsafe.html#v
better than the implementors what
features should they implement.
So what is the committee there for? To approve helpful
suggestions?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
2009/04/22 Achim Schneider bars...@web.de:
Jason Dusek jason.du...@gmail.com wrote:
Really, the whole thing makes me wish we had blasphemy laws.
I'll definitely add it to the list of questions should I ever
conduct a job interview. Just to test how much backing people
have for their zeal
column convention sets a clear expectation for all of
us; it's not a matter of what anyone likes.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
' [...]
You get a type error because `string //` parses to a
`String` while `eof` parses to a `()`. Instead you might use:
parseText = manyTill anyChar (try (string // return ()) | eof)
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
2009/04/16 Achim Schneider bars...@web.de:
{-# CAF foo #-}
{-# NOCAF foo #-}
Where do I find docs for these pragmas?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Could you pastebin something that demoes the error?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
of thing that you do on demand, too -- we
have a file handle pool and as we run out of handles we switch
to opening/closing. For a single really long read,
opening/closing every 4k is just churn; if your doing
thousands of long reads at once, though, it can't be helped.
--
Jason Dusek
allow arbitrary interleaving.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
incident.
:; ulimit
unlimited
Turns out the `ulimit` on my Mac is pretty high.
--
Jason Dusek
|...tweak the OS...|
http://www.kegel.com/c10k.html#limits.filehandles
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org
.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
in stacking consumption.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
2009/03/29 Lennart Augustsson lenn...@augustsson.net:
...GHC lacks certain optimizations to make efficient code when
using CMonad, so instead of C speed you get low speed.
Is this surprising to anyone?
--
Jason Dusek
___
Haskell-Cafe mailing list
' is necessary. Couldn't you always replace it with a
case statement, with undefined on [] if necessary?
How would that be any different from head?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
-- code for single-method dictionaries
--
unlifted_dummy [...]
A cursory search on GHC's Trac shows no corresponding bug; is this no longer
a problem? A small problem? I would like to know more about it.
--
Jason Dusek
|...stream fusion code...|
http://www.cse.unsw.edu.au
. This has
happened to me only once on one Mac in a year and a half of
administering several Macs; but it's not something I've ever
dealt with on other source-based systems.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
At my former employer, I wrote a couple of internal tools in
Haskell that shipped to Linux, OS X and Windows. The relative
ease of binary preparation was a selling point of Haskell.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe
It is really too bad we can not define the operators
_ ^_^ _
These are significant from an internationalization standpoint;
and they'd make the language so much more competitive
vis-a-vis LOLCode.
--
Jason Dusek
2009/1/10 Brandon S. Allbery KF8NH allb...@ece.cmu.edu:
On 2009
of Windows developers
be represented -- I was myself surprised to discover that the
UUID package only worked on Linux -- it would be
unconstructive to carry out such discussions offlist.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe
the Iteratee/Enumerator approach. The notion that we just
fold over the (potentially side-effecting) data structure is
probably misleading unless you already understand the design.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
I upmodded this on Reddit. Thank you for your work.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Henning Thielemann schlepp...@henning-thielemann.de wrote:
Jason Dusek schrieb:
I'm taking a stab at composable streams, starting with
cursors. I managed to make a derived cursor today -- as I
work through this stuff, I hope to understand
Iteratee/Enumerator better.
How about a wiki
So an iteratee is not like a cursor because it does not own
the collection -- it just tells us how to step it. The
enumerator owns the collection and provides a way to scope
resource use?
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe
I'm taking a stab at composable streams, starting with
cursors. I managed to make a derived cursor today -- as I work
through this stuff, I hope to understand Iteratee/Enumerator
better.
--
Jason Dusek
http://github.com/jsnx/streams/tree/554dd69339f027f113a6cfa16f552727ba9d92b3/Control
of a
Taoist practice with a long history -- and in fact, Chan was
seen as a Taoist renewal. It is Chan that makes its way to
Japan to become the Zen we all know.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org
-- that
one comes to appreciate the Way and its Power.
--
Jason Dusek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Jonathan Cast jonathancc...@fastmail.fm wrote:
Jason Dusek wrote:
Thus it is in practical arts -- Chinese medicine, Taiji,
strategy -- that one comes to appreciate the Way and its
Power.
But nonetheless, Haskell is not a practical art, no more than
theoretical physics or abstract algebra
So, it looks Iteratee takes a step on the resource --
whatever it is -- and Enumerator manages the resource and
sequences the steps of the Iteratee. The Enumerator, then,
defines our way of managing a particular resource -- how to
take a step, how to close it, c. -- while the Iteratee
From an old thread:
non-functions like unsafePerformIO are not technically part
of the haskell language!
How is this true, exactly?
--
_jsn
|...an old thread.|
http://www.nabble.com/Re%3A-Re%3A-Parsers-are-monadic--p11390440.html
___
You can disable the monomorphism restriction in your .ghci so
it needn't trouble your interactive sessions further. My .ghci
follows my signature.
--
_jsn
:set -XOverlappingInstances
:set -XNoMonomorphismRestriction
:set -XUnicodeSyntax
:set -XArrows
:set -Wall
:set
It's a nice interface for collecting comments on an idea and
collecting people's level of agreement -- it does those things
very well. If I had a blog, I would turn off comments and put
a link to reddit at the bottom and then scrape reddit for the
comments :)
--
_jsn
This has happened to some of my proposals, too.
The reddit is completely open.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I think you are overlooking the Web 2.0 aspect of this.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
There is a subreddit for people to propose libraries:
http://www.reddit.com/r/haskell_proposals/
The idea being, that Web 2.0 will help us to allocate our
collective talents more efficiently when it comes to
extensions (and perhaps clue us in when our pet project is
something
It's just there so you can show your boss it was in Dr. Dobbs,
and so your boss can think Wow, I know what FP is -- thank
you, Dr. Dobbs!.
For this purpose, the only thing better is if we could somehow
get them to mention Microsoft everywhere they mention Haskell.
Any actual
Too bad they didn't pimp Haskell as practical.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
What proposals are out there to address the issue of scoping
class methods? I always feel I must be careful, when exposing
a class definition that I want clients to be able to extend,
that I mustn't step on the namespace with semantically
appropriate but overly general names (e.g.
It's not that I like to have a lot of methods in a class, but
rather a lot of classes.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Oh! Then there is no problem, after all.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
More monadic?
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Bulat Ziganshin [EMAIL PROTECTED] wrote:
Don wrote:
Lionel wrote:
From my understanding, the gmp is GPL, GHC statically
links it on windows.
GMP is *LGPL*.
Supporting this is trivial with a dynamically linked / DLL
libgmp.
the whole problem is that it links in statically, that
User private groups are not an abnormal configuration, but
GHCi has such strict security that they are not allowed!
:; ghci
GHCi, version 6.10.1: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.Loading package integer
... linking ... done.Loading
Duncan Coutts [EMAIL PROTECTED] wrote:
Jason Dusek wrote:
I appreciate what you guys are trying to do, but I at the
very least, it should be permitted to use a GHCi that is
group readable/writable as long as the group name and user
name are the same.
Hmm. That's a convention
Unlike native Strings, this would have the potential for a
runtime parse error at every character.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
So this proposal is more than a UTF8 type, since it
encompasses a move away from text as lists. What interfaces
would we have to text in this proposal?
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Andrew Coppin [EMAIL PROTECTED] wrote:
...it has been my general experience that almost everything
obtained from Hackage fails miserably to compile under
Windows. (IIRC, one package even used a Bash script as part of
the build process!) I haven't seen similar problems on Linux.
(But I don't
I'm on 6.10.1, using the libs provided with the binary of GHC
for Mac OS X. I was fooling around with the time package in
GHCi and something seems to be off. I have included a
transcript.
If I take a time diff, then the seconds are positive when the
picos are negative and vice versa.
I discovered that my UUID type causes a loop when tested
for equality. Anyone who is using `system-uuid`, please
upgrade to version 1.0.2.
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Andrew Coppin [EMAIL PROTECTED] wrote:
It seems to be an unwritten law that any package involving
non-Haskell components doesn't work on Windoze.
Well, I'll have a chance to verify this soon enough. Have you
posted your errors somewhere?
--
_jsn
Andrew Coppin [EMAIL PROTECTED] wrote:
What I *haven't* done yet is read the chapters where they try
to claim that database programming is possible in Haskell.
I'll have to do that at some point. Maybe this is where they
reveal the Secret Formula that makes this stuff actually work
In all fairness, this basically forces you to say trust me
to the compiler for something that should be verifiable
statically. A typo results in a runtime error -- in a way,
this is worse than Perl.
Quasi-quotes are really the right answer but hardly simple
in this case...
--
_jsn
Colin Paul Adams [EMAIL PROTECTED] wrote:
I've managed to solve it this morning. It was the way I was
setting up argc and argv (badly) for the call to hs_init.
Doing it properly means there are no longer any crashes with
either Eiffel compliler.
What is the bad way to set them up?
--
_jsn
It came up on IRC last night that there is no generic zip in
Haskell. I decided to write one as an example, but it only
half works.
When the argument lists are all definitely of one type,
instance selection works as expected; however, with numeric
types, for example, things don't work
That would solve the problem that solving the problem would
solve, but it does not solve the problem I asked about!
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Sean Leather [EMAIL PROTECTED] wrote:
example = zip [1,2::Int] ['a','b'] [1,b] ::
[(Int,Char,String)]
BTW, I realized that this example also works in yours. You
weren't giving enough type annotations.
Yes, exactly. Or in other words, the class definition does not
correctly specify the
Duncan Coutts [EMAIL PROTECTED] wrote:
Jason Dusek wrote:
In the ticket, someone says:
True though I suspect it looks a bit weird to the
uninitiated. We know to read the conditional syntax as an
implication constraint which can be applied in either
direction but I suspect many
I'd like to be able to do something like:
if (template-haskell 2.3)
cpp-options: -D TH_THE_YOUNGER
else
cpp-options: -D TH_THE_ELDER
I guess this kind of thing is not possible at present?
--
_jsn
___
Haskell-Cafe mailing list
Did you use Unicode in Python?
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Simon Marlow [EMAIL PROTECTED] wrote:
We just do a normal build, on Fedora 9 boxen. If it works
across other distros, it's probably just good luck!
With GHC, my luck has been good.
I've found that `optl-static` actually causes problems, so
I've removed it and things work without it.
--
How was the Linux binary for GHC created? I am looking at ways
to compile Haskell binaries for Linux that work across
distros. So far, I have been using `-static -optl-static` but
today there was a weird hiccup with IO -- the Gentoo built
binary worked fine on Gentoo but caught SIGPIPE
There is actually a real wealth of material on generalizing
I/O on your site -- it's definitely something I will be ever
more interested in.
Now that I think about it, I can remember a time where a
program that did a lot of stuff with Amazon would mysteriously
run out of file
As an aside, my present problem really seems to be fixed -- I
am able to move files of more than 2MB from one process to
another within my Haskell program. In my program, I take the
input file, turn it into a ByteString, pass it to process one,
capture the result as a ByteString, pass it
I've put together a simple test case for a rather annoying
problem. I've got a program that drives other programs. For
example, it can drive `cat`:
:; Simple cat a-file
When the file is a little bit greater than 135060 bytes, this
program fails to produce any output at all -- I need
simple exe bytes args= do
(i, o, e, p)- runInteractiveProcess exe args Nothing
Nothing
hPut i bytes
s - hGetContents o
hClose i
return s
Yep, that's your problem. forkIO the hPut.
Maybe I didn't do enough here -- just
This does not work either. It should cover all the bases,
right? Fork off input, pull things from ouput as they are
ready, stop when we reach end of file. If you remove the line
`print partial`, the program loops forever; if you keep it,
the program stops right there.
--
_jsn
import
That was just me being absent-minded -- I have threaded in my
Cabal file but was not using it on the command line for my
little test script.
Thank you for calling it to my attention.
--
_jsn
___
Haskell-Cafe mailing list
I am using 6.8.3 -- it is almost exciting to realize how
close I came to 'impossible' instead of 'annoying'. Living on
the edge with UNIX IO!
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Conal Elliott [EMAIL PROTECTED] wrote:
To help me understand your question, would you be unhappy with
the following structure?
-- runnable
main = interact f
-- composable
f = ...
The discipline is to use interact (or another combinator) to
wrap a
Jules Bean [EMAIL PROTECTED] wrote:
Jason Dusek wrote:
Though that seems reasonable, it is not, in general, true.
For example,System.Info.osis generally treated as
pure, though it is not. It's not clear to me how to
disambiguate these born again values from really pure
values
Informally, a pure program an executable such that the
stream of bytes entering it totally determines the stream of
bytes leaving it.
Many useful programs that I would like to write in Haskell
don't fall into this category -- for example, network servers
-- but a lot of their
201 - 300 of 410 matches
Mail list logo