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

Functional Web Development with Elixir, OTP, and Phoenix
Elixir and OTP provide exceptional tools to build rock-solid back-end applications that scale. Build a web application in a radically dif...
pragprog.com
#pragprog#web-development/elixir#published-book/book-functional-web-development-with-elixir-otp-and-phoenix
3 3303 1
New
PragmaticBookshelf
Backend>Learning Resources

Effective Testing with RSpec 3
RSpec has been downloaded more than 80 million times and has inspired countless test frameworks in other languages. Myron Marston @...
pragprog.com
#pragprog/ruby#published-book/book-effective-testing-with-rspec-3
19 3957 3
New
PragmaticBookshelf
Backend>Learning Resources

Learn to Program, Third Edition
It's easier to learn how to program a computer than it has ever been before. Now everyone can learn to write programs for themselves—no p...
pragprog.com
#pragprog/ruby#published-book/book-learn-to-program-third-edition
11 4031 5
New
ManningBooks
Backend>Learning Resources

Rust in Action
Rust in Action introduces the Rust programming language by exploring numerous systems programming concepts and techniques. You'll be lear...
manning.com
#manning/rust#published-book#development#book-rust-in-action
71 2753 17
New
PragmaticBookshelf
Backend>Learning Resources

Programmer Passport: OTP
Teach yourself the core OTP abstractions in a short, practical book—first published with Groxio's Programmer Passport—from the author of ...
grox.io
#pragprog/elixir#published-book/book-programmer-passport-otp
4 3691 0
New
PragmaticBookshelf
Backend>Learning Resources

Real-World Event Sourcing
Use event sourcing to solve complex software development problems by modeling your application as a stream of immutable events and their ...
pragprog.com
#pragprog/elixir#published-book/book-real-world-event-sourcing
30 3882 9
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

C# Brain Teasers
Test your C# knowledge and expand your understanding of the language with 25 common and not-so-common puzzles. Steve Love @stevelov...
pragprog.com
#pragprog#published-book/book-c-sharp-brain-teasers
2 3349 1
New
PragmaticBookshelf
Backend>Learning Resources

The Art of Functional Programming
A masterclass in the fundamentals and principles of functional programming. Minh Quang Tran The Art of Functional Programming is a ma...
pragprog.com
#pragprog/haskell/java#published-book/book-the-art-of-functional-programming
2 4159 0
New
PragmaticBookshelf
Backend>Learning Resources

Kotlin Brain Teasers
Level up your Kotlin the fun way! Solve mysteries, dodge traps, and banish bugs. Sharpen your critical thinking to ace interviews and shi...
pragprog.com
#pragprog/kotlin#published-book/book-kotlin-brain-teasers
2 3018 0
New

Other popular topics Top

PragmaticBookshelf
Backend>Learning Resources

Seven Languages in Seven Weeks
Ruby, Io, Prolog, Scala, Erlang, Clojure, Haskell. With Seven Languages in Seven Weeks, by Bruce A. Tate, you’ll go beyond the syntax—and...
pragprog.com
#pragprog/clojure/erlang/haskell/prolog/ruby/scala#published-book/book-seven-languages-in-seven-weeks
5 5730 1
New
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 7463 11
New
First poster: bot
Backend>In The News

Bit – A modernized Git CLI written in Go
github.com
/go#git
1 5920 0
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 7682 31
New
PragmaticBookshelf
Frontend>Learning Resources

Modern CSS with Tailwind
Tailwind CSS is an exciting new CSS framework that allows you to design your site by composing simple utility classes to create complex e...
pragprog.com
#pragprog/tailwind#published-book/book-modern-css-with-tailwind
12 5813 4
New
AstonJ
Frontend>Chat

Online Hand to eye coordination test
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
#online-tools
4 4562 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
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
AstonJ
AI>Chat

Post your DeepSeek results
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
/deepseek
15 4275 15
New
mindriot
General Dev>Reviews

Keyboard Review: UHK60V2 vs Defy vs Voyager vs Glove80 vs Svalboard
Ok, well here are some thoughts and opinions on some of the ergonomic keyboards I have, I guess like mini review of each that I use enoug...
/keyboards#uhk60v2#defy#voyager#glove80#svalboard
5 5681 7
New
Back to top

Sponsor Spotlight

WyewWorks

Enabling companies to succeed by building software people love.

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

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

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap