-----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-----