Hello. I'm trying to understand the FRP (by implementing FRP system on
my own) and I think I'm slowly getting it.
1. How to interpret ArrowLoop? I have two possible implementations:
type RunSF a = a Dynamic ()
data SF a b c =
SF (a (Dynamic, b, RunSF, Set Unique) (c, Set Unique, SF a b c))
Ivan Lazar Miljenovic wrote:
I've been thinking of doing something similar for a year or so now, but
there's one big problem that I can think of: how to deal with functions
that don't have an explicit type signature in the source. My
understanding is that to derive these signatures at checking
On 2 April 2010 07:22, Twan van Laarhoven twa...@gmail.com wrote:
As a simple approximation, you could consider functions without type
signatures to have changed if their implementation or any function they
depend on has changed.
Ah, too much work.
Having libraries where the exported
1) Haven't look closely, but your second ArrowLoop instance seems righter. The
question really is the same as with MonadFix instances; you can always define
an instance like this
data M = ... -- whatever
instance Monad M where ...
instance MonadFix M where mfix f = mfix f = f
...but this
Jens Blanck jens.bla...@gmail.com writes:
On 1 April 2010 10:53, Ivan Lazar Miljenovic ivan.miljeno...@gmail.comwrote:
Jens Blanck jens.bla...@gmail.com writes:
I was wondering if someone could give me some references to
when and why the choice was made to default integral
numerical
On Thu, Apr 1, 2010 at 9:13 PM, Rogan Creswick cresw...@gmail.com wrote:
On Thu, Apr 1, 2010 at 3:52 PM, Thomas Tuegel ttue...@gmail.com wrote:
There are a few frameworks that provide limited degrees of this
functionality. I've recently added to test-framework so that the
results can be
How about something more colourful?
http://i.imgur.com/7jCPq.png
The Get Haskell box should of course be a shiny button. A shadow
separating the content box from the background would probably also be
a good idea. But the main point is: less dull colours, and the
important links should go at
I am in the damned position to have tried to develop a GUI app in
Haskell. I'm building on top of gtk2hs, now we have a new compiler
version a new Platform release and no gtk2hs release, so
I cite from a mail from a potential user/contributor for my GUI app.
What shall I say, how should he install
On Thu, Apr 1, 2010 at 9:36 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
I propose to build a test suite as its own executable, but to avoid
the problem of granularity by producing an output file detailing the
success or failure of individual tests and any relevant error
On Thu, Apr 1, 2010 at 11:27 AM, Jens Blanck jens.bla...@gmail.com wrote:
I was wondering if someone could give me some references to when and why the
choice was made to default integral numerical literals to Integer rather
than to Int in Haskell. Also, if you are aware of similar discussions
Hi Jürgen,
For GHC-6.12, just darcs version support.
So please download darcs version.
Axel has working on that make gtk2hs build on cabal.
And i'm working on update All gtk2hs API to Gtk+ 2.18.3 (have finish
99%), i can finish all APIs in later days.
Axel have finish some sub-modules on
Never been a fan of GTK myself, but that's because I was a KDE developer I
guess :-).
Having said that, are there any plans to make it really easy to get gtk2hs
working on Mac OS X?
Dave
On Fri, Apr 2, 2010 at 6:34 AM, Andy Stewart lazycat.mana...@gmail.comwrote:
Hi Jürgen,
For GHC-6.12,
Ivan Lazar Miljenovic schrieb:
Stephen Tetley stephen.tet...@gmail.com writes:
I had a little experiment along the lines of A Package Versioning
Policy Checker a few months ago. I got as far as using
Haskell-src-exts to extract module export list, but didn't work out
out a hashing scheme for
On Fri, Apr 02, 2010 at 07:41:38AM -0700, David Leimbach wrote:
Having said that, are there any plans to make it really easy to get gtk2hs
working on Mac OS X?
I think this is an important issue in developing run-of-the-mill GUI
apps in Haskell. I recently wrote a small application using
Yes Haskell is not strong on the GUI end of things but have you
considered turning your desktop app into a web app? I've done this for
a few things and really enjoyed the process. Haskell's STM is what
makes this so nice.
Basically the you start a Haskell service on port some-large-number
and
On 2 April 2010 17:53, Dominic Espinosa dces...@fastmail.fm wrote:
[SNIP]
I ended up rewriting it in another language (due to time
pressure) and I'm a little wary of attempting to use Haskell again for
developing such an application.
Hi Dominic
Out of curiosity what language did you choose
Hi
gladst...@gladstein.com wrote:
As a working engineer, one of my greatest frustrations is my inability
to use Haskell in the workplace. The unfortunate fact is that my media
industry clients use mostly Windows, some Macs, and no linux except for
servers. The core system works everywhere,
On Fri, Apr 2, 2010 at 12:53 PM, Dominic Espinosa dces...@fastmail.fm wrote:
Is there a general strategy for deploying Haskell apps, graphical or no,
to MacOS X and/or Windows? I'm especially interested in cases where the
application uses some heavyweight libraries like OpenGL.
I have a GUI
On Thu, Apr 1, 2010 at 5:27 AM, Jens Blanck jens.bla...@gmail.com wrote:
I was wondering if someone could give me some references to when and why the
choice was made to default integral numerical literals to Integer rather
than to Int in Haskell. Also, if you are aware of similar discussions in
Stephen Tetley stephen.tet...@gmail.com disse:
On 2 April 2010 17:53, Dominic Espinosa dces...@fastmail.fm wrote:
[SNIP]
I ended up rewriting it in another language (due to time
pressure) and I'm a little wary of attempting to use Haskell again for
developing such an application.
Hi
Darryn Reid wrote:
Heinrich,
Thanks for your excellent response! Indeed, it was the rebuilding of the
tree that had me stumped. I also see the benefits of using the lift
functions, thanks again for this insight.
My pleasure. :)
By the way, there's also another, very flexible way to rebuild
On 3/31/10 12:44, Heinrich Apfelmus wrote:
go Next (Single x t1) = liftM (Single x) (rewrite f t1)
go Next (Fork t1 t2 ) = liftM2 Fork (rewrite f t1)
(rewrite f t2)
In particular, liftM and liftM2 make it apparent that we're
On Fri, 2 Apr 2010, Maciej Piechotka wrote:
1. How to interpret ArrowLoop? I have two possible implementations:
type RunSF a = a Dynamic ()
data SF a b c =
SF (a (Dynamic, b, RunSF, Set Unique) (c, Set Unique, SF a b c))
(...)
instance ArrowLoop (SF a) where
loop (SF f) = loop' f
Jens Blanck schrieb:
I was wondering if someone could give me some references to when and
why the choice was made to default integral numerical literals to
Integer rather than to Int in Haskell. Also, if you are aware of
similar discussions in other languages.
I think type defaulting is only
On 01/04/10 22:19, Thomas Schilling wrote:
In my opinion the project would be worthwhile even if it's not in the
Top 8. Mentors vote on the accepted projects based both on the
priority of the project and the applying student, so it's probably not
a bad idea to apply for other projects as well
On Apr 2, 2010, at 10:41 , David Leimbach wrote:
Having said that, are there any plans to make it really easy to get
gtk2hs working on Mac OS X?
It's in MacPorts.
--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com
system administrator [openafs,heimdal,too many hats]
On 2 April 2010 20:15, Brandon S. Allbery KF8NH allb...@ece.cmu.edu wrote:
On Apr 2, 2010, at 10:41 , David Leimbach wrote:
Having said that, are there any plans to make it really easy to get gtk2hs
working on Mac OS X?
It's in MacPorts.
But that's the variant using X11, no? There now is a
On Apr 2, 2010, at 15:21 , Thomas Schilling wrote:
On 2 April 2010 20:15, Brandon S. Allbery KF8NH
allb...@ece.cmu.edu wrote:
On Apr 2, 2010, at 10:41 , David Leimbach wrote:
Having said that, are there any plans to make it really easy to get
gtk2hs
working on Mac OS X?
It's in MacPorts.
On Fri, Apr 2, 2010 at 10:31 AM, Anthony Cowley acow...@seas.upenn.eduwrote:
On Fri, Apr 2, 2010 at 12:53 PM, Dominic Espinosa dces...@fastmail.fm
wrote:
Is there a general strategy for deploying Haskell apps, graphical or no,
to MacOS X and/or Windows? I'm especially interested in cases
On Apr 2, 2010, at 15:21 , Thomas Schilling wrote:
On 2 April 2010 20:15, Brandon S. Allbery KF8NH
allb...@ece.cmu.edu wrote:
On Apr 2, 2010, at 10:41 , David Leimbach wrote:
Having said that, are there any plans to make it really easy to get
gtk2hs
working on Mac OS X?
It's in MacPorts.
On 2 Apr 2010, at 21:01, Brandon S. Allbery KF8NH wrote:
On Apr 2, 2010, at 15:21 , Thomas Schilling wrote:
On 2 April 2010 20:15, Brandon S. Allbery KF8NH allb...@ece.cmu.edu wrote:
On Apr 2, 2010, at 10:41 , David Leimbach wrote:
Having said that, are there any plans to make it really easy
This package [1] provides STM data structures with IO hooks. The basic
building blocks are instances of class TBox. Such an instance is an
STM variable that might contain a value of some type a. In contrast to
a plain 'TVar (Maybe a)', a TBox has IO hooks that are executed
transparently on writes
On Fri, Apr 02, 2010 at 06:11:52PM +0100, Stephen Tetley wrote:
On 2 April 2010 17:53, Dominic Espinosa dces...@fastmail.fm wrote:
[SNIP]
I ended up rewriting it in another language (due to time
pressure) and I'm a little wary of attempting to use Haskell again for
developing such an
Sorry for no Subject on the first post. In any case, I meant this
Wall Street Journal as a challenge to the Haskell community to perhaps
step up to the plate in the auto arena vis-a-vis software
correctness. I realize that with hard real-time problems and a garbage
collector that that could be a
This is a great idea! IMO this is also one of the main ways that
GUI-based apps are likely to evolve into in the future. Cross-platform
GUIs are a pain in the butt in _any_ language (possibly excluding full
language platforms like Java/.NET, and I'll bet even those were a
nightmare for the
On Fri, Apr 2, 2010 at 10:22 AM, Mads Lindstrøm
mads_lindstr...@yahoo.dk wrote:
Looking at Wikipedia I can see that COBOL 2002[1] got user defined
functions, but prior it was impossible to define your own functions. You
could define sub-rutines (semantically similar to jsr/gosub in
This may not be helpful for you, but when I did GUI stuff with haskell
I wrote the GUI part in c++ with fltk, exposed a medium-level api
specific to that gui, and then call that api through the FFI. This is
sort of like the web browser + backend thing, except switch c++ and
fltk for javascript
On Fri, Apr 2, 2010 at 2:28 PM, Vasili I. Galchin vigalc...@gmail.com wrote:
Sorry for no Subject on the first post. In any case, I meant this
Wall Street Journal as a challenge to the Haskell community to perhaps
step up to the plate in the auto arena vis-a-vis software
correctness. I realize
Hi all,
I would like to learn a little bit more about metaprogramming in
Haskell. And I'm also wondering why metaprogramming is used much more
in Ocaml than in Haskell.
Camlp4 (Ocaml's metaprogramming facility) doesn't seem to much more
powerful that Template Haskell. The former is celebrated in
aditya.siram:
Hi all,
I would like to learn a little bit more about metaprogramming in
Haskell. And I'm also wondering why metaprogramming is used much more
in Ocaml than in Haskell.
Camlp4 (Ocaml's metaprogramming facility) doesn't seem to much more
powerful that Template Haskell. The
Martijn,
Thanks for your comment and advice. Could you explain a little further
your thinking? Specifically, what advantage do you find in the
applicative notation, and when would you advise using it and when would
you advise not using it?
Thanks again, I appreciate your help.
Darryn.
On Fri,
41 matches
Mail list logo