On 09-12-2015 12:28, Joachim Breitner wrote:
> Hi,
>
> Am Mittwoch, den 09.12.2015, 06:51 -0700 schrieb Jeremy:
>> "fix" is hyperlinked to itself, and it doesn't say what the fix is
>> for.
>
> that is intended. fix is inherent self-referential, and furthermore
> polymorphic.
>
> Greetings,
>
(Please forgive me if you received multiple copies of this e-mail.)
Hello,
The nonce package [1] contains functions to easily generate
cryptographic nonces for many situations. Some places where these
generated nonces can be used include:
- Password recovery e-mail tokens.
- XSRF
On 29-07-2014 20:41, Stephen Paul Weber wrote:
instance {-# OVERLAPPABLE #-} Show a = Show [a] where ...
instance {-# OVERLAPPING #-} Show [Char] where ...
This, to me, is an admission that developers are not going to want to turn
overlapping on globally in general, and so the current
Interesting hack. I couldn't figure out how you did it, and just in a
lunch-break, until I took a look at the code :).
Cheers!
--
Felipe.
signature.asc
Description: OpenPGP digital signature
___
Glasgow-haskell-users mailing list
Em 25-04-2014 12:01, Mathieu Boespflug escreveu:
Such a policy violates the separation of provenance from function
principle, which I think is a good one. That is, I ought to be able to
swap in a different implementation of a map for the standard one in
the containers package without having to
Em 25-04-2014 12:22, Edward Kmett escreveu:
+1 from me. I have a lot of projects that suffer with 4 levels of vacuous
subdirectories just for this.
In theory cabal could support this on older GHC versions by copying all of
the files to a working dir in dist with the expected layout on
Em 09-04-2014 11:23, Austin Seipp escreveu:
An updated SHA256SUMS.sig is attached. Thanks for Edsko de Vries for
pointing it out!
If anybody is, like myself, trying to find a link for the SHA256SUMS
file on the download page, here it is:
https://www.haskell.org/ghc/dist/7.8.1/SHA256SUMS
For
On Sun, Oct 24, 2010 at 9:59 PM, Maciej Piechotka uzytkown...@gmail.com wrote:
Currently I thought only about bzip2/gzip. Probably .xz support would
follow if any.
LZO, as you said, is on GPL-2. While I have no problems with GPL-2 some
potential users may (Haskell tend to be BSD3 community).
Great! What's new in 0.12.0? I don't see a NEWS file and the ChangeLog is old.
Cheers! =)
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Sun, Oct 10, 2010 at 10:51 PM, Alexander Solla a...@2piix.com wrote:
Is there anyway to instruct GHC (and maybe other compilers) to compute these
maps statically? Are GHC and the other compilers smart enough to do it
automatically? Although the list isn't huge, I would still rather get rid
On Sun, Oct 10, 2010 at 6:32 PM, Johannes Waldmann
waldm...@imn.htwk-leipzig.de wrote:
Oh, and while we're at it - are there standard notations
for forward function composition and application?
I mean instead of h . g . f $ x
I'd sometimes prefer x ? f ? g ? h
but what are the ?
On Sat, Oct 2, 2010 at 8:29 PM, Daniel Fischer daniel.is.fisc...@web.de wrote:
Yes, cabal looks at the package-index to find out the required
dependencies, it doesn't know where you have local source files.
Actually, this is cabal-install. If you 'cabal unpack' then
'runhaskell Setup.hs
On Sat, Oct 2, 2010 at 4:13 PM, Christopher Done
chrisd...@googlemail.com wrote:
There's nothing more annoying than having to introduce intermediate
bindings when you're going to immediate pattern match against it
immediately and never use it again. It's both annoying to have to
think of a
Very interesting! And the API seems very nice, although I haven't
used the package.
Are there benchmarks for monad transformers? How big is the
difference between CPS and non-CPS monad libraries?
Cheers!
--
Felipe.
___
Haskell-Cafe mailing list
On Wed, Sep 29, 2010 at 7:21 AM, Michael Snoyman mich...@snoyman.com wrote:
I think this approach is not possible without involving some fairly
ugly unsafeInterleaveIO/unsafePerformIO calls. A simple example using
a common web programming example: support I have a multi-user blog
site, where
On Tue, Sep 28, 2010 at 10:06 AM, Romain Demeyer
romain.deme...@gmail.com wrote:
Let's a function do_job, the function to execute by the threads (the
workers) :
do_job :: (b - a) - b - Inbox a - IO ()
do_job f input inbox = do { value - return (f input)
; atomically
On Tue, Sep 28, 2010 at 10:41 AM, Peter Robinson thaldy...@gmail.com wrote:
readTVarIO :: TVar a - IO a
One needs to know if it is ok to wrap this IO action into an STM
action. For example,
data I a = I a
looselyReadTVar :: TVar a - STM a
looselyReadTVar tvar =
let v = unsafePerformIO
On Tue, Sep 28, 2010 at 11:01 AM, Antoine Latter aslat...@gmail.com wrote:
Isn't there an 'unsafeIOToSTM' function somewhere? Something like:
unsafeIOToSTM (IO k) = STM k
Then you might not need the case statement.
I thought there was, but I couldn't find it in the 'stm' package [1],
using
On Tue, Sep 28, 2010 at 11:38 AM, Romain Demeyer
romain.deme...@gmail.com wrote:
Does it means that the value is computed by the caller, based on the
thunk, and not by the worker itself?
It is computed by the one who needs the value. Your worker doesn't.
Note that the value is computed on
On Mon, Sep 27, 2010 at 6:28 PM, Gregory Collins
g...@gregorycollins.net wrote:
Also, if you're reading code in a proportional font, you're doing
it wrong.
You may have nice codes using proportional fonts using LaTeX package
'listings'. Even in a proportional font it lines things up. Note,
On Wed, Sep 15, 2010 at 9:54 PM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
* cereal = 0.2 0.3 (was == 0.2.*)
Do you mean, = 0.2 0.4?
Cheers! =)
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Sun, Sep 12, 2010 at 10:06 PM, Bryan O'Sullivan b...@serpentine.com wrote:
text 0.8.1.0 is now up on hackage, with the fix included. Enjoy!
Wow! That was fast! =)
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
H...
On Fri, Sep 10, 2010 at 6:47 PM, Jan Christiansen
j...@informatik.uni-kiel.de wrote:
instance Applicative Proj where
pure = Proj . const
Proj f * Proj x = Proj (\p - f (False:p) (x (True:p)))
(pure f) * Proj x
=== Proj (const f) * Proj x
=== Proj (\p - (const f)
On Thu, Sep 9, 2010 at 9:08 PM, John Lask jvl...@hotmail.com wrote:
so it seems that the gcc support infrastructure that is currently integrated
into ghc will still be required. Then the question arises what library
formats will ghc use under the circumstances ?(.bc, .a) and how will the two
On Mon, Sep 6, 2010 at 2:45 PM, Olle Fredriksson
fredriksson.o...@gmail.com wrote:
expr :: Grammar Char E
expr = do
rec
e - rule [ Plus @ e # '+' # t
, id @ t
]
t - rule [ Times @ t # '*' # f
, id @
On 8/27/10, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
Admittedly, Haskell has no multi-line
String support which would make defining something like the
Description field harder...
Quick correction: Haskell *does* have multi-line strings. For example:
This is a\
\ nice
Hello, Simon!
On Mon, Aug 23, 2010 at 8:00 AM, Simon Marlow marlo...@gmail.com wrote:
The issue is that hGet always waits for a complete buffer-full of data
before returning. The hWaitForInput/hGetNonBlocking combination fixes that
problem, but you have to be careful to make sure that the
On Mon, Aug 23, 2010 at 8:29 AM, Simon Marlow marlo...@gmail.com wrote:
Which documentation are you referring to? This looks ok to me:
http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/System-IO.html#v%3AhGetBuf
Indeed, while there isn't a big fat warning, it does say that it
On Mon, Aug 23, 2010 at 8:51 AM, Simon Marlow marlo...@gmail.com wrote:
Hmm, RawIO.read looks ok:
-- | Read up to the specified number of bytes, returning the number
-- of bytes actually read. This function should only block if there
-- is no data available. If there is not enough data
On Mon, Aug 23, 2010 at 9:00 AM, Simon Marlow marlo...@gmail.com wrote:
I think it's the latter. bufRead loops until it has read the full amount of
data requested, or EOF is reached.
Hmmm... sorry about the noise then =).
Cheers,
--
Felipe.
___
Hello!
I take it that the problem is that libcurl is a C library with a
Unix-like build system, and that is the problem that needs Cygwin,
right?
I'm not a Windows expert, but having C code is perfectly fine, I
guess. My 'hipmunk' library includes a whole C library. When I tried
to 'cabal
On Sun, Aug 22, 2010 at 7:47 PM, Daniel Peebles pumpkin...@gmail.com wrote:
You could also do some (in my opinion) fairly nasty stuff with
Dynamic or Typeable, adding a constraint to the Eq and
attempting to cast at runtime (returning False if the cast
returns Nothing).
This is what he's
On Sat, Aug 21, 2010 at 5:40 AM, Magnus Therning mag...@therning.org wrote:
It changes the timing. The iteratee will receive the data sooner (when it's
available rather than when the buffer is full). This means it can fail
*sooner*, in wall-clock time.
I still fail to see how this works. So
On Fri, Aug 20, 2010 at 3:57 AM, Luke Palmer lrpal...@gmail.com wrote:
On Thu, Aug 19, 2010 at 9:57 PM, Felipe Lessa felipe.le...@gmail.com wrote:
However, I haven't thought about how operations such as 'cons' and
'tail' would be implemented =). OP just asked about indexing ;-).
Well if all
On Fri, Aug 20, 2010 at 12:51 PM, John Millikin jmilli...@gmail.com wrote:
Currently, I'm planning on the following type signatures for D.E.Text.
'enumHandle' will use Text's hGetLine, since there doesn't seem to be
any text-based equivalent to ByteString's 'hGet'.
CC'ing text's maintainer.
On Fri, Aug 20, 2010 at 1:12 PM, John Millikin jmilli...@gmail.com wrote:
This thought occurred to me, but really, how often are you going to
have a 10 GiB **text** file with no newlines? Remember, this is for
text (log files, INI-style configs, plain .txt), not binary (HTML,
XML, JSON). Off
On Sat, Aug 21, 2010 at 12:30 AM, John Millikin jmilli...@gmail.com wrote:
Just released 0.2. It has the text IO and codecs module, with support
for ASCII, ISO-8859-1, UTF-8, UTF-16, and UTF-32. It should be
relatively easy to add support for codec libraries like libicu or
libiconv in the
H
{-# LANGUAGE GADTs, EmptyDataDecls, KindSignatures #-}
data Z :: *
data S :: * - *
--
data SkipList s a where
Empty :: SkipList s a
Cons :: Element (S s) a - SkipList (S s) a - SkipList s a
instance Show a
Oh, an example:
*Main fromList [1..8] :: SkipList Z Int
Cons (Branch 1 1 None None) (Cons (Branch 3 2 (Branch 1 3 None None)
(Branch 1 4 None None)) (Cons (Branch 4 5 (Branch 3 6 (Branch 1 7 None
None) (Branch 1 8 None None)) None) Empty))
*Main fromList [1..8] :: SkipList (S Z) Int
Cons (Branch
On Fri, Aug 20, 2010 at 12:57 AM, Felipe Lessa felipe.le...@gmail.com wrote:
Alas, the idea is simple. Each 'Element' contains up to 2^(s-1) data.
For example, with an 'Element Z a' you can't store anything. With an
'Element (S Z) a' you may store zero or one datum. With an 'Element
(S (S
On Fri, Aug 20, 2010 at 12:49 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
How about fromList [1..] like Evan's original email had (which I think
is going to be a problem here as well)?
The only problem is that the Element's sizes will be forced up to
the point you need, but not
On Wed, Aug 18, 2010 at 4:42 AM, John Lask jvl...@hotmail.com wrote:
On 18/08/2010 12:20 PM, Stephen Sinclair wrote:
you could script in haskell by embedding hugs. Hugs exe + base lib ~ 1MB.
Hmmm... Would it be possible to pass complex values between the
program (with GHC) and the script
Hello, Ketil Malde!
On Tue, Aug 17, 2010 at 8:02 AM, Ketil Malde ke...@malde.org wrote:
Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
Seeing as how the genome just uses 4 base letters,
Yes, the bulk of the data is not really text at all, but each sequence
(it's fragmented due to
On Tue, Aug 17, 2010 at 8:50 AM, Wouter Swierstra
wou...@vectorfabrics.com wrote:
Can some one please give me a suggestion on the best choice for an
embedded
scripting Language for a haskell application?
Why not use Haskell itself? I agree that C and Java aren't perhaps the
best choice for
On Tue, Aug 17, 2010 at 5:38 PM, Christopher Done
chrisd...@googlemail.com wrote:
1. Interested in and will continue maintaining:
gd, higherorder, cgi-utils, fastcgi, ircbouncer
Just out of curiosity, why do you use gd instead of cairo?
Cheers! =)
--
Felipe.
On Tue, Aug 17, 2010 at 7:07 PM, Christopher Done
chrisd...@googlemail.com wrote:
Sadly this is true. I went ahead and tested this to confirm; compiled
mueval (which uses hint), copied the executable to a virtual machine
and it required the GHC package repo among other GHC-related
libraries.
On Tue, Aug 17, 2010 at 9:12 PM, Hemanth Kapila saihema...@gmail.com wrote:
I was about to toss a coin to decide which one to pickup. Perhaps I should
worry about the size.
You should think about what kind of code you want to support in your
scripts. I mean, if you start binding every
On Sun, Aug 15, 2010 at 12:50 PM, Donn Cave d...@avvanta.com wrote:
I wonder how many ByteString users are `working with bytes', in the
sense you apparently mean where the bytes are not text characters.
My impression is that in practice, there is a sizeable contingent
out here using
On Sat, Aug 14, 2010 at 9:59 AM, Bill Atkins watk...@alum.rpi.edu wrote:
| otherwise = let (line, rest) =
splitAt maxLineLength line in
line :
wrapLine rest
I haven't tested myself, but
On Fri, Aug 13, 2010 at 10:01 PM, Dan Doel dan.d...@gmail.com wrote:
On Friday 13 August 2010 8:51:46 pm Evan Laforge wrote:
I have an app that is using Data.Text, however I'm thinking of
switching to UTF8 bytestrings. The reasons are that there are two
main things I do with text: pass it to
On Tue, Aug 10, 2010 at 1:40 PM, michael rice nowg...@yahoo.com wrote:
1) Is there an implicit *in* before the last line above?
The (let ... in ...) construct is an expression, while the (let ...)
inside 'do' is a statement. The (do ...) itself is an expression.
See the report:
On Tue, Aug 10, 2010 at 2:40 PM, Bill Atkins batkin...@gmail.com wrote:
They're not really statements, they're just named expressions and are still
subject to lazy evaluation.
In:
let x = putStrLn Name getLine
putStrLn Welcome
x
Yes, 'putStrLn name getLine' is an expression.
On Tue, Aug 10, 2010 at 6:21 PM, Martijn van Steenbergen
mart...@van.steenbergen.nl wrote:
On 8/2/10 7:09, Ertugrul Soeylemez wrote:
Given the definition of a Haskell function, Haskell is a pure language.
The notion of a function in other languages is not:
int randomNumber();
The result
On Tue, Aug 10, 2010 at 6:36 PM, Martijn van Steenbergen
mart...@van.steenbergen.nl wrote:
On 8/10/10 23:27, Felipe Lessa wrote:
If we had in C:
return (randomNumber(10, 15) + randomNumber(10, 15))
That would not be the same as:
int x = randomNumber(10, 15)
return (x + x)
That's
On Sun, Aug 8, 2010 at 6:09 PM, Serguey Zefirov sergu...@gmail.com wrote:
Except that we have to write real apps is a real gem of that conversation.
;)
So this Anders guy bashes functional languages and then says that
programmers should be encouraged to write functional code in OO
languages?
Sweet! =)
About the 'binary' package, does it speed up if you dump its own
Data.Binary.Builder and use the blaze builder? Does it stay with the
same performance?
Thanks for working on blaze!
--
Felipe.
___
Haskell-Cafe mailing list
On Thu, Aug 5, 2010 at 9:41 AM, Tim Matthews tim.matthe...@gmail.com wrote:
I have often wondered OK haml implemented now what about sass. Michael
Snoyman what is your opinions on sass? Would a sass inspired syntax like you
did with the haml-hamlet fit in well and if so, as it often best to
On Thu, Aug 5, 2010 at 7:18 AM, Ryan Ingram ryani.s...@gmail.com wrote:
I actually think it's a
testament to the quality of GHC that things just work so often that
I can be so surprised when they don't.
Well said. That's the feeling most Haskellers have, and that's part
of the awesomeness of
On Thu, Aug 5, 2010 at 10:48 AM, Johan Tibell johan.tib...@gmail.com wrote:
One thing I haven't seen anyone else comment on is the width of the new
docs. I have a large (26) monitor and use the browser full-screen (with
xmonad, so even more screen space). When I load these pages, particularly
On Tue, Aug 3, 2010 at 8:23 AM, Felipe Lessa felipe.le...@gmail.com wrote:
On Tue, Aug 3, 2010 at 8:01 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Felipe Lessa felipe.le...@gmail.com writes:
'hierarchical-clustering' provides a function to create a dendrogram
from a list
On Tue, Aug 3, 2010 at 7:27 AM, Neil Brown nc...@kent.ac.uk wrote:
I like the look of this. Eq and Ord instances that use epsilon values look
like they will be handy. I have a design question/suggestion. You have:
What properties does Eq need to obey?
Reflexivity: (a == a)
Symmetry: (a ==
Hello!
I'm pleased to announce the release of two new packages:
http://hackage.haskell.org/package/hierarchical-clustering
http://hackage.haskell.org/package/gsc-weighting
'hierarchical-clustering' provides a function to create a dendrogram
from a list of items and a distance function between
On Tue, Aug 3, 2010 at 8:01 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Felipe Lessa felipe.le...@gmail.com writes:
'hierarchical-clustering' provides a function to create a dendrogram
from a list of items and a distance function between them. The most
common linkage types
On Mon, Aug 2, 2010 at 7:37 PM, Ryan Ingram ryani.s...@gmail.com wrote:
there's no y.z that fulfills that requirement. Lets rewrite in a
System-F-style language with data types:
[...]
So clearly x0 has type (C (A - r) r)
However, our input is parametric in r, which is mentioned in x0's
type,
On Sun, Aug 1, 2010 at 11:29 AM, Nicolas Pouillard
nicolas.pouill...@gmail.com wrote:
Finally maybe we can simply forbidden the forcing of function (as we do with
Eq). The few cases where it does matter will rescue to unsafeSeqFunction.
What's the problem with
class Eval a where
seq :: a
On Sun, Aug 1, 2010 at 6:58 PM, Jason Dagit da...@codersbase.com wrote:
This same issues comes up fairly often on the darcs-users mailing list. My
understanding of the way things are handled there, is that if there is ever
a good reason to drop support for a version of GHC then the person who
On Sat, Jul 31, 2010 at 5:23 PM, David Leimbach leim...@gmail.com wrote:
Does Singularity also have such back doors?
The CLR doesn't load machine code, it loads bytecodes. So it is
possible to statically analyse the module and see hmmm, this module
uses unsafePerformIO, I'll reject it. If the
2010/7/28 Dušan Kolář ko...@fit.vutbr.cz:
which does not work, of course (Flexible or Undecidable instances won't
help). The aim is to have addElem function that works differently according
to situation whether a type, which is base of the list/set, is a member of
class Eq or Ord. Could you
On Wed, Jul 28, 2010 at 12:04 AM, Ivan Miljenovic
ivan.miljeno...@gmail.com wrote:
On 28 July 2010 13:03, michael rice nowg...@yahoo.com wrote:
[mich...@localhost ~]$ ghc-pkg list mtl
/usr/lib/ghc-6.12.1/package.conf.d
[mich...@localhost ~]$
Installed?
No; if it was installed it would
Wow, great paper! I got somewhat scared when I saw the first
description of the scene, but after I started reading I couldn't stop
anymore =D.
Thanks,
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
2010/7/26 Günther Schmidt gue.schm...@web.de:
Hi all,
Hello!
I'm spidering web pages, the implementation currently is synchronous. I'd
like to parallelize this for speed-up, ie. get up to 6 pages in parallel and
recycle those threads.
This is usually called concurrent programming, not
2010/7/26 Felipe Lessa felipe.le...@gmail.com:
downloader :: TChan (Maybe Page) - TChan (Page, Info) - IO ()
downloader in out = do
mp - atomically (readTChan in)
case mp of
Nothing - return ()
Just p - download p = atomically . writeTChan out
Oops! Of course there should
Some comments:
- You can run your code thru HLint, here it gives me 27 suggestions.
- Why don't you derive the Show instance for RE instead of writing it
by yourself?
- Note that
do x
do y
...
is the same as
do x
y
...
- You can parametrize RE as
data RE s p =
On Thu, Jul 22, 2010 at 9:00 PM, Don Stewart d...@galois.com wrote:
We're pleased to announce the fifth release of the Haskell Platform: a
single, standard Haskell distribution for everyone.
That's just great, dons! Thanks a lot!
Cheers, =)
--
Felipe.
Err... where is pixbufFromImageSurface [1] now? I have an old program
that draws using cairo an static diagram to a pixbuf which then
becomes the backend of an Image. If pixbufFromImageSurface got
deprecated, what's a better solution?
[1]
On Sun, Jul 18, 2010 at 5:19 PM, Eitan Goldshtrom
thesource...@gmail.com wrote:
Silly question, but I can't find the answer on the net. I think I'm just
using the wrong words in my search. I'm looking for a way to create constant
expressions in Haskell. The C/C++ equivalent of what I'm talking
On Sat, Jul 17, 2010 at 2:23 PM, Christopher Done
chrisd...@googlemail.com wrote:
Anyway, fantastic! What does everyone else think?
I like it as well. There are only two nitpicks: I think that icon for
Linux is lame, and I get confused by the image of the guy diving.
Thanks, =)
--
Felipe.
You should probably CC the maintainer of the regex package.
Cheers,
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Thu, Jul 15, 2010 at 4:30 AM, Stephen Tetley
stephen.tet...@gmail.com wrote:
2010/7/15 Jake McArthur jake.mcart...@gmail.com:
On 07/14/2010 05:01 PM, Victor Gorokhov wrote:
You can implement pure pointers on top of Data.Map with O(log n) time
Or on top of Data.IntMap with O(1) time. ;)
On Thu, Jul 15, 2010 at 9:20 AM, Pasqualino Titto Assini
tittoass...@gmail.com wrote:
Many thanks for the explanation.
But I thought that GHC always derives the most generic type, why does
it fix my 'a' to 'Int' ?
Inferring the type of higher ranked functions is problematic, so GHC
never does
On Wed, Jul 14, 2010 at 8:25 AM, Arnaud Bailly arnaud.oq...@gmail.com wrote:
Hello,
I would like to construct a collection of function-like objects on
which I could apply some value, in a typesafe and clean way.
You could use Data.Typeable.cast [1]
[1]
On Mon, Jul 12, 2010 at 9:50 AM, Simon Marlow marlo...@gmail.com wrote:
And hopefully things will improve over time, as fewer packages will need to
depend on base. We could also start pulling out APIs that are currently in
base into separate packages, without actually pulling out the code -
On Sun, Jul 11, 2010 at 2:05 PM, d...@patriot.net wrote:
OK, I know this is a newbie kind of thing (I guess I am a newbie to GHCi).
I've been over and over and over the wiki and I just can't find the
answer to this very, very elementary question. How can I load a package
that I've
On Sun, Jul 11, 2010 at 2:37 PM, Gour g...@gour-nitai.com wrote:
This is not good advertisement for Haskell and maybe it's time to
deploy more-secure Haskell web apps/frameworks...
As far as I know, haskell.org doesn't run on top of Haskell software.
--
Felipe.
On Fri, Jul 9, 2010 at 7:16 AM, Emil Melnicov emilm...@gmail.com wrote:
writeTVector :: TVector a - Int - a - STM ()
writeTVector (TVector t#) (I# i#) x = stm $ \s1# -
case readTVar# t# s1# of { (# s2#, (MutableArray a#)
#) -
case writeArray# a# i# x s2#
On Wed, Jul 7, 2010 at 8:00 PM, Greg Meredith
lgreg.mered...@biosimilarity.com wrote:
Dear Haskellians,
You may be interested in this video i did with Brian Beckman on monads,
location and coordinate systems.
Great, nice jamming! I wonder what's the URL of the Haskell code you
have, however
On Tue, Jul 6, 2010 at 7:15 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
As such, I probably won't be implementing the canonical form stuff any
time soon in graphviz, and might need to examine Graphviz's source code
to compare it and ensure that it's at least similar :s
I'm sorry
On Tue, Jul 6, 2010 at 7:53 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Felipe Lessa felipe.le...@gmail.com writes:
I'm sorry for being silly, but what's the motivation of having this
canonic form? =)
A few things come to mind:
* Easier to reason about, [...]
* Less
On Mon, Jul 5, 2010 at 6:12 AM, Ertugrul Soeylemez e...@ertes.de wrote:
Felipe Lessa felipe.le...@gmail.com wrote:
On Sat, Jul 3, 2010 at 9:25 AM, Ertugrul Soeylemez e...@ertes.de wrote:
Haskell provides a lot of low level glue like laziness, currying and
other very helpful language
On Mon, Jul 5, 2010 at 10:29 AM, Ertugrul Soeylemez e...@ertes.de wrote:
It happened once to me that I forgot that MVars don't have a queue. A
database thread would take values out of the MVar as commands and
execute them, but I used the same thread to put a command into the MVar
(for later
On Sun, Jul 4, 2010 at 7:03 AM, John Smith volderm...@hotmail.com wrote:
On 04/07/2010 12:00, Ivan Lazar Miljenovic wrote:
Have a look through the wish-list here:
http://www.reddit.com/r/haskell_proposals/
Thanks, I had a look at the list, but none of it seems to be appropriate for
a
On Sat, Jul 3, 2010 at 9:25 AM, Ertugrul Soeylemez e...@ertes.de wrote:
Haskell provides a lot of low level glue like laziness, currying and
other very helpful language features. But what is different in Haskell
is that it doesn't seem to provide any high level glue like other
languages do,
On Sat, Jul 3, 2010 at 9:43 AM, Daniel Fischer daniel.is.fisc...@web.de wrote:
Andrew Coppin:
Who says they do, or should?
Don, a few emails ago.
I think you missed a small detail there.
ivan.miljenovic:
Hmm, interesting. Applicative and Traversable are two classes I've
never used
On Sat, Jul 3, 2010 at 10:15 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Felipe Lessa felipe.le...@gmail.com writes:
There are many many other useful C libraries that we should have
bindings to. For example, Hackage doesn't have any MPI bindings.
Could we write an MPI client
Hello!
On Sat, Jul 3, 2010 at 9:12 PM, Dan Doel dan.d...@gmail.com wrote:
The problem is instantiation. SomeMonad is a constructor for the type
SomeMonad s a
for any *particular* s and a. But the type:
forall s. SomeMonad s a
is not that type. That type doesn't have constructors
On Wed, Jun 30, 2010 at 4:34 PM, Paul Johnson p...@cogito.org.uk wrote:
I'm starting to see job adverts mentioning Haskell as a nice to have, and
even in some cases as a technology to work with.
However right now I'm looking at it from the other side. Suppose someone
wants to hire a Haskell
On Sun, Jun 27, 2010 at 10:54:08AM +0100, Max Bolingbroke wrote:
Example 2: Codensity is the mother of all Monads
I thought the continuation monad was the mother of all monads. :)
For example, see [1].
Cheers!
[1] http://blog.sigfpe.com/2008/12/mother-of-all-monads.html
--
Felipe.
On Sat, Jun 26, 2010 at 09:29:29AM +0300, Roman Beslik wrote:
Incorrect encoding of filepaths is common in e.g. Cyrillic Linux
(because of multiple possible encodings --- CP1251, KOI8-R, UTF-8)
and is solved by fiddling with the current locale and media mount
options. No need to change a
On Sat, Jun 26, 2010 at 04:48:39PM +0400, Bulat Ziganshin wrote:
Saturday, June 26, 2010, 4:44:20 PM, Felipe Lessa wrote:
Even if we said we don't care, we at least should change
FilePath to be [Word8], and not [String]. Currently filepaths
are silently truncated if any codepoint is beyond
On Sat, Jun 26, 2010 at 05:01:06PM +0400, Bulat Ziganshin wrote:
Even if we said we don't care, we at least should change
FilePath to be [Word8], and not [String]. Currently filepaths
other OSs worked fine, should I use this API (i.e. type FilePath
= String) to its fullest extent, my
1 - 100 of 414 matches
Mail list logo
