# Notes from KatsConf2

DevFeed: [Notes from KatsConf2](<https://devfeed.tech/articles/notes-from-katsconf2-20244.md>)

Original publisher: [Read original article](<http://anjana.dev/blog/katsconf2/>)

Author: Anjana Sofia Vakil (contact@anjana.dev)

Published: 2017-02-19T00:00:00Z

Content type: opinion

Language: en

Sources: [Mozilla Automation](<https://devfeed.tech/sources/mozilla-automation.md>)

Topics: [Functional programming](<https://devfeed.tech/topics/functional-programming.md>), [Programming language](<https://devfeed.tech/topics/programming-language.md>), [Automation](<https://devfeed.tech/topics/automation.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [automation](<https://devfeed.tech/tags/automation.md>), [conference](<https://devfeed.tech/tags/conference.md>), [functional](<https://devfeed.tech/tags/functional.md>), [functional-programming](<https://devfeed.tech/tags/functional-programming.md>), [opinions](<https://devfeed.tech/tags/opinions.md>), [programming-language](<https://devfeed.tech/tags/programming-language.md>)

## AI overview

Notes from KatsConf2, a functional programming conference in Dublin, covering tradeoffs in programming-language design, automation techniques, relational and total programming, type-driven development, and web programming with functional languages including Idris.

## Source excerpt

Hello from Dublin! Yesterday I had the privilege of attending KatsConf2, a functional programming conference put on by the fun-loving, welcoming, and crazy-well-organized @FunctionalKats. It was a whirlwind of really exciting talks from some of the best speakers around. Here's a glimpse into what I learned. There's no such thing as an objectively perfect programming language: all languages make tradeoffs. But it is possible to find/design a language that's more perfect for you and your project's needs. Automation, automation, automation: Generative programming lets you write high-level code that generates low-level code Program derivation and synthesis let you write specifications/tests and leave it to the computer to figure out the code (Boring!) code rewriting tasks can be automated too Relational programming, Total programming and Type-Driven Development are (cool/mindblowing) things. You can do web programming with FP - and interestingly, even in a total language like Idris. I took a bunch of notes during the talks, in case you're hungering for more details. But @jessitron took amazing graphical notes that I've linked to in the talks below, so just go read those! And for the complete experience, check out this storify Vicky Twomey-Lee, who led a great ally skills workshop the evening before the conference, made of the #KatsConf2 tweets: <noscript>[<a href="http://storify.com/whykay/kats-conf-2" target="_blank">View the story "Kats Conf 2" on Storify</a>]</noscript> Hopefully this gives you an idea of what was said and which brain-exploding things you should go look up now! Personally it opened up a bunch of cans of worms for me - definitely a lot of the material went over my head, but I have a ton of stuff to go find out more (i.e. the first thing) about. Disclaimer: The (unedited!!!) notes below represent my initial impressions of the content of these talks, jotted down as I listened. They may or may not be totally accurate, or precisely/adequately represent wh