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

Where Next?

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

Popular Backend topics Top

PragmaticBookshelf
Backend>Learning Resources

Build Talking Apps for Alexa
For decades, voice-enabled computers have only existed in the realm of science fiction. But now the Alexa Skills Kit (ASK) lets you devel...
pragprog.com
#pragprog#hardware#published-book/book-build-talking-apps-for-alexa
3 1645 0
New
PragmaticBookshelf
Backend>Learning Resources

Build Chatbot Interactions
The next step in the evolution of user interfaces is here. Chatbots let your users interact with your service in their own natural langua...
pragprog.com
#pragprog/ruby#published-book/book-build-chatbot-interactions
12 2112 6
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 2199 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 1828 2
New
PragmaticBookshelf
Backend>Learning Resources

Modern C++ Programming with Test-Driven Development
Modern C++ Programming With Test-Driven Development, the only comprehensive treatment on TDD in C++ provides you with everything you need...
pragprog.com
#pragprog/c-plus-plus#published-book/book-modern-c-programming-with-test-driven-development
2 1653 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 2081 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 2548 10
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 1703 7
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 1923 9
New
PragmaticBookshelf
Backend>Learning Resources

Simplicity
Fight complexity and reclaim the original spirit of agility by learning to simplify how you develop software. The result: a more humane a...
pragprog.com
#pragprog#published-book/book-simplicity
10 1290 8
New

Other popular topics Top

ohm
Science/Tech>Tech Chat

Games! Which do you play?
Which, if any, games do you play? On what platform? I just bought (and completed) Minecraft Dungeons for my Nintendo Switch. Other than ...
#games
245 5335 101
New
wolf4earth
Science/Tech>Health & Diet

How do you keep fit and healthy?
@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness. https://f...
#fitness#heath
193 4510 82
New
AstonJ
General Dev>Hardware

Seen any cool new keyboards?
We have a thread about the keyboards we have, but what about nice keyboards we come across that we want? If you have seen any that look n...
/keyboards#mechanical-keyboards
49 5284 39
New
AstonJ
General Dev>Dev Chat

How fast do you type? Check your WPM here!
Do the test and post your score :nerd_face: :keyboard: If possible, please add info such as the keyboard you’re using, the layout (Qw...
typing-speed-test.aoeu.eu
/keyboards
82 6920 31
New
Margaret
General Dev>Content Creators

What tech topics do you think will (or should) be the focus of 2021?
Hello content creators! Happy new year. What tech topics do you think will be the focus of 2021? My vote for one topic is ethics in tech...
#general
110 3900 43
New
dimitarvp
macOS>Chat

My thoughts on macOS vs Linux
Small essay with thoughts on macOS vs. Linux: I know @Exadra37 is just waiting around the corner to scream at me “I TOLD YOU SO!!!” but I...
#macos#linux
166 7775 69
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 4462 14
New
PragmaticBookshelf
Backend>Learning Resources

Agile Web Development with Rails 7
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
pragprog.com
#pragprog#web-development/ruby/rails#published-book/book-agile-web-development-with-rails-7
32 3916 9
New
First poster: joeb
General Dev>In The News

Safari now supports File System Access API with private origin
The File System Access API with Origin Private File System. WebKit supports new API that makes it possible for web apps to create, open,...
webkit.org
#api#safari
43 3103 21
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!
Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...
/elixir/ruby/phoenix/book-seven-more-languages-in-seven-weeks/book-seven-languages-in-seven-weeks#liveview/book-programming-phoenix-liveview
54 4591 23
New
Back to top

Sponsor Spotlight

AppSignal

Catch errors, track performance, monitor hosts and more.

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