IRIS Connect
IRIS Connect
IRIS Connect: Your personal video and reflection collaboration platform. At IRIS Connect we believe there is excellence in every teacher and in every school. Our video reflection and collaboration platform helps you to unleash that excellence and build self-improving teachers, who in turn build self-improving schools, which will lead to a self-improving system. Born out of research we strive to continually discover new ways of improving CPD for teachers globally and are constantly developing our platform to increase the impact we have on whole school improvement.
-
Park Bench Discussion
Featuring Andres Löh
A panel discussion featuring several speakers of the #HaskellX 2015.
-
2
What Haskell can learn from Scala
Featuring Lars Hupel and Miles Sabin
The opinions about Scala in the Haskell community differ widely. Most will immediately point out reasons why they think Scala is complex and that Haskell is so much better. But is it really? In this talk, we will take a radically different approach: We will outline what Haskell can learn from...
haskell scala functional-programming -
Build Your Own Proof Assistant
Featuring Mietek Bak
Are the logical foundations of your favourite programming language not entirely satisfactory? Is your everyday programming work far too useful and practical? Have I got the talk for you! We’ll learn how parametric higher-order abstract syntax (PHOAS) makes it simple and easy to embed a logic in...
program type proof proposition language logic haskell -
GUI Programming in Haskell: Review & Experiences
Featuring Oliver Charles
Oliver will be discussing the state of GUI programming in Haskell, briefly talking about the options available for application developers in 2015. He'll also touch on his experiences with building an interactive graphical application and where Haskell shines and where it needs to improve.
haskell gui gui-programming haskellx -
Workshop: Haskell’s ultimate challenge: Game programming for Fun and Profit - Part 2
Featuring Ivan Perez
Idealised versions of board and simple arcade games render beautiful snippets of Haskell code. But real games need to deal with user input and output, animation, sound, asset management, UI plasticity, graphics acceleration, concurrency and networking, all of which involve the outside world and...
-
Transformers, Handlers in Disguise
Featuring Nicolas Wu
Effect handlers have recently been proposed as a new means of working with compositional effects, and threaten to replace monad transformers. Their key advantage is a cleaner way of expressing semantics since they are defined in terms of algebras. An often misunderstood aspect is how they compare...
haskell effect-handlers monads monad-transformers functional-programming -
Workshop: Hands-on introduction to Opaleye
Featuring Tom Ellis
The "Hands-on introduction to Opaleye" workshop will be led by Tom Ellis, Opaleye's principal developer. The workshop will last a couple of hours and will teach developers to write Opaleye code on their own machines as they follow the lesson. A shared instance of Postgres will be...
haskell databases scientific-computing teaching consulting -
Programming with Universal Properties
Featuring Gershom Bazerman
Often, categorists will speak about "universal properties" when discussing basic constructions. Understanding what these are can be one of the more confusing aspects of coming to terms with category theory. But it turns out that there is one weird trick that lets us take universal...
haskell functional-programming category-theory