InfoQ Homepage Haskell Content on InfoQ
-
Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research
Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.
-
Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM
Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.
-
Richard Minerich on Functional Programming, F#, Type Providers and Dynamic Languages
Richard Minerich explains the reasons for choosing F#, how F# Type Providers help to integrate languages like R, how to bring Functional Programming to enterprise developers, and much more.
-
Duncan Coutts on Parallelism and Concurrency with Haskell, Distributed Programming with Cloud Haskell
Duncan Coutts explains the nature of Concurrency and Parallelism in Haskell, its threading and STM implementation, Erlang OTP's influence on CloudHaskell for distributed programming, Monads, and more.
-
Erik Meijer discusses programming language design, effects and some web programming problems
Erik Meijer distinguishes between two kinds of programming languages, pure functional and all the others. He emphasizes some issues regarding mixing higher order programming with effects. Erik then talks about the nature of Javascript, and true problems we need to solve in web programming.
-
Rúnar Bjarnason on Scalaz, Lenses, Functional Programming and Scala
Rúnar Bjarnason talks about the ideas behind and features in the popular scalaz library, programming concepts like (bi-directional) lenses, Scala Macros, and much more.
-
Scala, Functional Programming and Play 2.0
Sadek Drobi discusses functional programming sand Scala's multi paradigm approach at QCon London 2012. He also shares insights into the new Play 2.0 framework.
-
Philip Wadler on Functional Programming
Philip Wadler talks about the role of functional programming and some of the reasons for its slow rise in the past and its influence today. Also: lambda calculus, monads, continuations and much more.
-
Simon Thompson and Huiquing Li on Refactoring in Functional Languages Like Haskell or Erlang
Simon Thompson and Huiqing Li explain refactoring with functional languages and Wrangler (Erlang) and HaRe (Haskell). Also: how Wrangler's ad-hoc mode allows everyone to write custom refactorings.
-
Gregory Collins on High Performance Web Apps with Snap and Haskell
Gregory Collins talks about Snap, a high performance web framework for Haskell, where it fits in the web framework spectrum, the Iteratee I/O model, Haskell performance and much more.
-
Debasish Ghosh on DSLs and Akka
Debasish Gosh talks about Domain Specific Languages: how to build DSLs with Scala or XText, real world DSLs, parser combinators and monads. Also: how Akka brings actor-based programming to the JVM.
