Tweag.io
Tweag.io
Founded in 2013, Tweag I/O has become an established research & development lab at the heart of Europe with a single mission in mind: to build fast, correct and maintainable software solutions with its clients. We bring together experts in distributed systems, compilers and formal methods to build scalable designs at the lowest complexity budget.
-
Workshop: Build a RESTful Room-Booking Server Using Servant and Aeson
Featuring Ben Clifford
Many, many services on the internet provide APIs that are RESTful. They use HTTP and JSON, widely supported technologies, to give a standard way of accessing whatever each service provides - from uploading adverts on Facebook to plugging a bot into a Slack channel.
aeson servant hands-on rest haskell -
Lightning Talk: Superior String Spaghetti with PureScript
Featuring Justin Woo
With PureScript 0.12's addition of Symbol Cons and instance chains (groups), you can extract type information from Symbols. In this talk, Justin will present a way to extract record type information from a SQL query by synthesizing a row type.
haskell haskellx purescrit -
Lightning Talk: Marlowe: An embedded DSL for Implementing Financial > Smart-Contracts in Crypto-Currencies
Featuring Pablo Lamela-Seijas
When writing down the terms of a financial contract it is easy to make mistakes. When the contracts are written on top of a blockchain, without a human judge, those errors are usually irreversible and can lead to the loss of large amounts of money, as it happened with the infamous DAO bug.
crypto-currencies haskellx haskell -
A Promise Checked is a Promise Kept: Inspection Testing
Featuring Joachim Breitner
Some high-quality Haskell libraries, including old friends like
haskell library-design optimization testingtextand new kinds on the block likegeneric-lens, promise that the abstractions provided by these libraries are actually free and will be completely dissolved by the compiler. In the case oftextthe promise is that certain... -
Lightning Talk: Proving your Haskell Code Correct with Lean
Featuring Robin Green
Lean is a theorem prover that supports core Haskell features like type classes and monads, and also lots of goodies like dependent types and tactics for proof automation. In this talk Robin will demo using Lean to prove that some functional code always obeys a specification, using more or less...
haskell lean haskellx -
Lightning Talk: Rethinking Freeness through Universal Algebra
Featuring Marcin Szamotulski
Freeness is a well defined concept in the mathematical discipline called Universal Algebra. It translates to Haskell surprisingly well and it gives a nice interface for many free structures of various kinds: like semigroups, monoids; functors, applicative functors, monads, state monads;...
haskellx haskell -
Lightning Talk: You'll Love Id!
Featuring Gabor Greif
The function
id haskellx haskellidis one of the most simple ones you can imagine, but its has some very useful applications when fitting into an existing ecosystem. This talk will introduce some surprising cases, and hopefully bringing us to a formulation of power series. -
Keynote: Liquid Haskell: Theorem Proving for All
Featuring Niki Vazou
Formal verification has been gaining the attention and resources of both the academic and the industrial world since it prevents critical software bugs that cost money, energy, time, and even lives. Yet, software development and formal verification are decoupled, requiring verification experts to...
keynote haskellx haskell -
Keynote: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language
Featuring Simon Peyton Jones
Linear type systems are more often talked about than used. I have long thought that we should be able to use linearity to improve the expressiveness and efficiency of functional programming languages, especially Haskell. But I always got lost in a deep swamp of exclamation marks and upside down...
ghc functional-programming linear-type-systems keynote haskellx haskell -
Workshop Continued: Build a RESTful Room-Booking Server Using Servant and Aeson
Featuring Ben Clifford
Many, many services on the internet provide APIs that are RESTful. They use HTTP and JSON, widely supported technologies, to give a standard way of accessing whatever each service provides - from uploading adverts on Facebook to plugging a bot into a Slack channel.
haskell hands-on-rest servant aeson