Yin,
2012/1/12 Yin Wang yinwa...@gmail.com:
I have an idea about type classes that I have been experimenting. It
appears to be a generalization to Haskell’s type classes and seems to
be doable. It seems to related the three ideas: type classes, implicit
parameters, and (typed) dynamic
Hi,
On 10.01.2012, at 19:05, Dave Tapley wrote:
I'm working on a dev branch of wxHaskell [1] and one of the new
features is that you can use wxHaskell in GHCi (again), but I seem to
have broken something in the process:
Firstly: wxHaskell works in GHCi insomuch as:
You can load the hello
uvector is deprecated, its functionnalities has been ported into vector.
2012/1/11 Artyom Kazak artyom.ka...@gmail.com
Also, uvector already supports unboxed Ratios:
http://hackage.haskell.org/package/uvector
In fact, I am surprised that Data.Vector doesn't have a Ratio
instance, but has a
From: Brandon Allbery allber...@gmail.com
On Wed, Jan 11, 2012 at 16:26, Andr? Scholz andre.sch...@uni-bremen.dewrote:
(on unix) creating a process A which spawns itself a subprocess B and
terminating process A before it finishes leaves process B as a process on
its
own. This is because
On 11.01.2012 at 23:08 Donn Cave wrote:
Quoth Brandon Allbery allber...@gmail.com,
...
terminateProcess passes on the semantics of kill(2); on SVID-compliant
(and I think POSIX.1-compliant) systems, the negative of the process
group leader's process ID is used to signal the process
Hi all,
I'm seeing the Control.Concurrent.STM.atomically was nested error,
but I just can't figure out what's happening. I'm not using any unsafe
IO (only for debug printing), and the test program is only running one
thread. Where is a transaction being nested?
What are the scenarios where this
In order to keep up with customer demand, we are looking to hire a
Haskell expert to work with us at Well-Typed
(http://www.well-typed.com/) as a Haskell consultant.
This is an exciting opportunity for someone who is passionate about
Haskell and who is keen to improve and promote Haskell in a
On Thu, Jan 12, 2012 at 6:48 AM, Johan Brinch brin...@gmail.com wrote:
Hi all,
I'm seeing the Control.Concurrent.STM.atomically was nested error,
but I just can't figure out what's happening. I'm not using any unsafe
IO (only for debug printing), and the test program is only running one
On Thu, Jan 12, 2012 at 14:56, Antoine Latter aslat...@gmail.com wrote:
Where is 'evalCacheSTM' defined?
Here you go:
https://gist.github.com/8dbff672a14533c70aa2
--
Johan Brinch
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Hello!
I'd like to announce the first release of the quickcheck-instances
package, which aims to consolidate commonly needed class instances for
use with QuickCheck.
These instances are appropriate when your tests don't have strong
requirements on the nature of the input data - for example, if
On Thu, Jan 12, 2012 at 06:56, André Scholz andre.sch...@uni-bremen.dewrote:
gid - createProcessGroup pid
but i get the error message:
createProcessGroup: permission denied
It's only going to work on BSDish systems; on systems using the SVID/POSIX
model, only the current process
Quoth Brandon Allbery allber...@gmail.com,
On Thu, Jan 12, 2012 at 06:56, André Scholz
andre.sch...@uni-bremen.dewrote:
gid - createProcessGroup pid
but i get the error message:
createProcessGroup: permission denied
the documentation for terminateProcess is incorrect and
Hello,
On 12.01.2012 at 17:00 Brandon Allbery wrote:
I need to go look at the implementation of System.Process, though; the
documentation strongly implies that (a) it already creates a process group,
System.Process-1.1.0.0 introduces the new field create_group :: Bool in the
datatype
People,
(I wonder: is this for beginn...@haskell.org ?)
I need to organize a string interface for a Haskell function
Main.axiom and a C program
fifoFromA.c
via a pair of named pipes (in Linux, UNIX).
The pipes are created before running, by the commands
On 01/12/2012 07:53 PM, Serge D. Mechveliani wrote:
[...]
For the to-A part writen in C (instead of Haskell), this interface
loop works all right.
With Haskell, I manage to process only a single string in the loop,
and then it ends with an error.
Main.hs is given below.
I never dealt
Yves Parès limestr...@gmail.com писал(а) в своём письме Thu, 12 Jan 2012
13:14:16 +0200:
uvector is deprecated, its functionnalities has been ported into vector.
Yes, but a Ratio a instance hasn't been ported.
I admit that I have overlooked the “deprecated” warning, and agree that it
is
Quoth Serge D. Mechveliani mech...@botik.ru,
(I wonder: is this for beginn...@haskell.org ?)
No, not really! As already mentioned, the use of UnsafePerformIO
goes a little beyond what I think is its intended purpose, and I
think you might have better luck here with a test program that
Let's say I have:
data T0
data T1
data T a where
A :: T T0
B :: T T1
Then I can write the following without getting any non-exhaustive
pattern match warnings:
t :: T T0 - String
t a = case a of
A - A
However, if I use type classes to constrain the constructors, instead
of using the
Type classes are open, so nothing prevents someone from adding an
instance 'C0 T1' and calling 't' with constructor 'B', causing a crash
due to the missing pattern.
Erik
On Thu, Jan 12, 2012 at 21:40, Tom Hawkins tomahawk...@gmail.com wrote:
Let's say I have:
data T0
data T1
data T a where
Type classes are inherently open. The compiler uses only the facts that there
ARE some instances of the classes it needs, but it doesn't attempt to use
information that some types AREN'T instances of certain classes. So, it can't
use information that T0 isn't an instance of C1. And that's right
On 12/01/2012 12:48 PM, Johan Brinch wrote:
I'm not using any unsafe IO
OK, good...
(only for debug printing)
...ah. It seems we have reached a contradiction.
Where is a transaction being nested?
My guess is that your debug printing is causing something to be
evaluated when it
On Thu, Jan 12, 2012 at 16:50, Andrew Coppin andrewcop...@btinternet.comwrote:
My guess is that your debug printing is causing something to be
evaluated when it otherwise wouldn't be, causing a transaction to begin
within a transaction.
My guess is something is being lazily evaluated as
On 12/01/2012, at 21:01, Artyom Kazak wrote:
Yves Parès limestr...@gmail.com писал(а) в своём письме Thu, 12 Jan 2012
13:14:16 +0200:
uvector is deprecated, its functionnalities has been ported into vector.
Yes, but a Ratio a instance hasn't been ported.
FWIW, vector isn't a port of
On Thu, Jan 12, 2012 at 7:48 AM, Johan Brinch brin...@gmail.com wrote:
Hi all,
I'm seeing the Control.Concurrent.STM.atomically was nested error,
but I just can't figure out what's happening. I'm not using any unsafe
IO (only for debug printing), and the test program is only running one
On 11/01/2012 15:20, Thomas Schilling wrote:
Based on your stated background, the best start would be the (longer)
paper on the Spineless Tagless G-machine [1].
Thanks for the tips. I haven't read much yet, but considering [1], I
guess I shouldn't have dismissed SPJs early 90's stuff so
On Thu, Jan 12, 2012 at 22:56, Brandon Allbery allber...@gmail.com wrote:
On Thu, Jan 12, 2012 at 16:50, Andrew Coppin andrewcop...@btinternet.com
wrote:
My guess is that your debug printing is causing something to be
evaluated when it otherwise wouldn't be, causing a transaction to begin
On Tue, Jan 10, 2012 at 9:25 AM, Steve Horne
sh006d3...@blueyonder.co.uk wrote:
Also, what papers should I read? Am I on the right lines with the ones I've
mentioned above?
Thomas Schilling gave you a good response with papers so I will give
you a different perspective on where to look.
Most
Hi,
I have a Windows AD server. And ldapsearch tool works to get
someone's information. But when I turned it into Haskell code. It does
not work as expected.
Here is the ldapsearch and result. You can see that sn/givenName
have values that are encoded utf-8.
Next to it is the code I am
On 1/12/12 8:50 PM, Jason Dagit wrote:
On Tue, Jan 10, 2012 at 9:25 AM, Steve Horne
sh006d3...@blueyonder.co.uk wrote:
Also, what papers should I read? Am I on the right lines with the ones I've
mentioned above?
Thomas Schilling gave you a good response with papers so I will give
you a
29 matches
Mail list logo