General Dev>Learning Resources

A Practical Theory of Programming (free) (pdf)

CommunityNews

CommunityNews

A Practical Theory of Programming (free) (pdf)

What good is a theory of programming? Who wants one? Thousands of programmers program every day without any theory. Why should they bother to learn one? The answer is the same as for any other theory. For example, why should anyone learn a theory of motion? You can move around perfectly well without one. You can throw a ball without one. Yet we think it important enough to teach a theory of motion in high school.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

View thread on forum
#programming
0 954 0

Where Next?

View thread on forum
programming
Home General Dev>Learning Resources
#programming
0 954 0
Last post

Popular General Dev topics Top

PragmaticBookshelf
General Dev>Learning Resources

Technical Blogging, Second Edition
Successful technical blogging is not easy but it’s also not magic. Use these techniques to attract and keep an audience of loyal, regular...
pragprog.com
#pragprog#blogs#published-book/book-technical-blogging-second-edition
3 2194 0
New
PragmaticBookshelf
General Dev>Learning Resources

Design It!
Don’t engineer by coincidence—design it like you mean it! Grounded by fundamentals and filled with practical design methods, this is the ...
pragprog.com
#pragprog#published-book/book-design-it
3 1891 0
New
PragmaticBookshelf
General Dev>Learning Resources

Fire in the Valley
Fire in the Valley is the definitive history of the personal computer, drawn from interviews with the people who made it happen, written ...
pragprog.com
#pragprog#published-book/book-fire-in-the-valley
3 1749 0
New
PragmaticBookshelf
General Dev>Learning Resources

Driving Technical Change
Finding cool languages, tools, or development techniques is easy—new ones are popping up every day. Convincing co-workers to adopt them i...
pragprog.com
#pragprog#published-book/book-driving-technical-change
2 1443 0
New
PragmaticBookshelf
General Dev>Learning Resources

Pragmatic Thinking and Learning
Programmers have to learn constantly; not just the stereotypical new technologies, but also the problem domain of the application, the wh...
pragprog.com
#pragprog#published-book/book-pragmatic-thinking-and-learning
3 1769 0
New
PragmaticBookshelf
General Dev>Learning Resources

The Definitive ANTLR Reference
ANTLR is a parser generator: a program that generates code to translate a specified input language into a nice, tidy data structure. You ...
pragprog.com
#pragprog#published-book/book-the-definitive-antlr-reference
3 1761 0
New
PragmaticBookshelf
General Dev>Learning Resources

Agile Retrospectives
Project retrospectives help teams examine what went right and what went wrong on a project. But traditionally, retrospectives (also known...
pragprog.com
#pragprog#published-book#agile/book-agile-retrospectives
2 2113 0
New
PragmaticBookshelf
General Dev>Learning Resources

Pragmatic Version Control using CVS
Imagine you’re using the world’s most sophisticated word processor: it has every function imaginable, except one. For some reason, they f...
pragprog.com
#pragprog#published-book/book-pragmatic-version-control-using-cvs
2 1919 0
New
PragmaticBookshelf
General Dev>Learning Resources

Agile Retrospectives, Second Edition
Project retrospectives help teams examine what went right and what went wrong on a project. But traditionally, retrospectives (also known...
pragprog.com
#pragprog#published-book#agile/book-agile-retrospectives-second-edition
1 2433 0
New
PragmaticBookshelf
General Dev>Learning Resources

Write Better with Vale
Lint your docs like code: turn any style guide into enforceable rules with Vale and publish clear, consistent content every time. ...
pragprog.com
#pragprog#published-book#vale/book-write-better-with-vale
4 1889 4
New

Other popular topics Top

Devtalk
General Dev>Dev Chat

What dev-related stuff have you been up to?
Reading something? Working on something? Planning something? Changing jobs even!? If you’re up for sharing, please let us know what you’...
#community
1044 20579 391
New
brentjanderson
General Dev>Hardware

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)
Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...
#hardware/keyboards#moonlander#mechanical-keyboards#ortholinear#ergonomic
212 16447 90
New
First poster: bot
Backend>In The News

Bit – A modernized Git CLI written in Go
github.com
/go#git
1 5741 0
New
AstonJ
General Dev>Hardware

Keyboard thock (sound)
I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...
/keyboards#mechanical-keyboards
14 9747 8
New
AstonJ
General Dev>Hardware

GMK Serika Keycaps - Serika 2 available to order now!
I have seen the keycaps I want - they are due for a group-buy this week but won’t be delivered until October next year!!! :rofl: The Ser...
/keyboards#keycaps#mechanical-keyboards
9 4719 7
New
AstonJ
Backend>Chat

Rails console using 100% CPU in dev (fix)
If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...
/ruby/rails
3 3971 3
New
Margaret
General Dev>Sales

Get 50% off these PragProg books during our Think Again Sale
Think Again 50% Off Sale » The theme of this sale is new perspectives on familiar topics. Enter coupon code ThinkAgain2021 at checkout t...
#community#pragprog/elixir/book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition/book-programming-machine-learning/book-the-ray-tracer-challenge/book-forge-your-future-with-open-source/book-software-design-x-rays#algorithms/book-testing-elixir#machine-learning#sale/book-concurrent-data-processing-in-elixir/book-intuitive-python
8 6210 2
New
Margaret
General Dev>Dev Chat

PragProg’s Medium Posts
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
#pragprog#blog-post
1147 28379 760
New
AstonJ
General Dev>Hardware

CharaChorder - type at the speed of thought?
Saw this on TikTok of all places! :lol: Anyone heard of them before? Lite:
/keyboards#charachorder
13 4253 4
New
AnfaengerAlex
Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue
Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...
#binding
0 5292 2
New
Back to top

Sponsor Spotlight

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

General Dev>Learning Resources

General Dev Learning Resources ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap