dragonlyj的专栏

programming rust 2nd

Learning Algorithms Through Programming and Puzzle Solving:This MOOC book is the first step towards this goal written specifically for our Massive Open Online Courses (MOOCs) forming a specialization “Algorithms and Data Structures” on Coursera platform and a microMasters program on edX platform

This book delivers theoretical and practical knowledge on extension of Genetic Programming (GP) for practical applications. It provides a methodology for integrating Genetic Programming and machine-learning techniques. The de- velopment of such tools contributes to the establishment of a more robust evolutionary framework when addressing tasks from such areas as chaotic time-series prediction, system identification, financial forecasting, classifica- tion, and data mining.

category theory for programmers，本书介绍范畴论的各个概念，并使用haskell和c++实现这些概念，阐明与函数式编程的关系。学习本书有助于提高抽象能力，学习函数式编程的高级设计模式。

Genetic Programming An Introduction On the Automatic Evolution of Computer Programs and its Applications， 本书介绍机器学习的一个分之：遗传编程。讲述如何通过遗传算法生成满足测试用例的代码。

he Definitive Guide to Lambda Expressions Mastering Lambdas: Java Programming in a Multicore World describes how the lambda-related features of Java SE 8 will enable Java to meet the challenges of next-generation parallel hardware architectures. The bookexplains how to write lambdas, and how to use them in streams and in collection processing, providing code examples throughout. You'll learn how to use lambda expressions to take full advantage of performanceimprovements provided by today's multicore hardware. This Oracle Press book covers: Why lambdas were needed, and how they will change Javaprogramming Syntax of lambda expressions The basic operation of streams and pipelines Using collectors and reduction to end pipelines Creating streams Spliterators, the fork/join framework, and exceptions Examining stream performance with microbenchmarking API evolution using default methods

give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages.

The Algebra of Programming can better be described has having influenced Haskell, rather than the other way around. It does have a definite functional bent to it. And it really is a series of (great) examples

Modern compiler design, first edition, file format: djvu

好不容找到Per Martin Lof在1984年的讲稿，学习DTT的基本文献

A good introduction to the programming language Haskell and functional programming in general: "The Haskell School of Expression"

introduction to basic category theory

an introduction book to functional programming