I like using smart constructors to replace :<=>: and :=>:
a \/ b = a :\/: b
a /\ b = a :/\: b
a ==> b = Not a \/ b
a <=> b = (a ==> b) /\ (b ==> a)
Also, if you generalize Sentence a bit you get a really nice
formulation of "true". See my paste at http://hpaste.org/13807#a2
-- ryan
2009/1/10
On Sunday 11 January 2009 01:44:50 Andrew Wagner wrote:
> Nice Idea, though I don't know that I want something that extensive. I was
> more looking for whether there was a better way I could define the
> algebraic data type.
Let's have a look at your definitions from http://hpaste.org/13807#a1 :
Peter Verswyvelen schrieb:
> Now, for binary operators, Thomas Davie made a nice pair of combinators
> on Hackage (InfixApplicative) that would allow this to become:
>
> h3 x = f x <^(+)^> g x
http://www.haskell.org/haskellwiki/Infix_expressions
___
H
Peter Verswyvelen schrieb:
> Related to this issue, I have a question here.
>
> I might be wrong, but it seems to me that some Haskellers don't like
> writing monads (with do notation) or arrows (with proc sugar) because of
> the fact they have to abandon the typical applicative syntax, which is
Patrick Perry schrieb:
> The reason I want to expose modules but hide the documentation is
> because there are a lot of "unsafeX" functions I want to provide access
> to, but which 99% of users don't care about. The array library does the
> same thing.
Alternatively, the DEPRECATED pragma may pre
Holy concatenated operators, Batman!
Is that an operator or Batman?
> (yes, I know, 3 operators)
>
> --
> brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com
> system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu
> electrical and computer engineering, carne
On 2009 Jan 10, at 15:19, Peter Verswyvelen wrote:
h3 x = f x <^(+)^> g x
Is that an operator or Batman?
(yes, I know, 3 operators)
--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com
system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu
electrical an
Nice Idea, though I don't know that I want something that extensive. I was
more looking for whether there was a better way I could define the algebraic
data type.
On Sat, Jan 10, 2009 at 6:04 PM, Miguel Mitrofanov wrote:
> Look at SYB (Data.Data, Data.Generics.*). For example, your "symbols"
> fu
On Sat, Jan 10, 2009 at 4:37 PM, Manlio Perillo wrote:
> Galchin, Vasili ha scritto:
>
>> [...]
>>I suspect that this is a problem with shared library loading in
>>ghci, since the C code you use for your package, is also used by the
>>base package (for the Posix subsystem).
>>
>>By
Quoth "John A. De Goes" :
| Take a language like Ruby or Python (or Java, or C#, etc.). The vast
| majority of code written in these languages does not "get down to the
| C level". When I say, "vast majority", I'm referring to > 99.999%.
| That's because the standard libraries provide suffic
Manlio Perillo wrote:
Hi.
Just out of curiosity, but why Haskell 98 System.CPUTime library module
uses picoseconds instead of, say, nanoseconds?
At least on POSIX systems, picoseconds precision is *never* specified.
I have not idea. But at a guess, I would say that 1 ns is not such a smal
Look at SYB (Data.Data, Data.Generics.*). For example, your "symbols"
function can be rewritten as
symbols :: Sentence -> [Symbol]
symbols s = nub $ listify (const True) s
"true" is not that simple, because this code is NOT boilerplate - each
alternative is valuable by itself.
On 10 Jan 20
Mauricio wrote:
patients, I wanted to be sure not to save wrong
information. It wouldn't matter if the clock is
saying we are on XVII century, as long as 10 seconds
would never be 10.1.
Chris (yes I am an experimental physicist) asks:
What are the interval durations you need to measure?
0.1
Galchin, Vasili ha scritto:
[...]
I suspect that this is a problem with shared library loading in
ghci, since the C code you use for your package, is also used by the
base package (for the Posix subsystem).
By the way: I don't see reasons to add all that code, since it is
not
Mauricio ha scritto:
POSIX realtime extensions have been developed to be high reliable.
(...) However, they offer
no guarantees on interval measurements, and the correction algorithms
can cause the measurement of a time interval of an hour or so duration
to be off by +/- 1 sec, especially withi
On Sat, Jan 10, 2009 at 5:52 AM, Manlio Perillo wrote:
> Galchin, Vasili ha scritto:
>
>> Manlio,
>>
>> so compiling to native machine code works ok but if using ghci byte-code
>> interpreter doesn't . can you supply your program please?
>>
>>
> Right.
> Can't you reproduce the problem?
>
> Th
Hi Kyra,
IT WORKS!
Thank you very much, my application is now almost finished.
It was a whole lot of fun writing this in Haskell, but the last 2 weeks
where frustrating, until today.
I am amazed at the possibilities Haskell gives me in wiring code together
and I would not want to miss it
---
Haskell Weekly News
http://sequence.complete.org/hwn/20090110
Issue 100 - January 10, 2009
---
Welcome to issue 100 of HWN, a newsletter covering
Hi.
Just out of curiosity, but why Haskell 98 System.CPUTime library module
uses picoseconds instead of, say, nanoseconds?
At least on POSIX systems, picoseconds precision is *never* specified.
Thanks Manlio Perillo
___
Haskell-Cafe mailing list
Galchin, Vasili ha scritto:
Hi Manlio,
I am the author of this package. Let me think about what you have
said.
Regards, Vasili
If you can't reproduce the problem:
there is a possibility that I have messed up my (GHC) system.
I'm on Linux Debian Lenny.
GHCi, version 6.8.2: http://www
All,
Is there some better way to do this? It seems like a lot of boilerplate.
Thanks!
http://hpaste.org/13807#a1
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
POSIX realtime extensions have been developed to be high reliable.
(...) However, they offer
no guarantees on interval measurements, and the correction algorithms
can cause the measurement of a time interval of an hour or so duration
to be off by +/- 1 sec, especially within the first few hours
>
> For example, which of these is easier to read?
>
> f,g :: Int -> [Int]
>
> h1 :: Int -> [Int]
> h1 x = do
>fx <- f x
>gx <- g x
>return (fx + gx)
>
> h2 :: Int -> [Int]
> h2 x = (+) <$> f x <*> g x
>
> h3 :: Int -> [Int]
> h3 x = f x + g x -- not legal, of course, but wouldn't it
Hi Bulat,
(...)
Thus my cry for help explicitly to Haskellers on Windows.
(...)
It's a pitty that Windows receives so little support, but I guess if
nobody has a Windows box to test with, there's not much you can do about
it.
I think it deserves consideration: what about a mailing
list lik
My issue is that there seem to be many cases where the syntax
extension does *almost* what I want, but not quite. And there isn't
any method to extend it, so you are left with two choices:
(1) Go back to unsugared syntax
(2) Hack your technique into the constraints of the existing syntax exten
Kyra,
that is fantastic new!
Victory is near, I can smell it hahahahahahahaha ...
Um, sry for that, I'm just really really happy and glad I made that post
today. I've been trying to get this issue resolved for more than 14 days
now and if now solution had shown up on the horizon I would hav
redcom:
> Hi all,
>
> I'm looking for Haskell programmer that use Windows as their OS-Plattform.
> I developing an application in Haskell on Windows and run into problems
> that seem to have a lower priority with the greater Haskell community as
> most of them are using Linux where the probl
Andrew,
even moral support is welcome.
I'm on WinXP Pro here, using ghc 6.8.3, and cabal install.
Maybe I can help with the installation problem, what did you do so far?
Günther
Am 10.01.2009, 15:38 Uhr, schrieb Andrew Coppin
:
Günther Schmidt wrote:
Hi Bulat,
I do :), but I was amaz
John Goerzen wrote:
GЭnther Schmidt wrote:
Kyra I've tried any sort of values to any sort of columns. I tried "insert
into somesinglecolumntable (someNumbercolumn) values (?)" [toSql 5] ...
and so on.
So I'm not certain at all the error message does actually give the right
clue.
It just
Thanks for the suggestion!
Done and uploaded to hackage.
Patrick
On Jan 10, 2009, at 9:07 AM, Eugene Kirpichov wrote:
Why don't you put them into a separate non-hidden Unsafe module and
provide documentation for it? Users who don't care simply won't look
there, whereas users who do care (for
john:
> On Jan 9, 2009, at 9:01 AM, Creighton Hogg wrote:
> >2009/1/9 John A. De Goes :
> >>
> >>If you're looking for a project to take on, I would suggest
> >>starting with
> >>the following:
> >>
> >>A high-level, type-safe AMQP client written in 100% Haskell, which
> >>provides
> >>a clean
Günther Schmidt wrote:
Hi Bulat,
I do :), but I was amazed that there was no response to a post with,
what I thought, would be a rather common problem for an application
developer. That post was about writing to an MS-Access database via
HDBC-ODBC, which fails. When I then asked the HDBC main
Thank you all for your responses on this. These ideas/materials are
very helpful. In particular, the John Harrison book looks excellent (http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/index.html
) -- a comprehensive and understandable introduction to all the
concepts I had in mind.
Hi John,
thx for responding :)
I'm trying to analyze the HDBC code so that, maybe, I'm able to find the
spot that's causing me trouble.
Do you happen to have some documentation on how you desigend this?
Also while digging through the code I learned some stuff that I found
quite interesst
On Sat, 10 Jan 2009 15:04:36 +0100, you wrote:
>POSIX realtime extensions have been developed to be high reliable.
I think people are missing the details here. Yes, the built-in real-time
clocks have excellent long-term accuracy. They run UTC-based correction
algorithms using NTP, and are thus tr
I¹ve made a bit of progress here after reading up on Darwin¹s GCC a bit
more:
ghc --make -no-hs-main -fPIC -optl '-dynamiclib' -optl '-undefined' -optl
'suppress' -optl '-flat_namespace' -o Inv.dylib InverseNormal.hs
This dies when it links against haskell¹s own libraries, my guess is because
t
No, it's not HDBC -- which I have not yet tried. I'll tell you what:
I'll give HDBC a try this week and let you know if it's as easy as you
say it is. :-)
Regards,
John
On Jan 10, 2009, at 10:09 AM, John Goerzen wrote:
John A. De Goes wrote:
Hi John,
Take two examples I gave up getti
Günther Schmidt wrote:
> Hi Kyra,
>
> and again, thanks for taking the effort.
>
> Kyra I've tried any sort of values to any sort of columns. I tried "insert
> into somesinglecolumntable (someNumbercolumn) values (?)" [toSql 5] ...
> and so on.
>
> So I'm not certain at all the error message
John A. De Goes wrote:
>
> Hi John,
>
> Take two examples I gave up getting to work: a Haskell wrapper for a
> popular GUI library; and a Haskell wrapper for a database. I understand
Is this database HDBC? If so, then I would appreciate detailed
description of your problem so I can address it.
Why don't you put them into a separate non-hidden Unsafe module and
provide documentation for it? Users who don't care simply won't look
there, whereas users who do care (for whom you are providing access)
will still have a possibility to do so.
2009/1/10 Patrick Perry :
> The reason I want to exp
On Jan 9, 2009, at 8:23 AM, John Goerzen wrote:
Well, you pretty much always have to get down to the C level on a *nix
platform at some point, anyhow. You've got to make syscalls
somewhere.
Take a language like Ruby or Python (or Java, or C#, etc.). The vast
majority of code written in the
The reason I want to expose modules but hide the documentation is
because there are a lot of "unsafeX" functions I want to provide
access to, but which 99% of users don't care about. The array library
does the same thing.
Patrick
___
Haskell-Ca
On Jan 9, 2009, at 9:01 AM, Creighton Hogg wrote:
2009/1/9 John A. De Goes :
If you're looking for a project to take on, I would suggest
starting with
the following:
A high-level, type-safe AMQP client written in 100% Haskell, which
provides
a clean way of handling hundreds of unique mes
Hi John,
Take two examples I gave up getting to work: a Haskell wrapper for a
popular GUI library; and a Haskell wrapper for a database. I
understand the former has a new team of developers, so perhaps it's
time to revisit the library. Then again, writing 5000 line GUIs in an
imperative
2009/1/10 Patrick Perry :
> Hi David,
>
> The problem is with Hackage, not with haddock.
Oops, Sorry. I misread Hackage as Haddock :)
David
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Kyra,
and again, thanks for taking the effort.
Kyra I've tried any sort of values to any sort of columns. I tried "insert
into somesinglecolumntable (someNumbercolumn) values (?)" [toSql 5] ...
and so on.
So I'm not certain at all the error message does actually give the right
clue.
On Sat, Jan 10, 2009 at 02:46:05AM -0800, Patrick Perry wrote:
> Here's the haddock documentation; I'm not sure if Hackage honors {-#
> OPTIONS_HADDOCK hide #-} when it displays the exposed modules:
>
> http://quantile95.com/blas/
Who do you want the same modules to be both exposed and hidden?
_
Hi David,
The problem is with Hackage, not with haddock.
Patrick
On Jan 10, 2009, at 3:38 AM, David Waern wrote:
2009/1/10 Patrick Perry :
Here's the haddock documentation; I'm not sure if Hackage honors {-#
OPTIONS_HADDOCK hide #-} when it displays the exposed modules:
http://quantile95.c
Related to this issue, I have a question here.
I might be wrong, but it seems to me that some Haskellers don't like
writing monads (with do notation) or arrows (with proc sugar) because of the
fact they have to abandon the typical applicative syntax, which is so close
to the beautiful lambda calc
Hi Kyra,
thanks for your reply.
The problem I was facing is using an MS-Access backend with HDBC-ODBC. I
try to export data to MS-Access and I can't get it to work. Otherwise HDBC
works fine in other parts of my app but with MS-Access it blows up.
I did of course post this on the haskell-c
Hi Jason,
I don't mean to take this off-list at all.
Quite the opposite, I just meant to draw the attention of other Haskellers
who also use Windows and might feel a bit alone because of it.
It certainly was my feeling, this is only for the windows specific Haskell
stuff.
Günther
Am 10
I do have to ship things to Windows and so I have a small
amount of interaction with that platform.
This is, unfortunately, something we see all over open source
environments. Python and Ruby lists both see posts like this
from time to time.
While it is important that the interests of
Hello Günther,
Saturday, January 10, 2009, 5:31:13 PM, you wrote:
i think that problem is not shortage of windows developers among haskellers,
but shortage of db developers :)
> Hi Bulat,
> I do :), but I was amazed that there was no response to a post with, what
> I thought, would be a rather
Hi Bulat,
I do :), but I was amazed that there was no response to a post with, what
I thought, would be a rather common problem for an application developer.
That post was about writing to an MS-Access database via HDBC-ODBC, which
fails. When I then asked the HDBC maintainer himself it tur
Steve Schafer ha scritto:
On Fri, 09 Jan 2009 09:28:49 -0600, you wrote:
I'm not sure that the original question implied *that* level of need.
I can't imagine being worried about leap seconds yet at the same time
being willing to accept the potential vagaries of any of the built-in
clocks.
Hi all,
I'm looking for Haskell programmer that use Windows as their OS-Plattform.
I developing an application in Haskell on Windows and run into problems
that seem to have a lower priority with the greater Haskell community as
most of them are using Linux where the problems do not occur or
I know the short-term answer is "use TH" to derive folds if
I want them, but I think such an important concept should probably
be part of the language.
The fold function is an example of a generic program, which can
be defined using generic programming libraries. Since the fold
has to know about
On Fri, Jan 9, 2009 at 8:22 PM, Don Stewart wrote:
> Every time Simon responds on questions of parallelism and the GHC
> runtime, I learn something. That indicates to me that we've got a 'bus
> error' situation with how to effectively use the smp runtime.
>
> Simon: time for a multicore FAQ wiki p
Galchin, Vasili ha scritto:
Manlio,
so compiling to native machine code works ok but if using ghci byte-code
interpreter doesn't . can you supply your program please?
Right.
Can't you reproduce the problem?
The program is very simple (I was just testing your package, since I
suggested
2009/1/10 Patrick Perry :
> Here's the haddock documentation; I'm not sure if Hackage honors {-#
> OPTIONS_HADDOCK hide #-} when it displays the exposed modules:
>
> http://quantile95.com/blas/
It should, so If it doesn't then please tell us about it. We have a trac at:
http://trac.haskell.org/
Here's the haddock documentation; I'm not sure if Hackage honors {-#
OPTIONS_HADDOCK hide #-} when it displays the exposed modules:
http://quantile95.com/blas/
Patrick
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/ma
New version!
The blas package is a set of bindings to the BLAS (Basic Linear Algebra
Subprograms) library.
On Hackage:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/blas-0.7
What's new:
* Get rid of most functional dependencies in favor of type families.
There is one remain
62 matches
Mail list logo
