In The News

Effective Concurrency with Algebraic Effects in Multicore OCaml

CommunityNews

CommunityNews

Effective Concurrency with Algebraic Effects in Multicore OCaml

Algebraic effects and handlers provide a modular abstraction for expressing effectful computation, allowing the programmer to separate the expression of an effectful computation from its implementation. In this post, I will present an extension to OCaml for programming with linear algebraic effects, and demonstrate its use in expressing concurrency primitives for multicore OCaml. The design and implementation of algebraic effects for multicore OCaml is due to Leo White, Stephen Dolan and the multicore team at OCaml Labs.

Read in full here:

https://kcsrk.info/ocaml/multicore/2015/05/20/effects-multicore/

This thread was posted by one of our members via one of our news source trackers.

2 comments
#concurrency/ocaml
6 893 2

Popular General Dev topics Top

Devtalk
General 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 5517 111
New
herminiotorres
Hardware

What dev machine do you have?
Tell us what kind of machine/hardware do you have? and what kind of reason for? describe your hardware… :computer: :nerd_face:
#hardware
79 1967 36
New
Exadra37
Hardware

What monitor(s) do you have for programming?
Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...
#monitors#coding#programming#development
227 8356 88
New
AstonJ
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
37 4885 27
New
DevotionGeo
Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
28 5663 9
New
AstonJ
General Dev Chat

Languages Without Garbage Collection
Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
#garbage-collection
21 4430 8
New
DevotionGeo
Code Editors

What is your experience with Github Copilot?
I installed Github Copilot (VS Code extension) and signed up for the technical preview three days ago. Yesterday I got the invitation, an...
#visual-studio-code#github-copilot
29 2313 8
New
AstonJ
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 4593 1
New
AstonJ
Code Editors

Vim And Emacs Are The Most Important Skills You Should Learn
This was interesting: He’s definitely more of an Emacs fan (which is fine) and the thing I found interesting is how you wo...
youtube.com
/vim/emacs/neovim#doom-emacs
18 1855 8
New
harwind
General Dev Chat

Spring Boot Request Mapping: How to Handle Multiple Request Paths in a Controller
I’m working on a Spring Boot project and I have a controller where I want to map multiple request paths to a single method. Let’s say I h...
/java#programming
2 1520 1
New

Other popular topics Top

Exadra37
Linux Developer Forum>Questions/Help

AMD or Intel for Programming with Linux as the OS?
I am thinking in building or buy a desktop computer for programing, both professionally and on my free time, and my choice of OS is Linux...
#web-development#mobile#android#linux#desktop-computer#mobile-development
36 5142 10
New
AstonJ
General 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
236 5510 88
New
First poster: bot
In The News

Bit – A modernized Git CLI written in Go
github.com
#git/go
1 5353 1
New
PragmaticBookshelf
Game Developer Forum>Learning Resources

Hands-on Rust: Effective Learning through 2D Game Development and Play
Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters...
#pragprog/rust#published-book/book-hands-on-rust
118 6884 31
New
wmnnd
Blogs/Articles/Talks/Podcasts

Failing Big with Elixir and LiveView - A Post-Mortem
Here’s the story how one of the world’s first production deployments of LiveView came to be - and how trying to improve it almost caused ...
pentacent.com
/elixir/phoenix#blog-post#liveview
37 2483 15
New
OvermindDL1
Backend Developer Forum>Chat/Discussions

What's special about Rust's Rocket framework
Woooooooo! This is such a huge release for it, and 2 years incoming! In short, the library is now using an updated hyper backend (not j...
/rust/rocket#sticky
20 2654 6
New
AstonJ
Hardware

CharaChorder - type at the speed of thought?
Saw this on TikTok of all places! :lol: Anyone heard of them before? Lite:
/keyboards#charachorder
13 3704 5
New
PragmaticBookshelf
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 3856 12
New
Help
Game Developer Forum>Questions/Help

Can I use Java to program a game for Nintendo switch?
I am trying to crate a game for the Nintendo switch, I wanted to use Java as I am comfortable with that programming language. Can you use...
/java#nintendo
8 3154 4
New
PragmaticBookshelf
In The Spotlight

Spotlight: Karl Stolley (Author) Interview and AMA!
Author Spotlight: Karl Stolley @karlstolley Logic! Rhetoric! Prag! Wow, what a combination. In this spotlight, we sit down with Karl ...
#author-spotlight/book-programming-webrtc
31 3516 17
New
Back to top

Latest in General Dev

Meet Declarative Web Push
In The News
Declarative Schemas for Simpler Database Management
In The News
AI cheats: why you didn’t notice your teammate was cheating
In The News
Dijkstra On the foolishness of "natural language programming"
In The News
Overengineered anchor links - 35®
In The News
How we built the new family of Gemini Robotics models
In The News
Why Is the World Losing Color?
In The News
A litmus test for AI agents | Tines
In The News
Fast Compilation or Fast Execution: Just Have Both!
In The News
AI ambivalence
In The News
Train & Weather Tracker with Raspberry Pi & E-Ink
In The News
AI image recognition detects bubble-like structures in the universe
In The News
Stop syncing everything
In The News
Optical Discs From Japan – Part 6: TDK UV Guard, Fuji, LG/Sony, Maxell, CMC
In The News
Simulated Economy (1)
In The News
Ruby_ui: Ruby gem for RubyUI Components
In The News
A Man Powers Home for 8 Years Using 1,000 Old Laptop Batteries
In The News
How AI is creating a rift at McKinsey, Bain, and BCG
In The News
CERN scientists find evidence of quantum entanglement in sheep
In The News
Bletchley Park code breaker Betty Webb dies aged 101
In The News

View all threads ❯

Latest (all)

Julia v1.12.0-beta1 released!
Backend News
Meet Declarative Web Push
In The News
Declarative Schemas for Simpler Database Management
In The News
AI cheats: why you didn’t notice your teammate was cheating
In The News
Dijkstra On the foolishness of "natural language programming"
In The News
Overengineered anchor links - 35®
In The News
React Native v0.76.9 released!
Hybrid News
Nest v11.0.13 released!
Backend News
Announcing Rust 1.86.0
Backend News
Quarkus 3.21.1 released!
Backend News
What’s new in Svelte: April 2025
Frontend News
Django 5.2 released
Backend News
PostgreSQL: PGDay UK 2025, September 9th, London, England
Backend News
Go: More predictable benchmarking with testing.B.Loop
Backend News
How we built the new family of Gemini Robotics models
In The News

View all threads ❯

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.

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:

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.

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