Well, solving knapsack problem in a couple lines of code looks really fun
and instructive.
Thanks Ertugrul for suggesting Yesod. This is definitely a great tool for
creating web applications but I fear that's too much to swallow in 5
minutes. And thanks also Jason for reminding me of the gems one
Wojciech,
I apreciate that the example only satisifies rather than
proves the theorem.
Wadler
says “it is possible to conclude that r satisifies the following theorem”
"r must work on lists of X for any types
X".
So does evaluation demonstrate type
level satisfiability?
Thanks,
Pat
O
[ ccing the list because the wiki page was flawed and I made a bunch
of changes, hope you don't mind ]
> Thanks Evan, but I think that wiki page isn't doing your
> proposal justice. There seem to be several typos in critical
> places that make it hard to follow (for me at least).
Sorry about the
In less than 5 minutes I can solve NP-Complete problems in restaurant
orders:
http://www.reddit.com/comments/24p2c/xkcd_does_anyone_else_feel_compelled_to_solve_this/c24pc5
On Mon, 27 Feb 2012, Arnaud Bailly wrote:
Hello Cafe,
I will be (re)presenting Haskell in a "Batlle Language" event Wed
Hi,
Below is my attempt to code the first example from Walder’s Theorems for
free! paper.
I am not sure about what is being proved.
Using the notation from the paper does the proof establish a
property of map, r, composition or the relationship between all three?
{-# LANGUAGE ExistentialQu
On Mon, Feb 27, 2012 at 7:18 AM, Arnaud Bailly wrote:
> Hello Cafe,
>
> I will be (re)presenting Haskell in a "Batlle Language" event Wednesday
> evening: A fun and interactive contest where various programming language
> champions try to attract as much followers as possible in 5 minutes.
>
> Hav
Arnaud Bailly wrote:
> I will be (re)presenting Haskell in a "Batlle Language" event
> Wednesday evening: A fun and interactive contest where various
> programming language champions try to attract as much followers as
> possible in 5 minutes.
>
> Having successfully experimented the power of liv
Hello Cafe,
I will be (re)presenting Haskell in a "Batlle Language" event Wednesday
evening: A fun and interactive contest where various programming language
champions try to attract as much followers as possible in 5 minutes.
Having successfully experimented the power of live coding in a recent
