017 - Unschuldiges Programmieren

Heute tauchen wir zusammen mit unserem Gast Marius in die wunderbare Welt der funktionalen Programmierung ab. Vielen Dank an Marius für die Einblicke! Das war eine beeindruckende Menge Informationen in dafür viel zu kurzer Zeit.

Picks

• hyper.sh
• narro.co
• typescript 2.8 release notes

Links

• Idris Buch
• code podcast zu idris
• Coq
• Liquid Haskell
• Engineering TCP/IP with logic
• Protokollverifikation in Idris
• F*
• project everest
• hacl-star
• verified crypto in firefox
• dafny
• Agda
• Functors, Applicatives, And Monads In Pictures
• functional-programming-jargon
• timelydataflow
• Meta Projekt Stream/Batch Processing
• Apache Flink
• Apache Storm
• Apache Spark (Batch)
• MapReduce (Batch)
• Twitter Heron
• Apache Kafka
• Kafka Streams