Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Thinking with Types : Type-level Programming in Haskell

Main
Computers - Programming
Thinking with Types : Type-level...

Thinking with Types : Type-level Programming in Haskell

Sandy Maguire

0 / 5.0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

This book aims to be the comprehensive manual for type-level programming. It's about getting you from here to there — from a competent Haskell programmer to one who convinces the compiler to do their work for them.

Catégories:

Computers - Programming

Année:

2018

Edition:

1st

Editeur::

Leanpub

Langue:

english

Pages:

234

Fichier:

PDF, 6.79 MB

IPFS:

,

english, 2018

Lire en ligne

La conversion en est effectuée

La conversion en a échoué

Cela peut vous intéresser

Kees Doets, van Jan Eijck — The Haskell Road to Logic, Maths and Programming

GoalKicker.com — Haskell Notes for Professionals

Stephen Diehl — What I Wish I Knew When Learning Haskell

Miran Lipovaca — Learn You a Haskell for Great Good!: A Beginner's Guide

Charles Scalfani — Functional Programming Made Easier: A Step-by-Step Guide

Alexander Granin — Functional Design and Architecture

Rebecca Skinner — Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming

Sandy Maguire — Algebra-Driven Design

Gergő Érdi — Retrocomputing with Clash: Haskell for FPGA Hardware Design

Matt Parsons — Production Haskell: Succeeding in Industry with Haskell

Alejandro Serrano Mena — Book of Monads

Chris Allen, Julie Moronuki — Haskell Programming from First Principles

Alvin Alexander — Functional Programming, Simplified: (Scala edition)

Yogesh Sajanikar — Haskell Cookbook: Build functional applications using Monads, Applicatives, and Functors

Stephen Diehl — Implement an imperative language compiler in Haskell using LLVM

Will Kurt — Get programming with Haskell

Sandy Maguire — Thinking with Types

Eric Elliott — Composing Software

Christopher Allen, Julie Moronuki — Haskell Programming from first principles

Bartosz Milewski — Category Theory for Programmers (Scala edition)

Chris Penner — Optics By Example: Functional lenses in Haskell

GoalKicker.com — Haskel Notes For Professionals. 200+ pages of professional hints and tricks

Claudia Alves — Haskell: The Ultimate Beginner's Guide to Learn Haskell Programming Step by Step

Sandy Maguire — Algebra Driven Design: Elegant Software from Simple Building Blocks, Version 1.1.2

Sandy Maguire — Thinking with types: type-level programming in Haskell

Benjamin C. Pierce — Advanced topics in types and programming languages

R. Kent Dybvig — The Scheme Programming Language

Daniel P. Friedman; David Thrane Christiansen — The Little Typer

Eric S. Roberts — Thinking Recursively

Michaelson, G. — An Introduction to Functional Programming Through Lambda Calculus

Richard Bird — Pearls of Functional Algorithm Design

J. Roger Hindley — Basic Simple Type Theory

Okasaki, Chris — Purely functional data structures

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

Alejandro Serrano Mena — The book of monads

Bryan O'Sullivan, John Goerzen, Don Stewart — Real World Haskell

Kees Doets, Jan van Eijck — The Haskell Road to Logic, Maths and Programming

Rob Nederpelt, Herman Geuvers — Type Theory and Formal Proof: An Introduction

Richard Bird — Thinking Functionally with Haskell

Robert Harper — Practical Foundations For Programming Languages

Paul Hudak, Donya Quick — The Haskell School of Music: From Signals to Symphonies

Mots Clefs

Les listes de livres associées