The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms...
Special Programming Skills Bundle
Four very different languages, one collection for curious programmers. Explore Lua, Smalltalk, Tcl and Lean 4 through practical examples, deeper concepts and real-world development techniques. From game scripting and object-oriented programming to metaprogramming and formal verification, this bundle takes you beyond syntax and into the ideas that make each language worth learning.
Bought separately
$128
Minimum price
$89.00
$99.00
You pay
Author earns
The following 4 books are included in this bundle...
These books have a total suggested price of $128. Get them now for only $89.00!
About
About the Bundle
This bundle brings together four books for readers who want to go beyond the basics and really understand the ideas behind programming languages, development environments and formal methods.
Start with Lua and learn how a small, fast language can power games, embedded systems, web servers and developer tools. Move into Smalltalk to explore the origins of object-oriented programming and the ideas behind live, interactive development. With Tcl 9.1, dive into a practical language built for scripting, automation, application development and extension through C. Finally, explore Lean 4 and discover how programming, mathematics and machine-checked proofs come together in one powerful environment.
Each book takes a hands-on approach with clear explanations, practical examples and deeper technical material for readers who want more than a surface-level introduction. Whether you are learning a new language, exploring the history of programming or working with advanced concepts such as metaprogramming, language extensions, type theory and formal verification, this collection gives you plenty to explore.
Together, these books offer a broad look at different ways of thinking about software and computation. They are useful for beginners building a foundation, experienced developers expanding their knowledge and curious programmers who want to understand what makes different languages and programming environments unique.
Books
About the Books
Lua Programming: From First Script to Full Mastery
A Complete Guide to the Language Powering Games, Engines, and Embedded Systems
Lua is one of the most widely used scripting languages in the world, yet it remains one of the least understood. This book takes you from writing your very first line of Lua code to mastering advanced topics like metaprogramming with metatables, embedding Lua in C applications, and building production-grade systems. Whether you are a game developer scripting behavior in Roblox or LÖVE2D, a web engineer configuring OpenResty, an editor power user customizing Neovim, or simply a programmer curious about the language that powers so much of modern software, this book gives you the deep, practical knowledge you need. Every concept is explained with annotated code examples, version-aware notes covering Lua 5.1 through the latest 5.5 release, and real-world context drawn from the projects and communities that make Lua matter.
The World of Smalltalk
From Philosophy to Practice: A Complete Guide to the Language That Invented Object-Oriented Programming
Smalltalk is not just a programming language. It is a complete computing environment whose design philosophy where everything is an object, communication via message passing and interactive live development that offers unique power and clarity that continues to influence modern software engineering. This book takes you from zero Smalltalk experience to advanced practitioner level, covering the language's history, its distinctive concepts, practical programming techniques, and modern ecosystem tools. Whether you are a curious developer exploring object-oriented roots or a professional seeking deeper mastery, this book functions as both a structured learning resource and a long-term reference for serious Smalltalk development.
Tcl 9.1 Programming
A Comprehensive Guide to Language, Architecture, and Application Development
Tcl 9.1 Programming is a complete, technically rigorous guide to Tcl programming with the newly released Tcl/Tk 9.1.0 as the target version. This book takes you from the fundamental evaluation model through advanced metaprogramming, TclOO, internals, C extension development, and production architecture. Every concept is explained with complete, runnable examples that demonstrate real-world usage patterns. Whether you are new to Tcl or upgrading from earlier versions, this book provides the authoritative, deep understanding needed to write idiomatic, maintainable, production-quality Tcl software.
Lean 4: Programming, Proof, and Formal Verification
A Deep Guide to Functional Programming and Interactive Theorem Proving
This book provides a thorough, technically precise exploration of Lean 4 as a functional programming language and interactive theorem prover. It is intended for software engineers, mathematicians and researchers who want to understand Lean at a deep level: its type-theoretic foundations, its architecture, its facilities for programming and verification and its ecosystem for building large formal projects. By the end of this book you will be able to write executable Lean programs, develop machine-checked proofs, construct custom automation and language extensions and organize substantial formal verification projects. The material assumes familiarity with programming and basic mathematics but no prior background in type theory, dependent types, or theorem provers.
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned over $15 million writing, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Write and Publish on Leanpub
You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!
Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.
Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.