NL-FP dag 2018 - Revision history

Bas Lijnse at 12:18, 3 December 2018

2018-12-03T12:18:03Z

← Older revision		Revision as of 12:18, 3 December 2018
Line 1:		Line 1:
			Looking for [[NL-FP dag 2019]]? Not all search engines find the page yet...

	The Dutch Functional Programming Day is an annual gathering of researchers,		The Dutch Functional Programming Day is an annual gathering of researchers,
	students, and practitioners sharing a common interest in functional		students, and practitioners sharing a common interest in functional

Arjenvanweelden: /* Tim Steenvoorden - Type Directed Interactive Workflow Modelling */

2018-01-30T10:23:03Z

Tim Steenvoorden - Type Directed Interactive Workflow Modelling

← Older revision		Revision as of 10:23, 30 January 2018
Line 156:		Line 156:
	These flows have a visual representation inspired by Petri nets as well as a formal language representation inspired by natural language.		These flows have a visual representation inspired by Petri nets as well as a formal language representation inspired by natural language.
	Because all information in our workflows is typed, we are able to generate full blown web applications by using the iTasks system as a backend.		Because all information in our workflows is typed, we are able to generate full blown web applications by using the iTasks system as a backend.

			[[Media:Steenvoorden-fpdag-slides.pdf]]

	== Past NL-FP Days ==		== Past NL-FP Days ==

Arjenvanweelden: /* Mart Lubbers - Task Oriented Pearl: Distributed Blockchain Applications */

2018-01-26T07:57:52Z

Mart Lubbers - Task Oriented Pearl: Distributed Blockchain Applications

← Older revision		Revision as of 07:57, 26 January 2018
Line 145:		Line 145:
	that it is natural to implement distributed blockchain applications in a TOP		that it is natural to implement distributed blockchain applications in a TOP
	language such as iTasks.		language such as iTasks.

			[[Media:Lubbers-presentation.pdf‎]]

	==== Tim Steenvoorden - Type Directed Interactive Workflow Modelling ====		==== Tim Steenvoorden - Type Directed Interactive Workflow Modelling ====

Arjenvanweelden: /* Camil Staps - Cloogle: a programming language search engine and its applications */

2018-01-24T15:22:44Z

Camil Staps - Cloogle: a programming language search engine and its applications

← Older revision		Revision as of 15:22, 24 January 2018
Line 100:		Line 100:
	current state. We also discuss the things we are currently working on:		current state. We also discuss the things we are currently working on:
	client-side search and editor integration.		client-side search and editor integration.

			[[Media:Staps-cloogle-handout.pdf]]

	==== Victor Miraldo - Type-Directed Diffing of Structured Data ====		==== Victor Miraldo - Type-Directed Diffing of Structured Data ====

Arjenvanweelden: /* Victor Miraldo - Type-Directed Diffing of Structured Data */

2018-01-24T14:58:07Z

Victor Miraldo - Type-Directed Diffing of Structured Data

← Older revision		Revision as of 14:58, 24 January 2018
Line 114:		Line 114:
	modifications between their textual representations.		modifications between their textual representations.

	[[~~File~~:Miraldo-fpdag2018.pdf]]		[[Media:Miraldo-fpdag2018.pdf]]

	==== Jan Kuper - FPGA design using CλaSH ====		==== Jan Kuper - FPGA design using CλaSH ====

Arjenvanweelden: /* Roel van Dijk - Type-safe Object-Relational Mapping */

2018-01-24T14:57:41Z

Roel van Dijk - Type-safe Object-Relational Mapping

← Older revision		Revision as of 14:57, 24 January 2018
Line 126:		Line 126:
	At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.		At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.

	[[~~File~~:LumiGuide-FP-Dag-2018.zip]]		[[Media:LumiGuide-FP-Dag-2018.zip]]

	==== Gert Veldhuijzen van Zanten - Agile Law Execution using Domain Specific Languages and Software Factories ====		==== Gert Veldhuijzen van Zanten - Agile Law Execution using Domain Specific Languages and Software Factories ====

Arjenvanweelden: /* Victor Miraldo - Type-Directed Diffing of Structured Data */

2018-01-24T14:56:39Z

Victor Miraldo - Type-Directed Diffing of Structured Data

← Older revision		Revision as of 14:56, 24 January 2018
Line 113:		Line 113:
	computer programs in particular – as opposed to only considering		computer programs in particular – as opposed to only considering
	modifications between their textual representations.		modifications between their textual representations.

			[[File:Miraldo-fpdag2018.pdf]]

	==== Jan Kuper - FPGA design using CλaSH ====		==== Jan Kuper - FPGA design using CλaSH ====

Arjenvanweelden: /* Roel van Dijk - Type-safe Object-Relational Mapping */

2018-01-24T14:54:55Z

Roel van Dijk - Type-safe Object-Relational Mapping

← Older revision		Revision as of 14:54, 24 January 2018
Line 123:		Line 123:

	At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.		At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.

			[[File:LumiGuide-FP-Dag-2018.zip]]

	==== Gert Veldhuijzen van Zanten - Agile Law Execution using Domain Specific Languages and Software Factories ====		==== Gert Veldhuijzen van Zanten - Agile Law Execution using Domain Specific Languages and Software Factories ====

Arjenvanweelden: /* Roel & Bas van Dijk - Type-safe Object-Relational Mapping */

2018-01-04T21:00:30Z

Roel & Bas van Dijk - Type-safe Object-Relational Mapping

← Older revision		Revision as of 21:00, 4 January 2018
Line 120:		Line 120:
	We will illustrate the approach with several examples.		We will illustrate the approach with several examples.

	==== Roel ~~& Bas~~ van Dijk - Type-safe Object-Relational Mapping ====		==== Roel van Dijk - Type-safe Object-Relational Mapping ====

	At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.		At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.

Arjenvanweelden: /* Program */

2018-01-04T18:40:59Z

Program

← Older revision		Revision as of 18:40, 4 January 2018
Line 61:		Line 61:
	* 9:30 Registration		* 9:30 Registration
	* 10:15 Welcome and a few words from our sponsor		* 10:15 Welcome and a few words from our sponsor
	* 10:30 - 12:~~30 Presentations with a coffee break~~		* 10:30 Type-Directed Diffing of Structured Data
			* 11:00 Break
			* 11:30 Task Oriented Pearl: Distributed Blockchain Applications
			* 12:00 Type Directed Interactive Workflow Modelling
	* 12:30 Lunch		* 12:30 Lunch
	* 14:00 - 16:30 ~~Presentations with a coffee break~~		* 14:00 FPGA design using CλaSH
			* 14:30 Type-safe Object-Relational Mapping
			* 15:00 Break
			* 15:30 Cloogle: a programming language search engine and its applications
			* 16:00 Agile Law Execution using Domain Specific Languages and Software Factories
			* 16:30 Organizing the next FP-day
	* 16:45 Drinks		* 16:45 Drinks
	* 17:30 - 19:00 Pizza's		* 17:30 - 19:00 Pizza's