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 993 0

Where Next?

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

Popular Backend topics Top

PragmaticBookshelf
Backend>Learning Resources

Docker for Rails Developers
Docker does for DevOps what Rails did for web development---it gives you a new set of superpowers. Eliminate “works on my machine” woes a...
pragprog.com
#pragprog/ruby#published-book/book-docker-for-rails-developers
2 2419 0
New
PragmaticBookshelf
Backend>Learning Resources

Programming Crystal
Crystal is for Ruby programmers who want more performance and developers who enjoy working in a high-level scripting environment. It comb...
pragprog.com
#pragprog/crystal/ruby#published-book/book-programming-crystal
4 2552 1
New
PragmaticBookshelf
Backend>Learning Resources

Java by Comparison
Improve your coding skills by comparing your code to that of expert programmers, and write code that’s clean, concise, and to the point. ...
pragprog.com
#pragprog#web-development/java#published-book/book-java-by-comparison
4 2511 0
New
PragmaticBookshelf
Backend>Learning Resources

Practical Programming, Third Edition
Classroom-tested by tens of thousands of students, this new edition of the bestselling intro to programming book is for anyone who wants ...
pragprog.com
#pragprog/python#published-book/book-practical-programming-third-edition#algorithms
2 3098 0
New
PragmaticBookshelf
Backend>Learning Resources

Portable Python Projects
Expand your knowledge of the Raspberry Pi while building nearly a dozen immediately applicable hardware and software projects. Use Python...
pragprog.com
#pragprog/python#published-book/book-portable-python-projects
8 3034 2
New
PragmaticBookshelf
Backend>Learning Resources

Build a Weather Station with Elixir and Nerves
This project based book gets you up to speed on building and deploying Elixir IoT applications using Nerves, as you develop a real-world ...
pragprog.com
#pragprog#hardware/elixir/ruby#published-book/nerves/book-build-a-weather-station-with-elixir-and-nerves
33 3587 10
New
PragmaticBookshelf
Backend>Learning Resources

Programmer Passport: Prolog
Discover the secret Prolog developers have long known. Programs based on pure logic as the primary building block are more elegant, more ...
grox.io
#pragprog/prolog#published-book#dev-news-source/book-programmer-passport-prolog
6 2358 0
New
ManningBooks
Backend>Learning Resources

Elixir in Action, Third Edition
Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high...
manning.com
#manning/elixir#published-book#development#meap
19 1987 11
New
PragmaticBookshelf
Backend>Learning Resources

Agile Web Development with Rails 7.2
Get the comprehensive, insider information you need for Rails 7.2 with the new edition of this award-winning classic. Sam Ruby @ruby...
pragprog.com
#pragprog#web-development/ruby/rails#published-book/book-agile-web-development-with-rails-7-2
9 2511 5
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 3200 1
New

Other popular topics Top

DevotionGeo
Backend>Chat

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
#web-frameworks/rust
36 7115 11
New
AstonJ
General Dev>Code Editors

SpaceVim vs SpaceMacs
SpaceVim seems to be gaining in features and popularity and I just wondered how it compares with SpaceMacs in 2020 - anyone have any thou...
/vim#spacevim#spacemacs/emacs#code-editors
30 3990 14
New
Exadra37
Linux>Questions

What is the most minimalist Linux server distro?
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
#linux#servers
66 23964 24
New
mafinar
Community>Journals

Programming Crystal Book Club
Crystal recently reached version 1. I had been following it for awhile but never got to really learn it. Most languages I picked up out o...
/crystal/book-programming-crystal#book-club
155 4581 65
New
AstonJ
General Dev>Code Editors

Doom-Emacs: Can't find emacs in your PATH
If you get Can't find emacs in your PATH when trying to install Doom Emacs on your Mac you… just… need to install Emacs first! :lol: bre...
#macos/emacs#doom-emacs
4 5350 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Erin Dees (Author) Interview and AMA!
Author Spotlight Erin Dees @undees Welcome to our new author spotlight! We had the pleasure of chatting with Erin Dees, co-author of ...
#author-spotlight/ruby/rails/book-effective-testing-with-rspec-3/book-seven-more-languages-in-seven-weeks/book-cucumber-recipes#rspec
24 3863 11
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!
Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
#author-spotlight/book-forge-your-future-with-open-source
16 4431 11
New
DevotionGeo
General Dev>Questions

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?
I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...
/keyboards#mechanical-keyboards
27 3339 9
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 5191 9
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 2585 0
New
Back to top

Sponsor Spotlight

Honeybadger

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

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.

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.

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