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

Popular Backend topics Top

PragmaticBookshelf
Backend>Learning Resources

Programming Ecto
Learn how to use Ecto, the premier database library for Elixir, to connect your Elixir and Phoenix apps to databases. Darin Wilson...
pragprog.com
#pragprog/elixir#published-book/book-programming-ecto
3 1286 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 1342 1
New
PragmaticBookshelf
Backend>Learning Resources

Learn Functional Programming with Elixir
Elixir's straightforward syntax and this guided tour give you a clean, simple path to learn modern functional programming techniques. Exp...
pragprog.com
#pragprog/elixir#published-book/book-learn-functional-programming-with-elixir
11 1561 3
New
PragmaticBookshelf
Backend>Learning Resources

Programming Erlang (2nd edition)
Using Erlang, you’ll be surprised at how easy it becomes to deal with parallel problems, and how much faster and more efficiently your pr...
pragprog.com
#pragprog/erlang#published-book/book-programming-erlang-2nd-edition
5 1443 0
New
PragmaticBookshelf
Backend>Learning Resources

Programming Groovy 2
You don’t have to leave the rich Java Platform to take advantage of Groovy. Groovy preserves Java’s semantics and extends the JDK, so pro...
pragprog.com
#pragprog/groovy/java#published-book/book-programming-groovy-2
3 1306 0
New
PragmaticBookshelf
Backend>Learning Resources

Python Brain Teasers
Get ready for 30 teasers that will hone your Python skills and challenge your brain.. Miki Tebeka @tebeka edited by Margaret Eldridg...
pragprog.com
#pragprog/python#published-book/book-python-brain-teasers
9 1790 2
New
First poster: bot
Backend>Learning Resources

Build It with Nitrogen: The Fast-Off-the-Block Erlang Web Framework (self-published)
Web development has never been more challenging. The Internet is intensely competitive and treacherous. Site malfunction and downtime are...
leanpub.com
/erlang#web/nitrogen
2 1321 1
New
PragmaticBookshelf
Backend>Learning Resources

Build a Binary Clock with Elixir and Nerves
Build a working binary clock using Elixir, Nerves, and OTP. Control complexity in your projects using a layered approach to software desi...
pragprog.com
#pragprog#hardware/elixir#published-book/nerves/book-build-a-binary-clock-with-elixir-and-nerves
8 1769 2
New
PragmaticBookshelf
Backend>Learning Resources

Sustainable Web Development with Ruby on Rails
Learn how to get the most out of Ruby on Rails 7 without making a mess. Create Rails apps that can be sustained for years without accruin...
pragprog.com
#pragprog/ruby/rails#published-book/book-sustainable-web-development-with-ruby-on-rails
3 1499 0
New
PragmaticBookshelf
Backend>Learning Resources

Numerical Brain Teasers
Test your math, and sharpen your skills. These fun and twisty challenges will puzzle your brain, tease your number sense, and get you thi...
pragprog.com
#pragprog#published-book#math/book-numerical-brain-teasers
19 1352 7
New

Other popular topics Top

AstonJ
General Dev>Dev Chat

Which language or framework do you want to learn next?
Curious to know which languages and frameworks you’re all thinking about learning next :upside_down_face: Perhaps if there’s enough peop...
#community#learning
241 5677 93
New
AstonJ
General Dev>Hardware

Custom keyboard keycaps
There’s a whole world of custom keycaps out there that I didn’t know existed! Check out all of our Keycaps threads here: https://forum....
#hardware/keyboards#keycaps#mechanical-keyboards
15 8008 19
New
AstonJ
Backend>Chat

How to install Ruby 3 with ASDF
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first: asdf plugin-upd...
/ruby#asdf
11 5232 4
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 3553 3
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Paolo Perrotta (Author)
“A Mystical Experience” Hero’s Journey with Paolo Perrotta @nusco Ever wonder how authoring books compares to writing articles?...
#community#author-spotlight/book-programming-machine-learning/book-metaprogramming-ruby-2
31 3434 15
New
DevotionGeo
General Dev>Dev Chat

The V Programming Language
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
#programminguages/v
21 10981 7
New
Maartz
General Dev>Dev Chat

Roc Language - a new purely functional programming language built for speed and ergonomics
Hi folks, I don’t know if I saw this here but, here’s a new programming language, called Roc Reminds me a bit of Elm and thus Haskell. ...
#programminguages#functional-programming
49 4271 14
New
foxtrottwist
General Dev>Dev Chat

Warp—The blazingly fast, Rust-based terminal
A few weeks ago I started using Warp a terminal written in rust. Though in it’s current state of development there are a few caveats (tab...
/rust#terminal
52 4679 22
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Tammy Coron (Author) Interview and AMA!
Author Spotlight: Tammy Coron @Paradox927 Gaming, and writing games in particular, is about passion, vision, experience, and immersio...
/swift/book-apple-game-frameworks-and-technologies
36 3370 18
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
13 4063 10
New
Back to top

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'll 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'll 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