On 10/4/07, Pasqualino 'Titto' Assini [EMAIL PROTECTED] wrote:
My mental typechecker seems to diverge on the data EQ a b where Refl :: EQ
a a bit so I am now reading the typing dynamic typing paper, hoping for
further enlightment.
Basically, if you have Refl :: Eq a b, it provides a witness
On 10/7/07, Ryan Ingram [EMAIL PROTECTED] wrote:
On 10/4/07, Pasqualino 'Titto' Assini [EMAIL PROTECTED] wrote:
My mental typechecker seems to diverge on the data EQ a b where Refl ::
EQ
a a bit so I am now reading the typing dynamic typing paper, hoping for
further enlightment.
On 10/5/07, Reinier Lamers [EMAIL PROTECTED] wrote:
You can probably unify the behaviors of platforms a, b and c by calling
hSetBuffering on stdin to turn off buffering.
I'm not so sure about this. I had a similar problem (GHC6.6.1 on
Windows) where I had an app that wanted character-based
Hi Peter,
There is a Dotnet tree in the Hugs source code files, which I believe
is what supports dotnet. As far as I am aware, it probably won't work.
A windows developer may be able to build it, but I've never tried.
You might also be interested to know that Yhc supports --dotnet to
generate a
Isaac Dupree wrote:
David Carter wrote:
This is all as I would expect so far, but:
Prelude let sqlist = map sq
Prelude :t sqlist
sqlist :: [Integer] - [Integer]
And indeed, I get
Prelude sqlist [2.5]
interactive:1:8:
No instance for (Fractional Integer)
... etc
The dreaded
On 05/10/2007, Andrew Coppin [EMAIL PROTECTED] wrote:
So the question becomes: do you want to attract/seduce this kind of
programmer? Let's assume the answer is yes :-)
Um... that assumpion troubles me.
...
I think if we want to get anywhere we need to look at targeting people
whom
David Carter wrote:
Prelude let sqlist = map sq
...
Prelude sqlist [2.5]
interactive:1:8:
No instance for (Fractional Integer)
... etc
Isaac Dupree wrote:
The dreaded Monomorphism Restriction...
You could... use `ghci -fno-monomorphism-restriction`.
...it's good to know the
On Mon, 8 Oct 2007, Alistair Bayley wrote:
I posed the question: do we want to attract this kind of programmer?
My personal opinion, which some of you obviously don't share, is yes.
It isn't about whether or not the Haskell community needs those sorts
of programmers. It's whether or not those
I just had a conversation today that seems relevant to this thread. I
was chatting with a friend who is working in the academic sector, and
I was observing that Melbourne Uni (my old school), is switching in
the new year from teaching Haskell as a first language, to teaching
Python. I was
Hi All,
To test some programs written in CABAL, I need to use a server (where I
do not have root access) with GHC 6.6.1 (in-place) installed. However,
many programs need more libraries that have to be installed, (such as
binary, or derive) for which, even when I use ./Setup configure
Could you try
./Setup configure --prefix=$HOME/somewhere --user
HTH Christian
Nehir Sonmez wrote:
Hi All,
To test some programs written in CABAL, I need to use a server (where I
do not have root access) with GHC 6.6.1 (in-place) installed. However,
many programs need more libraries that
Sure, that did it! Thank you very much Christian...
Christian Maeder wrote:
Could you try
./Setup configure --prefix=$HOME/somewhere --user
HTH Christian
Nehir Sonmez wrote:
Hi All,
To test some programs written in CABAL, I need to use a server (where I
do not have root access) with GHC
On 10/8/07, Alistair Bayley [EMAIL PROTECTED] wrote:
I realise that a large influx of mediocre programmers will have a
negative effect on the community, but is that a reasonable price to
pay? I understand that may of you love a small, intimate, high-quality
community, but perhaps that will
bbrown wrote:
This is more an aesthetics question, I have a simple opengl application that
has a singleton like object I need to pass around to the display loop and
possibly to the keyboard action handler. (pseudo code)
data SimpleMech = SimpleMech {
mechPos :: !MVector,
On Mon, 08 Oct 2007 17:41:12 +0200, apfelmus wrote
bbrown wrote:
This is more an aesthetics question, I have a simple opengl application
that
has a singleton like object I need to pass around to the display loop and
possibly to the keyboard action handler. (pseudo code)
data
(moving to haskell-cafe...)
On 10/8/07, Johan Tibell [EMAIL PROTECTED] wrote:
On 10/8/07, bjornie [EMAIL PROTECTED] wrote:
Hi! I'm kind of new to functional programming with Haskell, I'm reading
a
university course you see. Now I'm having some problems with one of our
lab
assignments,
You can also remove the Monomorphism Restriction by adding an explicit
type signature:
Prelude let sqlist :: Num a = [a] - [a] ; sqlist = map sq
Prelude :t sqlist
sqlist :: (Num a) = [a] - [a]
Basically, there are three things that have to be the case for the MR
to kick in:
1) You are defining a
At my school the students are learning C/C++ in the programming courses, but
I'm teaching them a tiny bit of Haskell in the math courses, and most of
them seem to love it. I think every programmer should see an imperative,
object-oriented and lazy functional language, at least (and maybe also
don:
The main thing is porting to ghc 6.8 -- which means the new (*faster*)
lazy bytestring representation, and the smp parallel quickcheck driver
for the testsuite (it'll use N cores, watch the jobs migrate around).
Great news... Thanks for the collective work on this. I'm looking
forward to
On 10/8/07, Alistair Bayley [EMAIL PROTECTED] wrote:
For me, a large part of Haskell's attraction are the features which
reflect good engineering practice: strong, static type checking;
purely functional code; good FFI. It should be easier to write simple,
reliable software in Haskell than in
On 08/10/2007, Henning Thielemann [EMAIL PROTECTED] wrote:
You cannot turn any programmer into a disciplined programmer just by
giving him a well designed language. I you try so, they will not like to
use that language, will leave that language as soon as possible or they
try to adapt the
Thomas Conway writes:
I was observing that Melbourne Uni (my old school), is switching in
the new year from teaching Haskell as a first language, to teaching
Python. I was dismayed, but not surprised.
...
This was commented already, but perhaps a few words from a different
perspective.
On Mon, 8 Oct 2007, Alistair Bayley wrote:
On 08/10/2007, Henning Thielemann [EMAIL PROTECTED] wrote:
You cannot turn any programmer into a disciplined programmer just by
giving him a well designed language. I you try so, they will not like to
use that language, will leave that language as
On 10/8/07, Henning Thielemann [EMAIL PROTECTED] wrote:
Thus, what happens today? People ask Haskell-Cafe how to implement global
variables and they are advised to use IORefs and unsafePerformIO, although
the better answer is: Why do you want to do this? Even Tackling the
awkward squad
On Mon, 2007-10-08 at 20:54 +1000, Thomas Conway wrote:
I just had a conversation today that seems relevant to this thread. I
was chatting with a friend who is working in the academic sector, and
I was observing that Melbourne Uni (my old school), is switching in
the new year from teaching
since this doesn't seem to want to go away:-)
1. reverse psychology approach
if you have reached this page following rumours of a language
others told you every serious programmer would have to learn,
the ministry of programming would like to reassure you that
there is no such
On 08/10/2007, at 8:54 PM, Thomas Conway wrote:
I just had a conversation today that seems relevant to this thread. I
was chatting with a friend who is working in the academic sector, and
I was observing that Melbourne Uni (my old school), is switching in
the new year from teaching Haskell as
Don Stewart wrote,
catamorphism:
On 10/4/07, Don Stewart [EMAIL PROTECTED] wrote:
It was raised at CUFP today that while Python has:
Python is a dynamic object-oriented programming language that can be
used for many kinds of software development. It offers strong
support for
Andrew Coppin wrote,
I've seen quite a few people do crazy things to abuse the Haskell type
system in order to perform arithmetic in types. Stuff the type system
was never ever intended to do.
Well I was just wondering... did anybody ever sit down and come up with
a type system that *is*
29 matches
Mail list logo
