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.

1 comment

#concurrency /ocaml

6 893 1

2021-10-13 17:25:15 UTC

Most Liked

OvermindDL1

I’m excited for algebraic effects in multicore ocaml, lol.

Sadly its been a long-time coming though.

Post #3

Popular General Dev topics

General Learning Resources

Mazes for Programmers

A book on mazes? Seriously? Yes! Because it’s fun. Remember when programming used to be fun? Explore a dozen algorithms for generating th...

/ruby #pragprog #published-book /book-mazes-for-programmers #math #algorithms

21 1636 7

2022-02-16 21:57:44 UTC

New

Code Editors

Poll: Which code editor do you use?

You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...

#polls #code-editors /vim /emacs /vscode #notepad /sublime-text #atom /textmate #codespaces #brackets #community /onivim #geany

105 4399 50

2024-11-24 11:59:08 UTC

New

In The News

Top 5 programming languages for web developers to learn

The following languages will help current and new web developers navigate the programming landscape to code web-based services and apps t...

techrepublic.com

#programming #languages #web

59 1932 24

2022-01-10 05:38:51 UTC

New

Blogs/Articles/Talks/Podcasts

Language Wars: C++, Java, C#, Python, Rust, TypeScript, Go, JS, Haskell, OCaml, Scala, Elm, F#, ReasonML, Elixir

Billed as the ultimate rating of modern programming languages yet Python and Rust only gets two stars :rofl: but good news for erlang-eli...

/c-plus-plus /c-sharp /elixir #f-sharp /go /haskell /java /ocaml /python /rust /scala /typescript /elm /js #reasonml /erlang #controversial

9 2162 3

2020-12-10 18:59:55 UTC

New

Code Editors

What's in your .vimrc file?

Inspired by some of the comments in our https://forum.devtalk.com/t/your-vim-tips/4748 (in particular those by Mafinar and Hallski) …what...

/vim /onivim

20 1760 7

2021-05-28 21:40:28 UTC

New

General Dev Chat

What shells do you use and how do you have it configured?

What shell(s) do you use, why do you use them, and how do you have them configured? Note, this is about shell’s, not terminals, terminal...

#shell

70 2689 31

2021-05-31 23:20:28 UTC

New

In The News

The faster you unlearn OOP, the better for you and your software

Maybe it’s just my experience, but Object-Oriented Programming seems like a default, most common paradigm of software engineering. The on...

dpc.pw

#oop

36 1731 15

2021-06-21 01:31:51 UTC

New

General 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 4145 14

2021-11-10 20:03:09 UTC

New

General Dev Jobs

Senior Elixir Backend Developer (Remote)

About talentbay Our online networking platform connects students with teams in business and industry. It consists of our mobile app for ...

/elixir #jobs #backend

3 2054 0

2022-01-05 15:00:04 UTC

New

In The News

Rails is not written in Ruby

Rails is not written in Ruby. I’m born and raised in Kraków, a beautiful city in Poland, maybe you’ve heard about it, maybe you’ve even ...

solnic.codes

/rails /ruby

67 2264 27

2022-02-11 18:11:13 UTC

New

Other popular topics

General Dev Chat

What are you listening to?

A thread that every forum needs! Simply post a link to a track on YouTube (or SoundCloud or Vimeo amongst others!) on a separate line an...

#community #music

193 4239 93

2024-12-05 17:45:39 UTC

New

Frontend Developer Forum>Chat/Discussions

Svelte - what do you think about it?

Any thoughts on Svelte? Svelte is a radical new approach to building user interfaces. Whereas traditional frameworks like React and Vue...

#opinions /svelte

54 3310 17

2020-10-12 20:41:35 UTC

New

Hardware

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)

Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...

/keyboards #hardware #moonlander #mechanical-keyboards #ortholinear #ergonomic

212 14614 90

2021-07-13 15:33:55 UTC

New

Backend Developer Forum>Questions/Help

Can someone explain the -t option/flag in docker run command?

I know that -t flag is used along with -i flag for getting an interactive shell. But I cannot digest what the man page for docker run com...

#docker

7 6666 2

