Learnings from using haskell in production

location_city Bengaluru schedule Nov 15th 03:00 - 03:20 PM place Meeting Room 1 people 48 Interested

Over a period of 7 years, we have applied Haskell across Web apps, compilers, parsers for our customers across various industries. This is our report on how some of the unique features of Haskell have not only helped us create stable production environments but also break barriers. On the other hand, there is a high cost of on-boarding new developers and few other pain points. So, is Haskell worth the investment?

 
 

Outline/Structure of the Experience Report

1. Introduction - timeline of our experiences with Haskell. (3 mins)


1.1 Who we are and what we do with Haskell?
1.2 Quick introduction on the three most biggest challenges we undertook.
  • Fmap - A transpiler to convert Haskell to mobile platforms in a human readable code.
  • TypeQL - A query language for the internet.
  • FRF - Functional reactive workflow library.
2. Breaking barriers with haskell (13 mins)

TypeQL - A query language for the internet.
  • Goal : To be able to query, compose and transform data from any kind of data sources.
  • Design : Queries are Haskell types; Actions - Operations on resources, Combinators - Combines action, Filters - For transformation.
  • Tools : Type level programming ; Abstractions - Functors, Applicatives, Profunctors;
  • Hurdles : Type level programming ; Compilation time.
3. Takeaways (4 Mins)

3.1 Lets you solve bigger problems.
3.2 Types lets you automate.
3.3 Abstractions are unicorns.
3.4 And of course Haskell can be used in production.

Learning Outcome

Gain insights into the pros and cons of using haskell in production in a wide variety of settings.

Target Audience

Haskell practitioners who are planning to use or using haskell in production.

Prerequisites for Attendees

Basic functional programming concepts.

schedule Submitted 10 months ago

