Difference between revisions of "DHD UHac/DHD Program"
SeanLeather (talk | contribs) (Start of abstracts, included DotFS) |
SeanLeather (talk | contribs) (Add fclabels) |
||
Line 36: | Line 36: | ||
== Information == |
== Information == |
||
+ | |||
+ | == fclabels: First Class Record Labels for Haskell == |
||
+ | |||
+ | Sebastiaan Visser |
||
+ | |||
+ | Haskell's record system for algebraic datatypes uses labels as accessors for fields within constructors. Record labels can be used for both selection and modification of individual fields within value, but only selection can be composed in a natural way. The special syntax for updates makes composing modifications very cumbersome. The fclabels package tries to solve this problem by implementing field accessors as first class Haskell values instead of special syntax. Labels are implemented as lenses and can easily be composed for both selection and modification. To avoid boilerplate labels can be derived using Template Haskell. This talk will give a brief introduction into the usage of the library and will show a bit of the inner workings as a bridge to future extensions. |
||
== DotFS - Or How Fred Solved His Config Clutter == |
== DotFS - Or How Fred Solved His Config Clutter == |
Revision as of 11:20, 13 March 2012
This is currently a very rough draft of the Dutch HUG Day program.
Time | Title | Speaker (Affl) or Note |
---|---|---|
9:30 | Coffee and Tea | |
10:00 | Welcome | Sean Leather (UU), Stef Joosten (Ordina) |
10:15 | Talks | |
12:15 | Lunch | Provided by Ordina |
13:15 | Talks | |
15:15 | Closing | Jurriën Stutterheim (UU) |
15:30 | Depart for UHac |
Information
fclabels: First Class Record Labels for Haskell
Sebastiaan Visser
Haskell's record system for algebraic datatypes uses labels as accessors for fields within constructors. Record labels can be used for both selection and modification of individual fields within value, but only selection can be composed in a natural way. The special syntax for updates makes composing modifications very cumbersome. The fclabels package tries to solve this problem by implementing field accessors as first class Haskell values instead of special syntax. Labels are implemented as lenses and can easily be composed for both selection and modification. To avoid boilerplate labels can be derived using Template Haskell. This talk will give a brief introduction into the usage of the library and will show a bit of the inner workings as a bridge to future extensions.
DotFS - Or How Fred Solved His Config Clutter
Paul van der Walt, Sjoerd Timmer
Everyone who has more than one account on Linux/Unix/OS X systems knows how hard is can be to keep track of all the different config files in your home directory. .vimrc, .muttrc, .hgrc, .screenrc, .bashrc, and .xinitrc are just a few, but we're sure you can come up with many more yourself. Imagine how wonderful your life could be if you just had an easy tool to keep track of different versions of all these files on all your machines. We argue that traditional version control systems on their own are not up the task and we provide an alternative.