This Meetup is past

21 people went

Location visible to members

Details

Program:

elm-doc-test - by Stöffel

How to write a node app in Elm - by Stöffel

Productive Elm as a beginner - by Serge

How Are Programs Found? - by Johannes
Functional languages with strong static type systems have beneficial properties to help ensure program correctness and reliability. Surprisingly, their practical significance in applications is low relative to other languages lacking in those dimensions. In this paper, the programs-as-proofs analogy is taken seriously to gain speculative insights by analysis of creation habits in the proof-centric discipline of mathematics. Viewed in light of this analogy, a sampling of mathematicians' attitudes towards formal proof suggests that the crucial role of intuition and experimentation in programming tasks may be under appreciated, hinting at a possible explanation of the challenges rigorously disciplined languages face in practical applications. https://arxiv.org/abs/1612.00670

Find more information on GitHub or follow us on Twitter:
https://github.com/elm-zurich
https://twitter.com/ElmZurich

PS: Beginner friendly!
Programmers of any skill level are welcome!!

Thank You Simplificator AG – simplificator.com (http://simplificator.com/) for hosting the Elm Zürich meetup in your premises in Zürich near Hardbrücke.

---------------------------------------

Can you help?
Any suggestions?
Do you want to give a talk?
Do you want to share input
or your personal experience?

Write me - [masked]