[Haskell-cafe] Slides for "Adventures with Types" @ Functional Programming Exchange 2013?

[Michael Orlitzky]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

On 10/13/2014 06:50 AM, Alexander Berntsen wrote:
> On 12/10/14 16:30, Erik Rantapaa wrote:
>> Does anyone know if the slides for Simon Peyton Jones' keynote 
>> talk at the Skillsmatter Functional Programming Exchange 2013 are
>> available somewhere?
> Anyone know if the video itself is available somewhere where it
> may be viewed without using proprietary software?

Step 1: ACCEPT_KEYWORDS="~amd64" emerge youtube-dl

Or get it from github or whatever.


Steps 2:

Haskell eXchange 2013
- ---------------------

  a) Lenses: compositional data access and manipulation.
  $ youtube-dl player.vimeo.com/video/76506719

  b) Everyone should use a Generics library - writing HLint with
     Uniplate
  (Alas, not working)

  c) Compiling Haskell to Javascript with Fay
  (Alas, not working)

  d) Monads for free!
  $ youtube-dl player.vimeo.com/video/76519017

  e) Embedded domain specific languages at Scrive
  $ youtube-dl player.vimeo.com/video/76522370

  f) Haskell at Erudify
  $ youtube-dl player.vimeo.com/video/76527164


Haskell eXchange 2014
- ---------------------

  a) Categories for the Working Haskeller
  $ youtube-dl player.vimeo.com/video/108449685

  b) Performance Measurement and Optimization in Haskell
  (Alas, not working)

  c) Coping with change: data schema migration in Haskell
  $ youtube-dl player.vimeo.com/video/108471328

  d) Rest - Building APIs Easily
  $ youtube-dl player.vimeo.com/video/108574311

  e) Structural Typing for Structured Products
  $ youtube-dl player.vimeo.com/video/108776550

  f) Safe, Zero-Cost Coercions in Haskell
  $ youtube-dl player.vimeo.com/video/108366081

  g) Park Bench Panel Discussion
  $ youtube-dl player.vimeo.com/video/108388729

  h) Strongly Typed Publish/Subscribe over Websockets via Singleton
     Types
  $ youtube-dl player.vimeo.com/video/108588522


Functional Programming eXchange 2013
- ------------------------------------

  a) Adventures with types
  $ youtube-dl player.vimeo.com/video/61876813

  b) Across Time and Address Space: Lift 3.0
  (Alas, not working)

  c) Elnode: the evented IO web server
  $ youtube-dl player.vimeo.com/video/61881888

  d) Comparing Scala and Clojure
  $ youtube-dl player.vimeo.com/video/61887425

  e) Developing with F# in the Cloud
  $ youtube-dl player.vimeo.com/video/61892489

  f) Reducing cognitive bias in design with Scala
  $ youtube-dl player.vimeo.com/video/61896637

  g) LexiFi: describing financial contracts and extending OCaml
  $ youtube-dl player.vimeo.com/video/61901466

  h) F# in the open source world
  $ youtube-dl player.vimeo.com/video/61906490

  i) Functional Data Storage
  $ youtube-dl player.vimeo.com/video/61910320


Functional Programming eXchange 2014
- ------------------------------------

  a) A practical theory of language-integrated query
  $ youtube-dl player.vimeo.com/video/89089688

  b) Build Your Own Lisp for Great Justice
  $ youtube-dl player.vimeo.com/video/89102823

  c) Data Science using Functional Programming
  $ youtube-dl player.vimeo.com/video/89104639

  d) Teaching an old dog new tricks: wrapping an imperative API in a
     functional one
  $ youtube-dl player.vimeo.com/video/89109655

  e) Railway Oriented Programming
  $ youtube-dl player.vimeo.com/video/89115848

  f) My other operating system is a Mirage
  (Alas, not working)

  g) Park Bench Panel at #FPX
  $ youtube-dl player.vimeo.com/video/89131412

  h) QuickChecking Riak
  $ youtube-dl player.vimeo.com/video/89125615
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0

iQJ8BAEBCgBmBQJUO/eTXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQxNEU5RDcyRDdCMUFGREVGQzBCNDFDMUY2
RjQ4RDNEQTA1QzJEQURCAAoJEG9I09oFwtrbY8QP/jNUOJX+ojCAeIQEZmk1vEkA
S1V7/2h0zf19gS7GGJMlJPK6RmSkRGZfX9Wioy59Y46XwgfKGZKy9DRt2e/creny
5GlEuYfiyFUHAJl15Ef1FLXTbjxJxK23f7e57aqCncN8YqUgXEX44OMX4Clnso4l
Cci5X0y021fCsYCpOn3usouJ/Xz89bN3WF6D4MFdGwyKTq8djJGQ/TK5LBNPxOiA
iOFC/Q0ZkIYPHlsaFo6rPUgnp51I1iahbtA4zztjX5EuJFtDWGyshnYOj3v4snfR
GKEoj98QXjKI3UW4eXE5Gu7jlE6ZZ7HP+0XOZkxOw0lYoCFu5tAcpmZ4AdTDfHW3
YSM7aZBORWUC0pSYnrVtgpXiY8Jdn2LnaGKzXhuJqLBY15YWMCltKffne1LJxh1n
60JFxM/HOe0BDD1MESU5F7hSbtog7ZOOvhRJzM4mSc7190E0B/45Smhci6rhyed3
vNDxe7fbFu5MDy19zlEy7ept2ZV8GoAxg1po60fSWtRoB4A/5RzZVSInixwkuS0Y
Tj7vG1E/y81BhILam2sq+l0DKzNeuknMcILWnfXwx3OdjOfKc5TVMX5fTeS4fFmk
UnJSKThIlFrqGafcECQQHG5ZG1dk+9Uf3b6yrmoQjlTNiki6KfvsrFZLbnCIBFkv
JUF5HrpvMWHNziKYd80F
=O5uA
-----END PGP SIGNATURE-----