Silk:MakingTheSemanticWebFunctional

Stc
Date: 2011-05-19

Time: 12:00 - 13:00

Room: BBL 165

Speaker: Erik Hesselink

Title: Silk: Making the Semantic Web Functional

Abstract

At Silk, we develop a web application that allows users to create, query and visualize data in any way that they want. A user creates documents, which can contain links and tags, which add meaning to the data. They can then use a powerful, easy to use interface to navigate and query this data, and visualize it in graphs and on maps. We use Haskell for our backend, and employ many advanced functional programming techniques, like generic programming, GADTs and type families. The client is a web application written in Javascript. Here, we also use function programming techniques: reactive programming, arrows, and rewrite rules. In this talk I will demo Silk, give more detail about the application and the techniques we use, and give some information about working at Silk, either as a job, or as an experimentation project or master's thesis.