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

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

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.

Kategori:

Computers - Programming

Tahun:

2018

Edisi:

1st

Penerbit:

Leanpub

Bahasa:

english

Halaman:

234

File:

PDF, 6.79 MB

IPFS:

,

english, 2018

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

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

Istilah kunci

Daftar buku terkait