2020-09-01 07:19:16 UTC

New

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 5547 90

2025-04-08 09:50:27 UTC

New

Journals & Book Clubs

Programming Erlang Book Club

My first contact with Erlang was about 2 years ago when I used RabbitMQ, which is written in Erlang, for my job. This made me curious and...

/erlang /book-programming-erlang-2nd-edition #book-club

195 6223 95

2025-02-16 20:22:17 UTC

New

Hardware

Keyboardio Atreus (Mechanical) (Ergonomic) (Ortholinear)

Here’s our thread for the Keyboardio Atreus. It is a mechanical keyboard based on and a slight update of the original Atreus (Keyboardio ...

/keyboards #mechanical-keyboards #ortholinear #ergonomic #keyboardio #atreus

9 3083 6

2020-11-11 18:01:44 UTC

New

macOS Developer Forum>Chat/Discussions

Your Mac Isn't Yours - worse, it spies on you and sends it home unencrypted

On modern versions of macOS, you simply can’t power on your computer, launch a text editor or eBook reader, and write or read, without a ...

sneak.berlin

#macos #macs #apple #privacy #mac-privacy #big-sur

24 3384 24

2021-02-02 11:13:29 UTC

New

Linux Developer Forum>Questions/Help

What is the most minimalist Linux server distro?

I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...

#linux #servers

66 20453 24

2022-04-13 13:30:03 UTC

New

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

#safari #api

43 2765 21

2022-03-03 12:49:07 UTC

New

Effective Concurrency with Algebraic Effects in Multicore OCaml

CommunityNews

Effective Concurrency with Algebraic Effects in Multicore OCaml

Most Liked

OvermindDL1

Popular General Dev topics

Mazes for Programmers

Poll: Which code editor do you use?

Top 5 programming languages for web developers to learn

Language Wars: C++, Java, C#, Python, Rust, TypeScript, Go, JS, Haskell, OCaml, Scala, Elm, F#, ReasonML, Elixir

What's in your .vimrc file?

What shells do you use and how do you have it configured?

The faster you unlearn OOP, the better for you and your software

Roc Language - a new purely functional programming language built for speed and ergonomics

Senior Elixir Backend Developer (Remote)

Rails is not written in Ruby

Other popular topics

What are you listening to?

Svelte - what do you think about it?

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)

Can someone explain the -t option/flag in docker run command?

Which language or framework do you want to learn next?

Programming Erlang Book Club

Keyboardio Atreus (Mechanical) (Ergonomic) (Ortholinear)

Your Mac Isn't Yours - worse, it spies on you and sends it home unencrypted

What is the most minimalist Linux server distro?

Safari now supports File System Access API with private origin

Latest in General Dev

Latest (all)

We ❤️ helpful members!

Categories:

Popular Portals

We're in Beta

Effective Concurrency with Algebraic Effects in Multicore OCaml

CommunityNews

Effective Concurrency with Algebraic Effects in Multicore OCaml

Most Liked

OvermindDL1

Popular General Dev topics

Mazes for Programmers

Poll: Which code editor do you use?

Top 5 programming languages for web developers to learn

Language Wars: C++, Java, C#, Python, Rust, TypeScript, Go, JS, Haskell, OCaml, Scala, Elm, F#, ReasonML, Elixir

What's in your .vimrc file?

What shells do you use and how do you have it configured?

The faster you unlearn OOP, the better for you and your software

Roc Language - a new purely functional programming language built for speed and ergonomics

Senior Elixir Backend Developer (Remote)

Rails is not written in Ruby

Other popular topics

What are you listening to?

Svelte - what do you think about it?

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)

Can someone explain the -t option/flag in docker run command?

Which language or framework do you want to learn next?

Programming Erlang Book Club

Keyboardio Atreus (Mechanical) (Ergonomic) (Ortholinear)

Your Mac Isn't Yours - worse, it spies on you and sends it home unencrypted

What is the most minimalist Linux server distro?

Safari now supports File System Access API with private origin

Latest in General Dev

Latest (all)

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Popular Portals

Devtalk Sponsors

We're in Beta