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.
Upcoming Events
-
What's in a Functional Compiler?
Organised by Thursday's Matter
For most users, a compiler is just a mysterious creature that absorbs their source code and make it blossom into an executable file. Join Andrea Condoluci as he demystifies the creature by exploring the popular Glasgow Haskell Compiler and the OCaml compiler.
functional-language ghc haskell code functional-compiler
will be attending
-
Intro to OCaml
Featuring Richard Bonichon
OCaml is a modern pragmatic functional programming language of the ML family, that also supports imperative or object-oriented paradigms.
code pragmatic-programming functional-programming object-oriented imperative ocaml -
The Secrets of the GHC Garbage Collector
Featuring Cheng Shao
Garbage collectors are an important component in today's language runtimes which liberate developers from the need to track allocations of small objects.
haskell garbage-collector ghc -
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 -
Keynote: How to Deploy your Haskell Code Hundreds of Times a Day
Featuring Simon Marlow
Facebook's Sigma system is a Haskell platform used by many different teams, mainly (but not exclusively) for fighting abuse on Facebook. One of Sigma's key features is that code committed to its repository automatically gets deployed to the running servers.
keynote sigma-system haskellx haskell -
2
GRIN - an Alternative Haskell Compiler Backend
Featuring Andor Penzes and Csaba Hruska
The GRIN language is an intermediate representation for lazy programming languages such as Haskell. It serves the same role as STG (in GHC compilation pipeline) but follows different design decisions. GRIN describes suspended computations as regular data structure using whole program...
machine-code abstract-interpretation whole-program-optimisation llvm haskell optimisation compiler -
Authenticated Data Structures, Generically, in Haskell
Featuring Lars Brünjes
"An authenticated data structure (ADS) is a data structure whose operations can be carried out by an untrusted prover, the results of which a verifier can efficiently check as authentic." (Andrew Miller et al.)
haskell data-structures free-monads cryptographic-hash-function interpreters-for-free-monads authenticated-data-structures -
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 -
Keynote: Dependent Types in Haskell
Featuring Stephanie Weirich
What has dependent type theory done for Haskell? Over the past decade, the Glasgow Haskell compiler (GHC) has adopted many type system features inspired by dependent type theory.
keynote ghc dependent-type-theory types functional-programming haskellx haskell
