On 05/31/2013 07:47 PM, Tikhon Jelvis wrote:
My favorite mini app is John Conway's game of life. I implemented a
version with reactive banana and found it perfect for learning the ideas.
I have a simple version of the code up on GitHub if you ever want a nice
example to read. I tried to make
FRP research
http://www.mpi-sws.org/~neelk/ http://www.mpi-sws.org/%7Eneelk/
On 01-06-2013 08:43, Christopher Howard wrote:
On 05/31/2013 07:47 PM, Tikhon Jelvis wrote:
My favorite mini app is John Conway's game of life. I implemented a
version with reactive banana and found it perfect for
Right. It's at https://github.com/TikhonJelvis/Reactive-Life.
On May 31, 2013 11:46 PM, Christopher Howard
christopher.how...@frigidcode.com wrote:
On 05/31/2013 07:47 PM, Tikhon Jelvis wrote:
My favorite mini app is John Conway's game of life. I implemented a
version with reactive banana
Yeah, I am going to use the MVar approach. Alternative implementations will
be investigated if this approach happens to not scale well.
On Fri, May 31, 2013 at 9:10 AM, Thomas Schilling
nomin...@googlemail.comwrote:
[I'll be the mentor for this GSoC project.]
I used the MVar approach a while
Dear HCafe-ers,
Yesterday I decided to take a look at the most recent Euler problem,
number 249, and give it a shot. I have a couple of computers at home,
a Dell laptop and a desktop. I compiled this message with ghc -O2
--make ex429.lhs and ran it on each machine. On the Dell I get:
time
On Sat, Jun 1, 2013 at 1:55 PM, nadine.and.he...@pobox.com wrote:
a Dell laptop and a desktop. I compiled this message with ghc -O2
--make ex429.lhs and ran it on each machine. On the Dell I get:
136342232
./ex429 8.66s user 0.02s system 99% cpu 8.695 total
When I run this exact same
Thanks Richard for your detailed answer.
Please find my reply below (note I have rearranged some of your paragraphs).
Richard Eisenberg wrote:
* Types at kind other than * do not have any inhabitants -- in fact, some
people would hesitate to call type-like things at kind other than * types!
On Jun 1, 2013, at 8:18 PM, TP wrote:
In other words, bottom can be an inhabitant of a concrete type, not a type
constructor, which I can understand. But a type of kind Nat is a concrete
type, so why bottom cannot be an inhabitant of this type?
We also have the nice maxim that every
I'm pleased to announce hledger and hledger-web 0.21!
hledger is a command-line tool and haskell library for tracking
financial transactions, which are stored in a human-readable plain
text format. In addition to reporting, it can also help you record new
transactions, or convert CSV data from
On 6/1/13 3:18 PM, TP wrote:
In other words, bottom can be an inhabitant of a concrete type, not a type
constructor, which I can understand. But a type of kind Nat is a concrete
type, so why bottom cannot be an inhabitant of this type?
The technical term is proper type. That is, types are used
10 matches
Mail list logo
