ّ I don't follow the at and type B a. Behavior a itself is a
time function. At least in the version of the code that was
developed in Pual Hudak's Haskell School of Expression it was defined
as:
newtype Behavior a
= Behavior (([Maybe UserAction],[Time]) - [a])
In a function like time you
Tom Hawkins wrote:
apfelmus wrote:
So, in other words, in order to test whether terms constructed with Equal
are
equal, you have to compare two terms of different type for equality. Well,
nothing easier than that:
(===) :: Expr a - Expr b - Bool
Const === Const =
The key insight is that Behavior a is not necessarily a time function;
it's abstract. But you can treat it as if it was one by observing it
with at.
In Conal's paper, the internal type of behavior is:
-- composition of types; like (.) at the type level
newtype O h g a = O (h (g a))
--
Hi,
A small annoyance some users outside
english speaking countries usually
experiment when learning programming
languages is that real numbers use
a '.' instead of ','. Of course, that
is not such a problem except for the
inconsistence between computer and
free hand notation.
Do you think
I've dropped it on the discuss page:
http://www.haskell.org/haskellwiki/Talk:Import
Perhaps others have some input before I stick it on the page.
On Mon, Sep 15, 2008 at 4:36 PM, Paulo Tanimoto [EMAIL PROTECTED]wrote:
On Mon, Sep 15, 2008 at 3:04 PM, John Van Enk [EMAIL PROTECTED] wrote:
Hi Ryan,
Thanks very much for these explanations. Clear and right on!
Best regards, - Conal
P.S. I'll be at ICFP and am looking forward to seeing folks there.
2008/9/16 Ryan Ingram [EMAIL PROTECTED]
The key insight is that Behavior a is not necessarily a time function;
it's abstract. But
Hi,
I would like to write a Haskell pretty-printer,
using standard libraries for that. How can I
check if the original and the pretty-printed
versions are the same? For instance, is there
a file generated by GHC at the compilation
pipe that is always guaranteed to have the
same MD5 hash when it
the getCh funtion is supposed to return an interpreted Key with values
like KeyChar c, KeyReturn, KeyBackspace, etc.
but in fact, it only ever returns KeyChar c values !
am I doing anything wrong ?
Here's an example program :
module Main where
import UI.HSCurses.Curses
import Text.Printf
The message below is a rather old thread but, as Ian says, it's related to
http://hackage.haskell.org/trac/ghc/ticket/1470
http://hackage.haskell.org/trac/ghc/ticket/1735
which I have been looking it in preparation for 6.10.
The good news is that I think I have fixed #1470. I think #1735 is
Hi,
I tried to compile some code on Mac Os X (Intel) Leopard.
I have GHC 6.8.3 installed - the installer from GHC webpage (GHC-6.8.3-
i386.pkg).
But when I run make I get this error
ghc-6.8.3: could not execute: /Library/Frameworks/GHC.framework/
Versions/608/usr/lib/ghc-6.8.3/ghc-asm
The
Hello Johan Tibell,
Hyena looks very interesting. From the github tracking, you've been
working... Maybe a release soon?
Also, I saw your slides from the 'Left-fold enumerators' presentation at
Galois. Maybe include the slides in the docs/ for a release?
Thank you.
__
Donnie
On Thu, Mar 6,
I can sort of see what is happening in time = O (pure (Fun id)).
But I am not sure I understand this:
time :: Behavior Time
at time = id
as I understand it at is a function that take Behaviour and returns
a function that is Time - a.How can you have a function on the
left side of the
Mauricio wrote:
Hi,
A small annoyance some users outside
english speaking countries usually
experiment when learning programming
languages is that real numbers use
a '.' instead of ','. Of course, that
is not such a problem except for the
inconsistence between computer and
free hand
Wouldn't that make it hard to parse lists of floats?
On Tue, 2008-09-16 at 09:29 -0300, Mauricio wrote:
Hi,
A small annoyance some users outside
english speaking countries usually
experiment when learning programming
languages is that real numbers use
a '.' instead of ','. Of course, that
On 16 Sep 2008, at 16:29, Mauricio wrote:
I'm happy to
finaly use a language where I can
use words of my language to name
variables, so I wonder if we could
also make that step.
Really?
There is a bunch of languages (like Glagol) that use words of
Russian language as keywords; AFAIK there
Mauricio wrote:
Do you think 'read' (actually,
'readsPrec'?) could be made to also
read the international convention
(ie., read 1,5 would also work
besides read 1.5)? I'm happy to
finaly use a language where I can
use words of my language to name
variables, so I wonder if we could
also make that
Mauricio asked:
Do you think 'read' (actually,
'readsPrec'?) could be made to also
read the international convention
(ie., read 1,5 would also work
besides read 1.5)?
What would you hope the value of
read (1,2,3)::(Float,Float)
would be?
--
Dan
Mauricio wrote:
Do you think 'read' (actually,
'readsPrec'?) could be made to also
read the international convention
No. read and show are meant to be KISS, suitable for toy programs and
casual debugging messages. Real applications should use or invent a
sophisticated, general library.
Hi all,
taking a look at this tutorial under Windows Vista I ran into a problem:
happs-tutorial depends on HAppS-state which again depends on the unix
package which doesn't work under windows.
So my question is: is there another way to compile HAppS-State and
happs-tutorial on windows?
Mauricio wrote:
Do you think 'read' (actually,
'readsPrec'?) could be made to also
read the international convention
(ie., read 1,5 would also work
besides read 1.5)? I'm happy to
finaly use a language where I can
use words of my language to name
variables, so I wonder if we could
also make that
at time = id is not valid Haskell. It's expositional, describing a
law that at and time fulfill.
It's like saying m = return = m when describing the Monad laws.
You can't write that directly, but it better be true!
-- ryan
2008/9/16 Daryoush Mehrtash [EMAIL PROTECTED]:
I can sort of see
exactly. it's a specification of the denotational semantics of time. any
valid implementation must satisfy such properties.
2008/9/16 Ryan Ingram [EMAIL PROTECTED]
at time = id is not valid Haskell. It's expositional, describing a
law that at and time fulfill.
It's like saying m = return
On Tue, Sep 16, 2008 at 5:29 AM, Mauricio [EMAIL PROTECTED] wrote:
Do you think 'read' (actually,
'readsPrec'?) could be made to also
read the international convention
(ie., read 1,5 would also work
besides read 1.5)?
No, as read is really intended to be a language-level tool, not
Daryoush,
Hopefully, the other replies about proving the monad laws already answered
your previous question: yes!
As for notions of semantic domain and denotational model, these ideas go
back quite a ways; but, were given solid footing by Dana
Scotthttp://en.wikipedia.org/wiki/Dana_Scott.
In a
On Tue, Sep 16, 2008 at 9:30 AM, Mauricio [EMAIL PROTECTED] wrote:
Hi,
I would like to write a Haskell pretty-printer,
using standard libraries for that. How can I
check if the original and the pretty-printed
versions are the same? For instance, is there
a file generated by GHC at the
On 2008 Sep 16, at 10:30, Mauricio wrote:
I would like to write a Haskell pretty-printer,
using standard libraries for that. How can I
check if the original and the pretty-printed
versions are the same? For instance, is there
a file generated by GHC at the compilation
pipe that is always
On Tue, Sep 16, 2008 at 7:30 AM, Mauricio [EMAIL PROTECTED] wrote:
Hi,
I would like to write a Haskell pretty-printer,
using standard libraries for that. How can I
check if the original and the pretty-printed
versions are the same? For instance, is there
a file generated by GHC at the
I'm hoping some Haskell developers who use Macs can help me with this
one. I can install pcre-light just fine using cabal install. But when I
try to use it, I get this error:
GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help
:Loading package base ... linking ... done.
Prelude :m
Before you reinvent the wheel, have you looked at Language.Haskell.Pretty?
http://haskell.org/ghc/docs/latest/html/libraries/haskell-src/Language-Haskell-Pretty.html
On Tue, Sep 16, 2008 at 10:30 AM, Mauricio [EMAIL PROTECTED] wrote:
Hi,
I would like to write a Haskell pretty-printer,
using
Hey Patric,
Thanks for your great work on the blas bidnings. I have a question on
gemv. I thought its possible for blas to transpose the input matrix
before doing the multiplication. Is it possible to do that with the
haskell bindings? Or am I mistaken in how gemv is used
Thanks,
Anatoly
Could you provide us with the command line you were using?
--
_jsn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Thanks for all the input. It helped me arrive at the following
solution. I took the strategy of converting the parameterized type
into an unparameterized type which can be easily compared for Eq and
Ord. The unparameterized type enumerates the possible Const types
with help from an auxiliary
Miguel,
I tried to compile some code on Mac Os X (Intel) Leopard.
I have GHC 6.8.3 installed - the installer from GHC webpage
(GHC-6.8.3-i386.pkg).
But when I run make I get this error
ghc-6.8.3: could not execute: /Library/Frameworks/GHC.framework/
Versions/608/usr/lib/ghc-6.8.3/ghc-asm
Hello,
I only have a vague understanding of predicativity/impredicativity, but cannot
map this concept to practice.
We know the type of id is forall a. a - a. I thought id could not be applied
to itself under predicative polymorphism. But Haksell and OCaml both type check
(id id) with no
On Tue, Sep 16, 2008 at 11:15 AM, Donnie Jones [EMAIL PROTECTED] wrote:
Hello Johan Tibell,
Hyena looks very interesting. From the github tracking, you've been
working... Maybe a release soon?
I'm working towards it. I've been very busy at work lately but it's
getting there. I need to do
http://www.heise-online.co.uk/open/Shuttleworth-Python-needs-to-focus-on-future--/news/111534
cloud computing, transactional memory and future multicore processors
Get writing that multicore, STM, web app code!
-- Don
___
Haskell-Cafe mailing list
36 matches
Mail list logo