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

Where Next?

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

Popular Backend topics Top

PragmaticBookshelf
Backend>Learning Resources

Design and Build Great Web APIs
Good API design means starting with the API-first principle—understanding who is using the API and what they want to do with it—and apply...
pragprog.com
#pragprog#web-development#published-book/book-design-and-build-great-web-apis/nodejs/js
3 1479 0
New
PragmaticBookshelf
Backend>Learning Resources

Programming Machine Learning
Machine learning can be intimidating, with its reliance on math and algorithms that most programmers don't encounter in their regular wor...
pragprog.com
#pragprog#ai/python#published-book/book-programming-machine-learning#math#algorithms
6 2713 3
New
PragmaticBookshelf
Backend>Learning Resources

Getting Clojure
Learning Clojure involves much more than just learning the mechanics. To really get Clojure you need to understand the ideas underlying i...
pragprog.com
#pragprog/clojure#published-book/book-getting-clojure
44 1807 13
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 1494 0
New
PragmaticBookshelf
Backend>Learning Resources

Metaprogramming Elixir
Chris McCord edited by Jacquelyn Carter @jkcarter Metaprogramming is one of Elixir’s greatest features. Maybe you’ve played with the bas...
pragprog.com
#pragprog/elixir#published-book/book-metaprogramming-elixir
3 1242 0
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 2096 5
New
ElixirCasts
Backend>Learning Resources

Pagination with Phoenix LiveView - ElixirCasts
elixircasts.io
/elixir/phoenix#liveview#screencast
4 1225 0
New
PragmaticBookshelf
Backend>Learning Resources

Mockito Made Clear
Write effective and useful tests with the Mockito framework. Distinguish between mocks, stubs, and spies, and feel confident about when a...
pragprog.com
#pragprog/java#published-book/book-mockito-made-clear
4 1585 0
New
ManningBooks
Backend>Learning Resources

Spring Security in Action, Second Edition
Spring Security in Action, Second Edition is a revised version of the bestselling original, fully updated for Spring Boot 3 and Oauth2/Op...
manning.com
#manning/spring#meap
2 1902 0
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 1692 7
New

Other popular topics Top

Devtalk
General Dev>Dev Chat

HELLO WORLD (Introductions thread!)
Hello Devtalk World! Please let us know a little about who you are and where you’re from :nerd_face:
#community
476 5614 111
New
AstonJ
General Dev>Hardware

Poll: Which keyboard layout do you use?
poll poll Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
colemakmods.github.io
#polls/keyboards
10 5194 11
New
Exadra37
Linux>Chat

RancherOS is in end of life
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
#linux#rancheros
10 5056 6
New
AstonJ
Science/Tech>Health & Diet

Did you manage to avoid covid19?
Seems like a lot of people caught it - just wondered whether any of you did? As far as I know I didn’t, but it wouldn’t surprise me if I...
#covid19
190 3718 79
New
AstonJ
Data Science

Can AI/ML predict a lottery win?
Biggest jackpot ever apparently! :upside_down_face: I don’t (usually) gamble/play the lottery, but working on a program to predict the...
#ai#machine-learning
19 2994 10
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: James Stanier (Author) Interview and AMA!
Author Spotlight James Stanier @jstanier James Stanier, author of Effective Remote Work , discusses how to rethink the office as we e...
#pragprog#remote/book-effective-remote-work
29 3956 12
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Rebecca Skinner (Author) Interview and AMA!
Author Spotlight Rebecca Skinner @RebeccaSkinner Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
#author-spotlight/haskell/book-effective-haskell
106 10405 28
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 3373 18
New
CommunityNews
General Dev>In The News

X can’t stop spread of explicit, fake AI Taylor Swift images
Will Swifties’ war on AI fakes spark a deepfake porn reckoning?
arstechnica.com
/swift
0 5804 0
New
AstonJ
Backend>Questions

Psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory
If you’re getting errors like this: psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
#macos/rails/postgresql
1 1825 1
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