Haskell into Nine Constructors

British computer scientist talks about Haskell and Erlang
22 August 2017   1398

Erlang and Haskell are childhood friends who grew up together. Throughout the years, they took a lot from each other.

GHC translates all of Haskell into a tiny but super-expressive intermediate language called Core, does a lot of optimisations on Core, and then generates executable code. Core is statically typed, making GHC one of the very few production compilers that is statically typed all the way through to code generation. It pulls off this trick by drawing directly on System F, a mathematical calculus from type theory. Functional programming is amazing: serious theory leads directly to beautiful implementations.

In this talk Simon Peyton Jones will take you on a journey into Core and its design choices.

You will learn about:

  • Core’s type system,
  • the optimisations that GHC implements in Core, including
    • let-floating,
    • strictness analysis,
    • specialisation,
    • inlining,
    • the case-of-case transformation.

Haskell and Erlang are both functional languages, albeit with significant differences (strict vs lazy, untyped vs typed). I hope that the talk may lead to dialogue about how these similarities and differences show up in a compiler.

About the speaker: 

Simon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. He is an honorary Professor of Computer Science at the University of Glasgow and co-supervises PhD students at the University of Cambridge.

Elixir Club 11 in Ternopil

Elixir developers' event will take place on June 23, 2018, in Ternopil, Ukraine
28 May 2018   612

Elixir community, let’s gather in Ternopil!

We are pleased to invite you on Elixir Club 11 in Ternopil, June 23!

If you are passionate about Elixir programming and interested in technology, then come on Elixir Club 11. You will meet the same people as you are, get live communication and some new knowledge, find answers on your questions.

Programme

Stefan Wintermeyer

Topic: "WebPerformance - Why and How?"

Stefan Wintermeyer,
Stefan Wintermeyer

A dive into the topic of fast webpages. Why does a specific webpage load fast or not? Why is it important? What's the difference between a mobile user on a 3G network and one on a fiber connection? What can be done on the server? Is JavaScript the solution or the reason for this problem?
 

Stefan Wintermeyer

Phoenix Framework developer

Eugene Pirogov

Topic: "ElixirConf Eu 2018, what was it like?"

Eugene Pirogov
Eugene Pirogov

Elixir programming language is raving around the world. Every year tens of community events are being organized to promote and share experience related to this beautiful programming language.
 

Eugene Pirogov
Senior Back-end developer

In April Eugene Pirogov visited one such event – "ElixirConf Eu 2018", a conference held in Warsaw, Poland. He is going to go through the presentations he attended, topics elixir community is exploring these days and finally talk about some exciting upcoming features in Elixir and Phoenix web framework.

Viktor Deryagin

Topic: "Implementing GraphQL API in Elixir"

Viktor Deryagin
Viktor Deryagin

GraphQL is an increasingly popular way of building web APIs, and Absinthe library makes Elixir a really convenient choice for doing it. This talk is about our team's experience of implementing GraphQL API powering popular marketplace for educators Teachers Pay Teachers. I'll tell about challenges we faced in evolving the API over time, monitoring, and leveraging features of OTP to address performance & scaling issues.
 

Viktor Deryagin

Yurii Bodarev

Topic: "GenServer in action"

Yurii Bodarev
Yurii Bodarev

Others will be added soon.

Buy a ticket.

Elixir is a young language, so every developer can come forward and share experience, get a powerful feedback and supporting from a friendly community. We invite you to suggest your speech by filling in the form. Come to us and try yourself as a Speaker.

Also, you can feel free to discuss your problems or solutions on lightning talk. You could suggest your speech via filling in the form or writing down on the board during the conference.

Thanks to our sponsors: Wise Engineering, Aejis.

We are welcome students for your willingness to learn and we give 50% discount via the promo code "student". Please send your student ID’s scan to make your registration on the event faster.

Also, we are welcome parents of a small baby (0-3 years) on maternity leave, who want to grow their skills with growing the kid. You can get a special discount for the ticket with promo code "GrowWithYourKid". Please take kid’s birth certificate with you to confirm the status.

We conduct all our events in a friendly atmosphere and we are always glad to get new people excited with Elixir on our events.

If you have any questions or suggestions, don't hesitate to contact us via cell phone: 099 202 6308 or by email: elixir.club.org@gmail.com

Buy a ticket.