Book Image

Hands-On Functional Programming with TypeScript

By : Remo H. Jansen
Book Image

Hands-On Functional Programming with TypeScript

By: Remo H. Jansen

Overview of this book

Functional programming is a powerful programming paradigm that can help you to write better code. However, learning functional programming can be complicated, and the existing literature is often too complex for beginners. This book is an approachable introduction to functional programming and reactive programming with TypeScript for readers without previous experience in functional programming with JavaScript, TypeScript , or any other programming language. The book will help you understand the pros, cons, and core principles of functional programming in TypeScript. It will explain higher order functions, referential transparency, functional composition, and monads with the help of effective code examples. Using TypeScript as a functional programming language, you’ll also be able to brush up on your knowledge of applying functional programming techniques, including currying, laziness, and immutability, to real-world scenarios. By the end of this book, you will be confident when it comes to using core functional and reactive programming techniques to help you build effective applications with TypeScript.
Table of Contents (14 chapters)
5
The Runtime – Closures and Prototypes

Expert

To reach the expert level, you will need to master the following concepts and skills:

CONCEPTS

SKILLS
  • High performance
  • Kind polymorphism
  • Generic programming
  • Type-level programming
  • Dependent-types, singleton types
  • Category theory
  • Graph reduction
  • Higher-order abstract syntax
  • Compiler design for functional languages
  • Profunctor optics
  • Design a generic, lawful library with broad appeal
  • Prove properties manually using equational reasoning
  • Design and implement a new functional programming language
  • Create novel abstractions with laws
  • Write distributed systems with certain guarantees
  • Use proof systems to formally prove properties of code
  • Create libraries that do not permit invalid states.
  • Use dependent typing to prove more properties at compile time
  • Understand deep relationships between different concepts
  • Profile, debug, and optimize purely functional code with minimal...