Backend>Learning Resources

OCaml Programming: Correct and Efficient and Beautiful

CommunityNews

CommunityNews

OCaml Programming: Correct and Efficient and Beautiful

A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book was “Functional Programming in OCaml”.

Read in full here:

https://cs3110.github.io/textbook/cover.html

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

View thread on forum
/ocaml#programming
0 1096 0

Where Next?

View thread on forum
ocaml
programming
Home Backend>Learning Resources
/ocaml#programming
0 1096 0
Last post

Popular Backend topics Top

PragmaticBookshelf
Backend>Learning Resources

Real-Time Phoenix
Real-time applications come with real challenges—persistent connections, multi-server deployment, and strict performance requirements are...
pragprog.com
#pragprog/elixir/phoenix/book-real-time-phoenix#published-book
22 3337 4
New
PragmaticBookshelf
Backend>Learning Resources

Data Science Essentials in Python
Go from messy, unstructured artifacts stored in SQL and NoSQL databases to a neat, well-organized dataset with this quick reference for t...
pragprog.com
#pragprog/python#published-book/book-data-science-essentials-in-python#data-science
2 3600 0
New
PragmaticBookshelf
Backend>Learning Resources

Functional Programming Patterns in Scala and Clojure
Functional languages have their own patterns that enable you to solve problems with less code than object-oriented programming alone. Thi...
pragprog.com
#pragprog/clojure/scala#published-book/book-functional-programming-patterns-in-scala-and-clojure
6 3520 2
New
PragmaticBookshelf
Backend>Learning Resources

Functional Programming in Java, Second Edition
Learn and apply the powerful streams API and lambda expressions to create highly expressive, concise, and maintainable functional style c...
pragprog.com
#pragprog#web-development/java#published-book/book-functional-programming-in-java-second-edition
4 3383 0
New
PragmaticBookshelf
Backend>Learning Resources

Effective Go Recipes
Shave countless hours off development time with production-ready Go recipes. Learn language nuances while doing common (and not so common...
pragprog.com
#pragprog/go#published-book/book-effective-go-recipes
4 3320 2
New
PragmaticBookshelf
Backend>Learning Resources

High Performance PostgreSQL for Rails
Build fast, scalable PostgreSQL and Rails apps. Solve data growth, quality, and reliability challenges, for workloads from consumer Inter...
pragprog.com
#pragprog#published-book/book-high-performance-postgresql-for-rails
17 3836 7
New
PragmaticBookshelf
Backend>Learning Resources

Next-Level A/B Testing
Take your experimentation strategy to the next level so you can effectively understand the impact of changes to user, product, and busine...
pragprog.com
#pragprog#published-book#testing/book-next-level-a-b-testing
2 4809 1
New
PragmaticBookshelf
Backend>Learning Resources

Ash Framework
Explore the power of Ash Framework by modeling and building the domain for a real-world web application. Rebecca Le @sevenseacat and ...
pragprog.com
#pragprog/elixir#published-book/ash/book-ash-framework
15 7555 9
New
PragmaticBookshelf
Backend>Learning Resources

Vector Search with JavaScript
Cut through the complexity and apply AI-driven vector search strategies to deliver smarter, more intuitive search experiences that keep u...
pragprog.com
#pragprog#ai#published-book/js/book-vector-search-with-javascript
4 2424 2
New
PragmaticBookshelf
Backend>Learning Resources

Eloquent Ruby, Second Edition
Write elegant Ruby code—not just correct, but idiomatic. Go beyond the vocabulary and syntax and learn to express yourself with eloquence...
pragprog.com
#pragprog/ruby#published-book/book-eloquent-ruby-second-edition
11 1585 7
New

Other popular topics Top

Exadra37
Linux>Questions

AMD or Intel for Programming with Linux as the OS?
I am thinking in building or buy a desktop computer for programing, both professionally and on my free time, and my choice of OS is Linux...
#mobile#android#web-development#linux#desktop-computer#mobile-development
36 6006 10
New
PragmaticBookshelf
Game Dev>Learning Resources

Apple Game Frameworks and Technologies
Design and develop sophisticated 2D games that are as much fun to make as they are to play. From particle effects and pathfinding to soci...
pragprog.com
#pragprog#ios#game-dev#macos/swift#published-book#apple/book-apple-game-frameworks-and-technologies
30 7995 10
New
PragmaticBookshelf
Data Science

Genetic Algorithms in Elixir
From finance to artificial intelligence, genetic algorithms are a powerful tool with a wide array of applications. But you don't need an ...
#pragprog#ai/elixir#published-book/book-genetic-algorithms-in-elixir
25 5243 6
New
AstonJ
General Dev>Code Editors

Onivim 2 Code Editor
Thanks to @foxtrottwist’s and @Tomas’s posts in this thread: Poll: Which code editor do you use? I bought Onivim! :nerd_face: https://on...
#code-editors/onivim/revery
88 6144 32
New
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
30 8077 9
New
PragmaticBookshelf
Backend>Learning Resources

Python Testing with pytest, Second Edition
Create efficient, elegant software tests in pytest, Python's most powerful testing framework. Brian Okken @brianokken Edited by Kat...
pragprog.com
#pragprog/python#published-book/book-python-testing-with-pytest-second-edition
16 7461 4
New
CommunityNews
General Dev>In The News

Review of Linux on Minisforum V3 AMD Ryzen Tablet
A Brief Review of the Minisforum V3 AMD Tablet. Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...
mudkip.me
#linux#review#amd
0 4635 0
New
AstonJ
AI>Chat

How to: Run DeepSeek on Mac, Windows, and Linux!
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
#macs/deepseek#guides#lm-studio
14 9328 10
New
NewsBot
Backend>Official News

Node.js v22.14.0 released!
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 4251 0
New
RobertRichards
Game Dev>Chat

Hair Salon Games for Girls Fun
Hair Salon Games for Girls Fun Girls Hair Saloon game is mainly developed for kids. This game allows users to select virtual avatars to ...
#ios#android#unity#fun
2 3556 1
New
Back to top

Sponsor Spotlight

coders51

We build reliable cloud platforms for business-critical systems.

Latest in OCaml

OCaml Portal ❯

Backend>Learning Resources

Backend 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.

coders51

We build reliable cloud platforms for business-critical systems.

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!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

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.

coders51

We build reliable cloud platforms for business-critical systems.

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!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap