Functional Design and Architecture (First Edition)
Important: this is the First Edition of the book. * Consider buying Functional Design and Architecture (Second Edition) by Manning instead. * See also my new book Pragmatic Type-Level Design. FDaA is a fundamental book about Software Design in Haskell and other functional languages. The main idea of this book is to provide a comprehensive source of knowledge, and a complete methodology for buildin
Optics By Example
Hi! I'm Chris, the author of Optics By Example! Optics By Example is a one-stop comprehensive guide to mastering optics in functional programming languages. It covers everything you need to know to go from complete beginner to advanced. Each topic is accompanied by copious examples and exercises! See the Sample for a complete list of chapters, but here are some highlights: Complete introductions t
Property-Based Testing in a Screencast Editor
This is a short book on using property-based testing (PBT) within Komposition, a screencast editor. First, this book introduces the system under test (SUT), Komposition. Next, it goes into PBT and highlights some challenges in testing properties of an application like Komposition. Finally, the main part of the book is compromised of case studies. Each case study covers increasingly complex compone
Thinking with Types by Sandy Maguire [Leanpub PDF/iPad/Kindle]
Sandy might best be described somewhere between independent researcher and voluntarily-unemployed bum. At the ripe old age of 27 he decided to quit his highly-lucrative engineering job and decide to focus more on living than on grinding for the man. It's what you might call a work in progress. He regularly writes about Haskell and Agda at reasonablypolymorphic.com. Preface Acknowledgments Introduc
![Thinking with Types by Sandy Maguire [Leanpub PDF/iPad/Kindle]](https://cdn-ak-scissors.b.st-hatena.com/image/square/2a735918f1c76fed09eea9589377c91edaf2f6b2/height=288;version=1;width=512/https%3A%2F%2Fd2sofvawe08yqg.cloudfront.net%2Fthinking-with-types%2Fs_hero2x%3F1620572100)
Read Inside The Python Virtual Machine | Leanpub
1. Introduction The Python Programming language has been around for a long time. Guido van Rossum started development work on the first version in 1989, and it has since grown to become one of the more popular languages used in a wide range of applications from graphical interfaces to finance and data analysis. This write-up looks at the nuts and bolts of the Python interpreter. It targets CPython
Read Functional Programming for Mortals | Leanpub
“Love is wise; hatred is foolish. In this world, which is getting more and more closely interconnected, we have to learn to tolerate each other, we have to learn to put up with the fact that some people say things that we don’t like. We can only live together in that way. But if we are to live together, and not die together, we must learn a kind of charity and a kind of tolerance, which is absolut
Read Developing Games With Ruby | Leanpub
A Boy Who Wanted To Create Worlds Once there was a boy who fell in love with this magical device that could bring things to life inside a glaring screen. He spent endless hours exploring imaginary worlds, fighting strange creatures, shooting pixelated spaceships, racing boxy cars. The boy kept pondering. “How is this made? I want to create my own worlds…”. Then he discovered programming. “I can fi
Exploring ES6
What you need to know about this book Audience: JavaScript programmers Why should I read this book? How to read this book Sources of this book Glossary Conventions Demo code on GitHub Sidebars Footnotes Foreword Preface Acknowledgements About the author I Background 1. About ECMAScript 6 (ES6) 1.1 TC39 (Ecma Technical Committee 39) 1.2 How ECMAScript 6 was designed 1.3 JavaScript versus ECMAScript
Read Understanding ECMAScript 6 | Leanpub
Introduction The JavaScript core language features are defined in a standard called ECMA-262. The language defined in this standard is called ECMAScript. What you know as JavaScript in browsers and Node.js is actually a superset of ECMAScript. Browsers and Node.js add more functionality through additional objects and methods, but the core of the language remains as defined in ECMAScript. The ongoi
Read Alex and Happy | Leanpub
Preface The full source code for the examples can be downloaded from Github This is a work-in-progress. Please send your comments and bug reports to jyotirmoy@jyotirmoy.net. Cover image Leafy seadragon. Image by user lecates’ on Flickr. Used under the terms of the CC BY-SA 2.0 license. The artwork for the cover page is released under a newer version of the same license and is included in the Githu
Game programming in Haskell
Elise Huard is a Haskell consultant - she's been programming in various languages and on various technology stacks for the last 15 years in Brussels, Glasgow, London, and Berlin. She has spoken in various conferences around the world. She lives in Berlin with her husband and little daughter, and enjoys cooking, scifi, reading, tinkering and board games. Introduction Doing things the hard way Hask
Read PureScript by Example | Leanpub
require('fs').readFile(sourceFile, function (error, data) { if (!error) { require('fs').writeFile(destFile, data, function (error) { if (!error) { console.log("File copied"); } }); } }); Libraries such as React and virtual-dom model views as pure functions of application state. Functions enable a simple form of abstraction which can yield great productivity gains. However, functional programming i
Practical Cryptography With Go
Chapter 1: Introduction Chapter 2: Engineering concerns and platform security Basic security Specifications On errors Input sanitisation Memory Randomness Time Side channels Privacy and anonymity Trusted computing Virtual environments Public key infrastructure What cryptography does not provide Data lifetimes Options, knobs, and dials Compatibility Conclusion Further reading Chapter 3: Symmetric S
Lisp for the Web
When it comes to expressiveness and consistency, Lisp still holds an edge over the mainstream languages of today. Add the open-source ecosystem of Common Lisp, free high-quality environments, their optimizing compilers and we land at a technology well-suited for the productive programmer looking for a new power tool. The goal of this book is to identify the strengths of Lisp and what they can do f
Read Lisp Hackers | Leanpub
A Short Intro The idea of this series came to my mind after European Common Lisp Meeting 2011 where I had had a chance to meet in person some of those mythical 100x more productive programmers. And the points I wanted to make were: these guys do exist, and it’s really interesting to know how they work and think it makes sense to show who are the real people using this obscure and mythical language
Lisp Hackers
Hi, I'm Vsevolod Dyomkin (or Domkin according to the passport) from Kyiv, Ukraine. I'm a Lisp programmer and enthusiast, a Natural Language Processing researcher, an occasional writer/blogger, and a teacher. You can find some more relevant information at http://vseloved.github.io/ A Short Intro A Few Quotes Zach Beane (USA) Edi Weitz (Germany) Slava Akhmechet (USA) Pascal Costanza (Germany - Belgi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Algebra-Driven Design
Leanpub: Publish Early, Publish Often