Forwarded from BZD • Книги для программистов
#Haskell #Алгоритмы
[English]
Title: Algorithm Design With Haskell
Author: Richard Bird, Jeremy Gibbons
Year: 202
Pages: 454
ISBN: 978-1-108-49161-7
Screenshot: https://t.iss.one/bzd_screenshots/5993
Description: Our aim in this book is to provide an introduction to the principles of algorithm design using a purely functional approach. Our language of choice is Haskell and all the algorithms we design will be expressed as Haskell functions. Haskell has many features for structuring function definitions, but we will use only a small subset of them.
@bzd_channel
[English]
Title: Algorithm Design With Haskell
Author: Richard Bird, Jeremy Gibbons
Year: 202
Pages: 454
ISBN: 978-1-108-49161-7
Screenshot: https://t.iss.one/bzd_screenshots/5993
Description: Our aim in this book is to provide an introduction to the principles of algorithm design using a purely functional approach. Our language of choice is Haskell and all the algorithms we design will be expressed as Haskell functions. Haskell has many features for structuring function definitions, but we will use only a small subset of them.
@bzd_channel
Forwarded from Блог*
#prog #haskell #article
GADTs
Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго ранга.
GADTs
Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго ранга.
Haskellforall
GADTs
Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov...