Presentation
7 views
Skip to first unread message
Andy
Feb 29, 2012, 3:41:42 AM2/29/12
to fpmel
Apparently fpmel is on tomorrow, Thursday 1st March.
Who's presenting? I've got some stuff that I can present, if a slot
needs to be filled. If you know what I mean.
Who's presenting? I've got some stuff that I can present, if a slot
needs to be filled. If you know what I mean.
Colin 'Logan' Campbell-McPherson
Feb 29, 2012, 4:50:12 AM2/29/12
to fp...@googlegroups.com
Yeah I'm totally void of people who can speak. What can you talk about?
Andy Kitchen
Feb 29, 2012, 7:18:19 PM2/29/12
to fp...@googlegroups.com
Well, there are a few things I could speak about
depending what the interest is, maybe mix and match:
- A quick tour of Haskell
- How I learned to stop worrying and love
The Curry-Howard Isomorphism
- Some functional pearls
- Monad Madness
- Monad Transformer Transgressions
- Outranked: Rank-2 Types
- Delimited continuations to the limit
(might be a good follow up the the previous
continuations talk)
depending what the interest is, maybe mix and match:
- A quick tour of Haskell
- How I learned to stop worrying and love
The Curry-Howard Isomorphism
- Some functional pearls
- Monad Madness
- Monad Transformer Transgressions
- Outranked: Rank-2 Types
- Delimited continuations to the limit
(might be a good follow up the the previous
continuations talk)
Anyway, intro to Haskell might be a bit boring if most
of the group knows Haskell already. So get back to me.
I'll have to do a little preparation.
Regards
AK
Tony Morris
Feb 29, 2012, 7:21:37 PM2/29/12
to fp...@googlegroups.com
On the C-H Isomorphism, a topic that fascinates me, we here at BFPG have
considered running a talk where there are two people; a logician and a
programmer -- and they are essentially doing the same thing and the
audience can watch them both simultaneously doing it. The idea would
require the two to stay in sync while one proves a logical theorem and
the other constructs a program.
considered running a talk where there are two people; a logician and a
programmer -- and they are essentially doing the same thing and the
audience can watch them both simultaneously doing it. The idea would
require the two to stay in sync while one proves a logical theorem and
the other constructs a program.
We've only ever talked about doing something like this at the pub, so no
idea what would happen if someone tried to pull it off!
Just a thought.
--
Tony Morris
http://tmorris.net/
Andy Kitchen
Feb 29, 2012, 10:04:25 PM2/29/12
to fp...@googlegroups.com
On Thu, Mar 01, 2012 at 10:21:37AM +1000, Tony Morris wrote:
> On the C-H Isomorphism, a topic that fascinates me, we here at BFPG have
> considered running a talk where there are two people; a logician and a
> programmer -- and they are essentially doing the same thing and the
> audience can watch them both simultaneously doing it. The idea would
> require the two to stay in sync while one proves a logical theorem and
> the other constructs a program.
> On the C-H Isomorphism, a topic that fascinates me, we here at BFPG have
> considered running a talk where there are two people; a logician and a
> programmer -- and they are essentially doing the same thing and the
> audience can watch them both simultaneously doing it. The idea would
> require the two to stay in sync while one proves a logical theorem and
> the other constructs a program.
That would be very cool, I think it would be a matter of choosing
the right theorem. So that the program-as-proof, and classical proof
would be similar but different in interesting ways.
> We've only ever talked about doing something like this at the pub, so no
> idea what would happen if someone tried to pull it off!
Let's do it, we'll talk more tonight.
Reply all
Reply to author
Forward
0 new messages