Skip to content

Instantly share code, notes, and snippets.

@Arkham
Created September 17, 2018 15:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Arkham/13809d5c0981b420fb61a34064f1337b to your computer and use it in GitHub Desktop.
Save Arkham/13809d5c0981b420fb61a34064f1337b to your computer and use it in GitHub Desktop.
LambdUp recap

🏰 LambdUp Conf Prague

Philip Wadler - Categories for the Working Hacker

Product

type alias Person =
  { name: String
  , age: Int
  }


makeImportant : String -> String
makeImportant value =
  "Emeritus Professor " ++ value
  
makeOld : Int -> Int
makeOld value =
  value * 3
   
makeImportantAndOld: Person → Person
makeImportantAndOld person =
  { name = makeImportant person.name
  , age = makeOld person.age
  }

Sum

type IntOrString =
  MyInt Int
  | MyString String


toString : IntOrString -> String
toString intOrString =
  case intOrString of
    MyInt int ->
      String.toInt int
      
    MyString str ->
      str

Dual

Isomorphism

High School

Alfonso Garcia-Caro - Fable got a major new release and you won’t believe what happened next

  • History of Fable, F# to Js Compiler
  • Recently rewritten from scratch and released beta of version 2
  • Michael Newton gave a workshop on Fable and Elmish last week! 👏
  • Their REPL examples are very cool

Markéta Adamová - Bunnicula - async data processing in Clojure with RabbitMQ

  • How intercom built a Clojure library to handle advanced RabbitMQ flows
  • Using Stuart Sierra Component, a framework for handling the lifecycle and dependency of software components
  • This really reminded me of GenServers and Supervisors, which are the main way in Elixir to handle state and runtime dependencies.

Wojciech Gawroński - Functional Programming in Serverless World

  • Really great explanation of what serverless is good for and bad for
    • Serverless can be really really cheap (95% cheaper than EC2)
    • Cold starts are way more expensive!
    • Best framework is (surprise) serverless
  • Detailed analysis of various functional languages to determine best fit for serverless environment regarding size, speed, memory requirements and predictability.
  • As we learned from our experiments with DynamoDB, the promise that everything scales infinitely is a big LIE
    • There are limits everywhere!
    • You don’t know the hardware, the container reuse policies and so on
    • It can happen you get stuck to old runtimes, old compilers
    • Have to optimize the runtime to start faster, maybe getting rid of GC optimizations
    • You have to know your runtime incredibly well and do a lot of yak shaving!
  • Learn more: Serverless Computing: Economic and Architectural Impact

Saša Jurić - Simplifying systems with Elixir

This guy is a legend. He wrote “Elixir in Action”, my goto book to recommend to people that want to learn more about designing systems in Elixir.

He talked about building https://github.com/sasa1977/site_encrypt, a project that integrates self certification inside your app.

Mateusz Zatorski - Building mobile apps in ReasonML

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment