Functional Programming

73 resources1 categoriesView Original

Table of Contents(73 items)

A

A Monad in Practicality - Controlling Time

Table of Contents
A

A Monad in Practicality - First Class Failures

Table of Contents
A

Adventure with types in Haskell - Simon Peyton ...

Lectures about Haskells strong Type System by Simon Peyton Jones.

Table of Contents
A

Async Streams in C#

Table of Contents
B

Bow

Companion library for Typed Functional Programming in Swift.

Table of Contents
B

Brian Beckman

Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F#

Table of Contents
B

Brian Beckman: The Zen of Stateless State

Table of Contents
C

C9 Lectures: Dr. Erik Meijer - Functional Progr...

Series of Lectures from one of the creators of Haskell

Table of Contents
D

Do we really need OOD and FDD?

Functional Declarative Design (FDD) opposed to Object-Oriented Design (OOD

Table of Contents
D

Dont fear the Monad

Explanation on

Table of Contents
E

Elixir in Action, Third Edition

Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability.

Table of Contents
E

ElixirLangMoscow

Russian Elixir community

Table of Contents
E

Erik Meijer

Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.

Table of Contents
E

Erik Meijer: Functional Programming

Table of Contents
F

F# in Action

Book about practical F# development skills needed to create professional applications.

Table of Contents
F

FP Complete

Community focused on helping companies and students on learning and implementing Functional Programming in Haskell. Hosters of one of the most famous Haskell learning centers: School of Haskell

Table of Contents
F

From Higher-Order Logic to Haskell: There and B...

Table of Contents
F

Functional Design and Architecture

Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages.

Table of Contents
F

Functional Javascript Workshop

A functional Javascript workshop.

Table of Contents
F

Functional Programming in C#, Second Edition

Real world examples and practical techniques for functional programming in C#.

Table of Contents
F

Functional Programming In JavaScript

List of functional programming resources in JavaScript.

Table of Contents
F

Functional Programming in Kotlin

Master techniques and concepts of functional programming to deliver safer, simpler, and more effective Kotlin code.

Table of Contents
F

Functional Programming in Scala, Second Edition

International bestseller revised with new exercises, annotations, and full coverage of Scala 3.

Table of Contents
F

Functional Programming Jargon

Project for providing a glossary for FP, and make learning FP easier.

Table of Contents
F

Functional Programming Learning Path

A Learning Path for Functional Programming

Table of Contents
F

Functional Programming with TypeScript

Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist.

Table of Contents
F

Functors, Applicatives, And Monads In Pictures

Table of Contents
G

Grokking Functional Programming

Introduction to functional programming.

Table of Contents
G

Grokking Simplicity: Taming complex software wi...

Teaches functional programming from first principles using real-world scenarios.

Table of Contents
H

Haskell Bookcamp

In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges.

Table of Contents
H

Haskell in Depth

the perfect second book on Haskell which dives into examples and application scenarios designed to teach how Haskell works and how to apply it correctly.

Table of Contents
H

Haskell is useless

Simon Peyton Jones being

Table of Contents
H

Haskell Must Watch

A list of videos, talks and courses on Haskell.

Table of Contents
H

Haskell Wiki

Table of Contents
H

Haskell/Category Theory

A good overview on Category Theory applied to Haskell from Wikibooks.

Table of Contents
H

Haskellers

The meeting point for Haskell Programmers

Table of Contents
H

Hidden complexities of tail-call/tail-recursion...

Table of Contents
H

How to Design Programs

Table of Contents
H

How to desugar Haskell Code

Table of Contents
H

How to leverage functional programming in Kotli...

Table of Contents
I

Idris Koans

Project for teaching Idris. A General Purpose Functional Programming with Dependent Types

Table of Contents
I

Intro SML

Code, corrections and info on the book: `Introduction to Programming using SML`

Table of Contents
I

Introduction to Functional Programming

Table of Contents
I

Introduction to Programming using SML

Introduces you to programming design in a very mathematical way.

Table of Contents
I

Isabelle/HOL

Generic proof assistant based on Higher Order Logic

Table of Contents
I

Isabelle/HOL - A Proof Assistant for Higher-Ord...

A Book on implementing logical formalisms in Isabelle/HOL.

Table of Contents
J

J-Bob

The proof assistant from the book `The Little Prover`

Table of Contents
J

Jax in Action

A book about The JAX numerical computing library.

Table of Contents
K

Kotlin for Android & Java Developers

LiveVideo course about Kotlin: functional programming, object orientation and building an Android app in Kotlin.

Table of Contents
L

Lambda the Ultimate

Community focused on discussing researches, papers

Table of Contents
L

Learn PowerShell Scritping in a Month of Lunches

Automate complex tasks and processes with PowerShell scripts.

Table of Contents
L

Learn you a Haskell

Book, but you can read it online for free as well. Very beginner friendly.

Table of Contents
M

Mastering Functional Programming

If you are from an imperative and OOP background, this book will guide you through the world of functional programming, irrespective of which programming language you use.

Table of Contents
M

Matthias Felleisen

Author of many books such as How to Design Programs, and The Little Schemer.

Table of Contents
M

Monads Made Difficult

Table of Contents
N

nLab

A wiki-lab with articles, discussion and tools from the point of view of category theory, which is the main math behind FP.

Table of Contents
P

Parsing With Haskell Parser Combinators

A step-by-step guide to parsing using Haskell parser combinators.

Table of Contents
P

Personal thoughts on the current functional pro...

Table of Contents
P

Philip Wadler

Professor of Theoretical Computer Science at the University of Edinburgh, author of the famous paper Propositions as Types. One of the main people behind Java Generics Types.

Table of Contents
P

Philip Wadler and Erik Meijer: On Programming L...

Table of Contents
S

Scala Monads: Declutter Your Code With Monadic ...

Table of Contents
S

Simon Peyton Jones

One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.

Table of Contents
S

Sound and Decidable Type Inference for Function...

Another very famous paper on Type Inference by the main creator of Haskell and GHC

Table of Contents
T

Template Meta-Programming for Haskell

Paper about generating code at compile-time in Haskell

Table of Contents
T

The Algebra of Algebraic Data Types

Very good explanation

Table of Contents
T

The implementation of Functional Programming La...

A paper by Simon Peyton Jones

Table of Contents
T

The Little MLer

A book focused on teaching types, recursive thinking and other important subjects in Standard ML.

Table of Contents
T

The Little Prover

Talks about

Table of Contents
T

Tradeoffs between Unique Types and Monads

Table of Contents
T

Translating Haskell to Isabelle

Table of Contents
W

Why dont more programmers use Haskell

Table of Contents
W

Why Functional Programming Matters

Table of Contents
Y

Your easy guide to Monads, Applicatives, & Func...

Table of Contents