Low maintenance types + Practical FP in TypeScript

Agenda

• Welcome - 6:30 - 6:45
• Low maintenance types - 6:45 - 7:30
• Break 7:30 - 7:45
• Practical FP in TypeScript - 7:45 - 8:30

📌 Low maintenance types by Stefan Baumgartner (@ddprrt)

Here’s a secret: JavaScript developers love TypeScript. In fact, they love it so much, that more way than half of NPM’s users say that they wouldn’t want to work without it.

But how can a type-system grasp all the powerful flexibility of a
programming language so inherently dynamic, without restricting JavaScript’s expressiveness a single bit?

Let’s find it out by looking at some real-world examples you find in everyday JavaScript. We make them typesafe step by step, following a robust, tried, and trusted process.

Join us and learn about:

• Generic binding and literal types
• Conditional types and conditional inference
• Recursive type patterns
• String literal types
• Variadic tuple types
• Low maintenance types

By the end of this session, you will be able to create types that last long and require little maintenance, no matter how your code changes.

🗒 About Stefan Baumgartner

Stefan Baumgartner is a developer based in Austria. He recently published "TypeScript in 50 Lessons" with Smashing Magazine. In his spare time, he co-organizes several conferences as well as the local Rust meetup in Linz, a beginner-friendly meetup for folks who want to learn Rust. Stefan enjoys Italian food, Belgian beer, and British vinyl records.

📌 Practical FP in TypeScript by Michael Arnaldi (@MichaelArnaldi)

In this talk we are going to take a look at the fundamental modules of effect-ts, a full port of ZIO and ZIO-prelude in typescript. As in ZIO the backbone of effect-ts is a stack-safe, fiber-based, highly scalable, effect system that enables development of highly concurrent applications that performs well (up to 4x better compared to native javascript Promise) and are both pleasant to maintain and easy to write.

Furthermore the effect-system is used to provide a set of modules that target very common use cases that every application needs like: type-safe dependency injection, environment construction, managed resources, concurrent queues, streams and many more.

By leveraging the full power of the TypeScript static type system and its ability to infer really well we are able to provide both a very safe environment while not paying too much in terms of boilerplate.

With the effect-ts we are able target efficient development both in node.js (making it a perfect choice for io-bound workloads that don’t require the full power and tradeoffs of a JVM or of a native implementation) and in the browser (with lightweight dedicated data types).

🗒 About Michael Arnaldi

Michael is passionate about technology and its application in the financial industry, he has extensive experience in leading tech projects such as trading engines, AML/KYC solutions, and payment systems. As a technology specialist, he has a strong interest in several areas, such as functional programming, category theory, event-sourcing, artificial intelligence, dev-ops, and cyber-security.

PS. Matechs & Ziverge with Michael are organizing two amazing workshops:

Practical Functional Programming with Typescript - London, UK
https://www.eventbrite.co.uk/e/practical-functional-programming-with-typescript-london-edition-tickets-159683316097

And

Frontend testing in Typescript, London UK
https://www.eventbrite.co.uk/e/frontend-testing-in-typescript-london-edition-tickets-160606210499

🚧
The Zoom for this meetup is provided by our friend: OfferZen (https://www.offerzen.com). Do check them out :)