You may want to check one of Keera Studios' apps. All four of these do what
you want:
https://github.com/ivanperez-keera/haskellifi-trayicon
https://github.com/ivanperez-keera/keera-diamondcard-sms-trayicon
https://github.com/ivanperez-keera/keera-three-balance-checker
Impressed by the productivity of my Ruby-writing friends, I have
recently come across Cucumber: http://cukes.info
It is a great tool for specifying tests and programs in natural
language, and especially easy to learn for beginners.
I propose that we add a Cucumber syntax for Haskell, with the
Testing the new e-mail services at haskell.org.
--
John Wiegley
FP Complete Haskell tools, training and consulting
http://fpcomplete.com johnw on #haskell/irc.freenode.net
___
Haskell-Cafe mailing list
The e-mail services at haskell.org were switched from exim4 to postfix
tonight, please excuse the service disruption. For about one hour e-mails
were not being accepted to the mailing lists. All should be resolved now.
--
John Wiegley
FP Complete Haskell tools, training
Niklas Hambüchen m...@nh2.me writes:
Code written in cucumber syntax is concise and easy to read
concise |kənˈsīs|, adj.
giving a lot of information clearly and in a few words; brief but
comprehensive.
Compare:
Scenario: Defining the function foldl
Given I want do
I think the normal motivation for cucumber syntax is that it is a way to
communicate requirements with non-technical people.
On Tue, Sep 10, 2013 at 11:48 AM, John Wiegley jo...@fpcomplete.com wrote:
Niklas Hambüchen m...@nh2.me writes:
Code written in cucumber syntax is concise and easy
This is completely irrelevant, but the .chs extension is
already taken by the c2hs tool.
Cheers,
Edward
Excerpts from Niklas Hambüchen's message of Tue Sep 10 00:30:41 -0700 2013:
Impressed by the productivity of my Ruby-writing friends, I have
recently come across Cucumber: http://cukes.info
To be exact, the syntax is Gherkin not cucumber.
https://github.com/cucumber/cucumber/wiki/Gherkin
And, there's already a library to run specs written in Gherkin.
https://github.com/marcotmarcot/chuchu
On Tue, Sep 10, 2013 at 7:08 PM, Edward Z. Yang ezy...@mit.edu wrote:
This is completely
On Sep 10, 2013 3:25 PM, AlanKim Zimmerman alan.z...@gmail.com wrote:
I think the normal motivation for cucumber syntax is that it is a way to
communicate requirements with non-technical people.
+1
On Tue, Sep 10, 2013 at 11:48 AM, John Wiegley jo...@fpcomplete.com
wrote:
Niklas Hambüchen
On Mon, Sep 09, 2013 at 07:23:59PM +0100, Duncan Coutts wrote:
Well-Typed and the Industrial Haskell Group (IHG) are very pleased to
announce that Hackage 2 is now available for public beta testing. The
plan is to do the final switchover in late September, to coincide
with ICFP.
Dear list,
I am interested in learning more about static analysis of Haskell code.
Specifically of the relation between arguments of recursive and
non-recursive calls.
For example if we look at the ++ function from Prelude:
(++) [] ys = ys
(++) (x:xs) ys = x : xs ++ ys
Not specifically about Haskell, but I read some lecture notes on this topic
yesterday (by Michael Schwartzbach, PDF here:
http://lara.epfl.ch/web2010/_media/sav08:schwartzbach.pdf). The notes do a
good job of explaining how you set up lattices for various kinds of
analyses, and how calculating
* John Wiegley jo...@fpcomplete.com [2013-09-10 04:48:36-0500]
Niklas Hambüchen m...@nh2.me writes:
Code written in cucumber syntax is concise and easy to read
concise |kənˈsīs|, adj.
giving a lot of information clearly and in a few words; brief but
comprehensive.
Me too, but I wasn't brave enough to say so after people seemed to be
taking it seriously...
On 10 September 2013 13:33, Roman Cheplyaka r...@ro-che.info wrote:
* John Wiegley jo...@fpcomplete.com [2013-09-10 04:48:36-0500]
Niklas Hambüchen m...@nh2.me writes:
Code written in cucumber
I'll admit, I also thought it was a joke.
On Tue, Sep 10, 2013 at 2:34 PM, Ian Ross i...@skybluetrades.net wrote:
Me too, but I wasn't brave enough to say so after people seemed to be
taking it seriously...
On 10 September 2013 13:33, Roman Cheplyaka r...@ro-che.info wrote:
* John
The syntax is actually used by non-technical people to write tests.
Using it to write Haskell code is a joke. (Using it for business
specification is not, even if for technical people this seems
overkill.)
Thu
2013/9/10 Ian Ross i...@skybluetrades.net:
Me too, but I wasn't brave enough to say
That was done around 100 years ago with COBOL.
2013/9/10 Vo Minh Thu not...@gmail.com
The syntax is actually used by non-technical people to write tests.
Using it to write Haskell code is a joke. (Using it for business
specification is not, even if for technical people this seems
overkill.)
Gherkin is the language that Cucumber understands. It is a Business
Readable, Domain Specific Language that lets you describe software’s
behaviour without detailing how that behaviour is implemented. [1]
The example detailed how foldl is implemented.
Also, as it is intended to be a DSL for
If you are interested in general program analysis, I recommend you the book
Principles of Program Analysis ]
http://www.amazon.com/Principles-Program-Analysis-Flemming-Nielson/dp/3540654100].
It's very complete, and covers the most important kind of analyses that you
can do (data-flow,
Wow. Thanks! Looks impressive.
Regards,
Sergey
2013/9/10 Ivan Perez ivanperezdoming...@gmail.com:
You may want to check one of Keera Studios' apps. All four of these do what
you want:
https://github.com/ivanperez-keera/haskellifi-trayicon
I hope these jokes do not cause people to be afraid to post new ideas.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
you need to run a preprocessor on it to remove the directives
On Tue, Sep 10, 2013 at 4:03 PM, AlanKim Zimmerman alan.z...@gmail.comwrote:
Hi Cafe
I have just discovered that GHC.getTokenStream fails if it is used on a
module with CPP directives in it.
This is reported in
On 09/10/2013 09:30 AM, Niklas Hambüchen wrote:
Impressed by the productivity of my Ruby-writing friends, I have
recently come across Cucumber: http://cukes.info
It is a great tool for specifying tests and programs in natural
language, and especially easy to learn for beginners.
I propose
On Tue, 2013-09-10 at 12:10 +0100, Ross Paterson wrote:
On Mon, Sep 09, 2013 at 07:23:59PM +0100, Duncan Coutts wrote:
Well-Typed and the Industrial Haskell Group (IHG) are very pleased to
announce that Hackage 2 is now available for public beta testing. The
plan is to do the final
On Wed, 11 Sep 2013 00:20:26 +0400, Thiago Negri evoh...@gmail.com wrote:
I hope these jokes do not cause people to be afraid to post new ideas.
Agreed. I would also like to clarify that my message was much more a joke
on
the incomprehensibility of legal acts than on the original proposal.
Dear café,
I'm currently studying weak pointers in order to implement garbage
collection for a small JavaScript FFI used by the threepenny-gui library
[1].
While the paper [2] is fairly clear, it seems that the documentation in
System.Mem.Weak [3] differs in certain aspects. Could someone
On Tue, Sep 10, 2013 at 1:31 AM, Charlie Paul charli...@gmail.com wrote:
I've been looking through Edward Kmett's lens library, and I'm a bit
befuddled about Getters. In my own code, why would I want to have something
be a Getter instead of a plain function? As far as I can see, a plain
The package GLFW is not building in Cabal 1.18.
Setup.hs [1] depends on `rawSystemStdInOut` [2] that changed signature
between 1.16 and 1.18.
Is this considered a public API of Cabal?
Cabal 1.16
rawSystemStdInOut
:: Verbosity
- FilePath
- [String]
- Maybe (String, Bool)
- Bool
- IO
On Tue, 10 Sep 2013 22:03:16 +0200, AlanKim Zimmerman
alan.z...@gmail.com wrote:
Is there an easy way to get access to the pre-processed source, without
having to explicitly write it to an output file in a temporary location?
You can run cpp with function readProcess, as done in function
On 09/03/2013 06:09 PM, Dan Burton wrote:
Here's a fun alternative for you to benchmark, using an old trick. I kind of
doubt that this one will optimize as nicely as the others, but I am by no means
an optimization guru:
allPairsS :: [a] - [(a, a)]
allPairsS xs = go xs [] where
go [] = id
Hi. Pat asked a question [1] about AST parametrized with types. People
suggest to use Functor machinery if possible. Have anything changed
since them? Do we have a way to safely transform the tree like
data Expr a = Id { id :: Id a } | Op { op :: Char, expra :: (Expr a) ,
exprb :: (Expr a) }
On Wed, 11 Sep 2013 00:54:07 +0200, Henk-Jan van Tuyl hjgt...@chello.nl
wrote:
Another option could be the cpphs package; the documentation has
disappeared from haskell.org, but can be found in the Web Archive[0].
I just found the latest documentation at
http://code.haskell.org/cpphs/docs/
Hi Cafe
I have just discovered that GHC.getTokenStream fails if it is used on a
module with CPP directives in it.
This is reported in http://ghc.haskell.org/trac/ghc/ticket/8265
Is there an easy way to get access to the pre-processed source, without
having to explicitly write it to an output
This might do for businesses, but clearly not adequate if we want
Haskell/Cucumber (ever) to be suitable for use in government.
Here I’d like to suggest a more rigorous approach, which hopefully will be
considered for implementation instead of the original proposal.
On 09/10/2013 06:31 AM, Charlie Paul wrote:
I've been looking through Edward Kmett's lens library, and I'm a bit
befuddled about Getters. In my own code, why would I want to have
something be a Getter instead of a plain function? As far as I can see,
a plain function is simpler to use, and can
the work around i did for cabal 1.18 compatibility for llvm-base can be
found here:
https://github.com/bos/llvm/blob/master/base/Setup.hs#L116-L144
this used the fact that cabal exposes the cabal version as a library value
to generate a correct wrapper for either API version
alternatively, you
36 matches
Mail list logo