Public Feedback


    • Liked Aaron W Hsu
      keyboard_arrow_down

      Aaron W Hsu - Programming Obesity: A Code Health Epidemic

      Aaron W Hsu
      Aaron W Hsu
      Computer Scientist
      Indiana University
      schedule 10 months ago
      Sold Out!
      45 Mins
      Keynote
      Beginner

      Programs are getting fat. They're becoming slow. They're taking up more computing resources. They're getting harder to maintain and more complex from the ground up. Layer upon layer of sophistication is causing us to lose our ability to predict what software will do. Where's that bug? Why is everything going so slowly? Am I even using the right data structures? Where's that important point in the documentation again?

      What's happened to us? In this meta-dive into the nature of our approach to programming, we will explore some of the dangers of our current approaches to programming and the how/why of our current programming obesity problem. We will look at real case studies and see just how bad the situation can be.

      But we will also explore how we can battle these sources of obesity. In this passionate plea for code that we can gain control over again, we will look at examples of how we can return to a state of high-performance on all levels, from code size to code scalability. We will look at the principles that can help us to reach leaner, more efficient, more usable, less buggy code. We will hopefully find some light at the end of the tunnel, and how we can change our outlook on programming to push ourselves towards code that benefits not only ourselves, but also those that will come after us.

    • Liked Andrea Leopardi
      keyboard_arrow_down

      Andrea Leopardi - BEAM Architecture Handbook

      Andrea Leopardi
      Andrea Leopardi
      Core Team Member
      Elixir Lang
      schedule 11 months ago
      Sold Out!
      45 Mins
      Talk
      Intermediate

      If you are writing a stateless web application backed up by a database, there is a good chance Elixir is a great fit. However, this is not where it shines. In this talk, we will discuss how to architect Elixir applications in order to leverage the features of the language and of its runtime.

      We will look at this both from a lower level, talking about the architecture of processes inside an Elixir application, as well as from a higher perspective of writing Elixir services and architecting systems to play to Elixir's strengths. We will see practical use cases and discuss design patterns.
    • Liked Allister Beharry
      keyboard_arrow_down

      Allister Beharry - Lightweight dependent types for scientific computing

      Allister Beharry
      Allister Beharry
      Software Developer
      Freelancer
      schedule 10 months ago
      Sold Out!
      20 Mins
      Demonstration
      Intermediate

      Sylvester is an F# DSL for scientific computing which implements an advanced type system where vector, matrix, tensor, neural-network and other types have numeric properties like dimension sizes, rank, layer node size, etc., encoded as part of the type. Type-level constraints for operations like matrix multiplication or network layer construction utilize the F# type checker as a type-checker for linear algebra and other mathematical domains which allows for type-level verification of mathematical operations and for Intellisense-enabled IDEs to provide immediate feedback that helps the user avoid errors in mathematical expressions..

    • Liked Nikhil More
      keyboard_arrow_down

      Nikhil More - Do you OOP in Elixir?

      Nikhil More
      Nikhil More
      Sr. Engineer
      Volansys
      schedule 10 months ago
      Sold Out!
      20 Mins
      Experience Report
      Beginner

      One of the strategies being adopted by RoR or Java software developers in adopting Elixir is they have not yet adapted themselves to unlearn the OOP in developing the web systems. This has caused OOP concepts to creep into full fledged Elixir systems. This presentation seeks to highlight these subtle points that need to be avoided to make the code more FP and less OOP.

    • Liked Alexander Granin
      keyboard_arrow_down

      Alexander Granin - Hierarchical Free Monads and Software Design in Functional Programming

      Alexander Granin
      Alexander Granin
      Sr. Haskell Developer
      Juspay
      schedule 11 months ago
      Sold Out!
      45 Mins
      Talk
      Advanced

      Functional Programming is going through the same process of rethinking as Object Oriented Programming has passed already. FP today is not only something mystical, something barely applicable for day-to-day tasks, but rather a whole philosophy of building big, complex applications, with own tools, approaches and methodologies. We can see a lot of ideas about software design and architecture emerging from the FP community: talks, books, articles. We’re actively discussing Final Tagless, Free Monads, effect systems and other approaches, but it seems the theme not yet covered and we don’t know about possibilities we have.

      In this talk, I’ll tell you about the power of Free Monads in building complex applications in Haskell and PureScript. These applications will be satisfying the requirements like maintainability, testability, simplicity. You’ll know how to create a safe concurrent application state, how to divide the application into layers and how to keep the code sane. In fact, you can do the same with Final Tagless or extensible effects, but the approach with hierarchical Free Monads has some specific properties making it the best tool to separate concerns and create a very interesting eDSLs with different semantics.

      The talk is based on the ideas I’m describing in my book “Functional Design and Architecture”. I also gave several talks about this theme earlier (you can find all my talks here).

      I’ve used these ideas to build software for different companies, including Juspay (Bengaluru), Restaumatic (Poland), Enecuum (Hong Kong). We’ve created several interesting technologies that were not possible to make without Free Monads. Some of them are open sourced.

    • Liked Saurabh Nanda
      keyboard_arrow_down

      Saurabh Nanda - Getting property-based testing to work after struggling for 3 years

      Saurabh Nanda
      Saurabh Nanda
      Founder
      Vacation Labs
      schedule 10 months ago
      Sold Out!
      45 Mins
      Talk
      Intermediate

      I got excited about property-based testing after hearing John Hughes talk at Functional Conf 2016. I tried it that year with QuickCheck, but failed miserably (it almost derailed the entire project delivery). I cribbed about it in my talk at Functional Conf 2017. In 2018, Srihari's talk got me excited again. This time, I tried with Hedgehog, and got it to work!

      This talk is about this journey and its learnings. We'll talk about how Hedgehog was used to test [1]:

      • A Postgres backed task/job queue
      • A small Wai/Servant based webapp

      And no, we will not talk about the most common (and completely useless) example of reversing a list!

      [1] Both of these are part of an open-sourced task/job queue library.

    • Liked Anupam Jain
      keyboard_arrow_down

      Anupam Jain - Supercharged Web Application development with Purescript

      45 Mins
      Workshop
      Beginner

      UPDATE: Please setup https://github.com/ajnsit/purescript-react-starter (follow the instructions in the README) on your laptops as a **prerequisite**.

      Purescript is a purely functional, strongly typed language, that compiles to Javascript.

      It provides several high quality libraries for frontend development, and comes with excellent tooling and editor support that makes writing code a snap!

      In this talk I will provide a quick introduction to some basics of Purescript, and then dive into an interactive demonstration of building a non-trivial web application from scratch. I will show how to interface with React bindings, and how to interface with some existing Javascript libraries (a React UI component lib).

      The presentation will be interactive and similar to an inpromptu talk I gave which is linked below. However, I will also demonstrate live coding of an actual purescript application which people can follow along.

      Bring your laptop to follow along.

    • Liked Morten Kromberg
      keyboard_arrow_down

      Morten Kromberg - Delivering your APLs

      Morten Kromberg
      Morten Kromberg
      CXO
      Dyalog
      schedule 10 months ago
      Sold Out!
      45 Mins
      Tutorial
      Beginner

      Most talks on APL at FunctionalConf have focused on the way array oriented programming allows you to quickly deliver concise and efficient solutions to problems with an analytical core. This talk will focus on the development environment, and follow the life of an APL code snippet from it's interactive discovery, via testing and debugging, through to delivery as a web service and a shared object, embedded into a solution implemented in Python.

    • Liked Tamizhvendan S
      keyboard_arrow_down

      Tamizhvendan S - Building an E-Commerce Marketplace Middleware in Clojure

      Tamizhvendan S
      Tamizhvendan S
      Lead Consultant
      Ajira
      schedule 10 months ago
      Sold Out!
      45 Mins
      Case Study
      Beginner

      Have you ever wondered how we can build a real-world, production-ready, end-to-end application using the functional programming principles? Immutability, Pure Functions and all other functional programming things sound good on paper but How can we build something useful by applying it?

      At Ajira, We recently built an e-commerce marketplace middleware in Clojure for a leading retail chain to sell their products on multiple e-commerce sites seamlessly. In this case study, we are going to build a minimal version of this project using which I will be sharing how we implemented it.

    • Liked Aaron W Hsu
      keyboard_arrow_down

      Aaron W Hsu - APL Training Wheels

      Aaron W Hsu
      Aaron W Hsu
      Computer Scientist
      Indiana University
      schedule 10 months ago
      Sold Out!
      45 Mins
      Tutorial
      Beginner

      APL is getting a lot of attention lately due to its potential for very high performance portability and suitability for both rapid prototyping of complex solutions as well as deployment of complex algorithms to high-speed, modern parallel hardware. It has the potential to vastly improve the speed, scalability, and size of your code bases. But APL has a reputation as an intimidating language to learn.

      In this back to the basics tutorial, we will explore the core of APL, and focus on those areas that usually trip up the beginner in learning APL. We will also walk you through how to approach an APL expression, how to reason about them, and how to read them efficiently. We will teach you the skills that the expert APLer has internalized, and how you can work through these skills externally and explicitly in a way that will help you to eventually internalize these critical skills in a way that makes you efficient at using APL on real world problems.

    • Liked Ravi Chandra Padmala
      keyboard_arrow_down

      Ravi Chandra Padmala - After the Crash

      Ravi Chandra Padmala
      Ravi Chandra Padmala
      Partner
      nilenso
      schedule 10 months ago
      Sold Out!
      45 Mins
      Talk
      Intermediate

      'Let it crash' gets thrown around a lot in the Erlang community. An experienced
      programmer (with understandably different experiences) on first encountering
      this idea in Erlang is often found asking what we let crash? And what happens
      after?

      I will attempt to answer this question.

      Erlang puts distributed systems programming ideas front and center. We'll also
      talk about this in the context of letting processes crash and how that affects the
      design of our software.


    • Liked Saurabh Nanda
      keyboard_arrow_down

      Saurabh Nanda - Why is Haskell so hard to learn? (and how to deal with it)

      Saurabh Nanda
      Saurabh Nanda
      Founder
      Vacation Labs
      schedule 10 months ago
      Sold Out!
      45 Mins
      Talk
      Beginner

      Haskell is notoriously hard to learn. I have struggled with the learning curve. I have seen others struggle with it. And I have seen developers struggling to wield the language effectively even after months of learning.

      We'll talk about five things that give Haskell this (understandably) bad rep, and how to effectively deal with them during your learning phase.

    • Liked Suvrat Apte
      keyboard_arrow_down

      Suvrat Apte - How debuggers work in Lispy languages

      Suvrat Apte
      Suvrat Apte
      Backend Engineer
      Helpshift
      schedule 10 months ago
      Sold Out!
      45 Mins
      Talk
      Intermediate

      Debuggers are one of the most essential tools for any kind of development.

      Debuggers in Lispy languages make use of Lisp's homoiconicity. They are a bit different from debuggers for languages like C or Java.

      This kind of information is usually not needed in day to day development and hence it remains hidden.

      In this talk, I will take Clojure's cider-debug as an example and explain how it uses homoiconicity. Along with cider-debug, I will also talk about REPLs and how REPL client-server communication happens (with nREPL as an example).

    • Liked Mangala Kader
      keyboard_arrow_down

      Mangala Kader - Understanding the pitfalls in Erlang / Elixir and steering clear from them

      45 Mins
      Talk
      Beginner

      Erlang has been in production for more than 30 years and a highly battle-tested robust system, which is being used by everybody including Telecom systems that provides 99.99% uptime. Elixir has been built on top of Erlang overcoming the shortcomings of the language and also using meta-programming, it has opened a new paradigm of looking at the language itself. I want to show what Elixir is to the audience and minute nuances that every experienced or inexperienced developer should be aware of before jumping into the magical erlang and elixir world.

    • Liked Ravi Chandra Padmala
      keyboard_arrow_down

      Ravi Chandra Padmala - Interactive fiction: An adventure through pop type-systems

      Ravi Chandra Padmala
      Ravi Chandra Padmala
      Partner
      nilenso
      schedule 10 months ago
      Sold Out!
      20 Mins
      Demonstration
      Beginner

      Having spent more than 10 years 'learning haskell', on and off, 4 days a month,
      4 months a year (in a good year), you know you're better off writing enterprise
      Lisp for the rest of your career.

      But suddenly out of nowhere you find purpose, and now you need to build a game.

      This is that game.