CommunityNews

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

effects-examples/algorithmic_differentiation.ml at master · ocaml-multicore/effects-examples.
Examples to illustrate the use of algebraic effects in Multicore OCaml - effects-examples/algorithmic_differentiation.ml at master · ocaml-multicore/effects-examples

Read in full here:

github.com

ocaml-multicore/effects-examples/blob/master/algorithmic_differentiation.ml

(* Reverse-mode Algorithmic differentiation using effect handlers.
   Adapted from https://twitter.com/tiarkrompf/status/963314799521222656.
   See https://openreview.net/forum?id=SJxJtYkPG for more information. *)
open Effect
open Effect.Deep

module F : sig
  type t

  val mk : float -> t
  val ( +. ) : t -> t -> t
  val ( *. ) : t -> t -> t
  val grad : (t -> t) -> float -> float
  val grad2 : (t * t -> t) -> float * float -> float * float
end = struct
  type t = { v : float; mutable d : float }

  let mk v = { v; d = 0.0 }

  type _ Effect.t += Add : t * t -> t Effect.t

This file has been truncated. show original

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

View thread on forum

/ocaml

0 634 0

2022-11-19 15:56:41 UTC

Where Next?

View thread on forum

ocaml

Home Backend>In The News

/ocaml

0 634 0

Last post

Popular Backend topics

Backend>In The News

A short history of ReScript (BuckleScript)

A short history of ReScript (BuckleScript). It takes time to write such a post for a non-native speaker like me, but I appreciate what t...

discuss.ocaml.org

/ocaml #rescript #bucklescript

0 1068 0

2021-02-08 16:01:03 UTC

New

Backend>In The News

Managing Multiple PostgreSQL Instances on FreeBSD

FreeBSD allows the management of multiple instances of PostgreSQL by means of rc.conf(5) . The trick is to use profiles , that are avail...

fluca1978.github.io

/postgresql #freebsd

0 1039 0

2021-03-31 10:54:57 UTC

New

Backend>In The News

Microsoft buys Nuance for nearly $20B (also rumours of buying Discord and Pinterest)

Microsoft is trying to leapfrog competitors like Google and Amazon as they face record antitrust scrutiny. The big picture: The deals ...

axios.com

/elixir /erlang #microsoft

7 1111 1

2021-04-13 05:26:02 UTC

New

Backend>In The News

C++ Dev Ecosystem 2021

C++ Programming - The State of Developer Ecosystem in 2021 Infographic. The State of Developer Ecosystem 2021 is a detailed report about...

jetbrains.com

/c-plus-plus

0 1059 0

2021-07-22 14:37:13 UTC

New

Backend>In The News

What we can learn from "_why" the long lost open source developer

What we can learn from “_why” the long lost open source developer… Code might not last forever, but _why proves you can have an impact t...

github.com

/ruby

11 1191 3

2021-10-20 16:14:29 UTC

New

Backend>In The News

Sketch: A Common Lisp environment for the creation of electronic art

GitHub - vydd/sketch: A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer ...

github.com

/lisp #environment

0 1093 0

2022-01-10 00:39:24 UTC

New

Backend>In The News

Visualizing Concurrency in Go

One of the strongest sides of Go programming language is a built-in concurrency based on Tony Hoare’s CSP paper. Go is designed with conc...

divan.dev

/go #concurrency

6 1328 1

2022-01-12 19:33:43 UTC

New

Backend>In The News

Send text messages for free using Python

alfredosequeida.com

/python

11 1935 5

2022-01-18 01:41:48 UTC

New

Backend>In The News

Rust on Nails: A full stack architecture for Rust web applications

To build a web application you need to make architecture decisions across a range of topics. The beauty of Ruby on Rails or Django is tha...

cloak.software

/rust #web

0 2398 0

2022-04-14 01:56:05 UTC

New

Backend>In The News

Why Rust should not have provided `unwrap`

Why Rust should not have provided unwrap. I see the unwrap function called a lot, especially in example code, quick-and-dirty prototype ...

thecodedmessage.com

/rust

16 1059 5

2022-09-15 16:35:05 UTC

New

Other popular topics

Frontend>Chat

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 3555 17

2020-10-12 20:41:35 UTC

New

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 6636 11

2020-06-21 10:50:02 UTC

New

General Dev>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

243 5922 95

2025-06-05 19:34:43 UTC

New

General Dev>Hardware

Keyboard thock (sound)

I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...

/keyboards #mechanical-keyboards

14 7927 8

2020-11-11 11:59:23 UTC

New

Linux>Questions

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 21694 24

2022-04-13 13:30:03 UTC

New

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 5256 6

2021-01-30 21:04:03 UTC

New

Android>Questions

Clipboard readtext not working in android webview

Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...

#android #clipboard

1 3243 0

2022-09-27 18:52:03 UTC

New

Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)

There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...

#taskbar-overflow-win-11

3 1664 2

2023-02-13 08:43:55 UTC

New

Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...

#binding

0 2183 2

2024-12-09 21:07:33 UTC

New

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 1138 15

2025-03-06 23:29:12 UTC

New

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

CommunityNews

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

Where Next?

Popular Backend topics

A short history of ReScript (BuckleScript)

Managing Multiple PostgreSQL Instances on FreeBSD

Microsoft buys Nuance for nearly $20B (also rumours of buying Discord and Pinterest)

C++ Dev Ecosystem 2021

What we can learn from "_why" the long lost open source developer

Sketch: A Common Lisp environment for the creation of electronic art

Visualizing Concurrency in Go

Send text messages for free using Python

Rust on Nails: A full stack architecture for Rust web applications

Why Rust should not have provided `unwrap`

Other popular topics

Svelte - what do you think about it?

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?

Which language or framework do you want to learn next?

Keyboard thock (sound)

What is the most minimalist Linux server distro?

RancherOS is in end of life

Clipboard readtext not working in android webview

Taskbar Overflow Menu (NOT System Tray Overflow)

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Post your DeepSeek results

Latest in OCaml

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

CommunityNews

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

Where Next?

Popular Backend topics

A short history of ReScript (BuckleScript)

Managing Multiple PostgreSQL Instances on FreeBSD

Microsoft buys Nuance for nearly $20B (also rumours of buying Discord and Pinterest)

C++ Dev Ecosystem 2021

What we can learn from "_why" the long lost open source developer

Sketch: A Common Lisp environment for the creation of electronic art

Visualizing Concurrency in Go

Send text messages for free using Python

Rust on Nails: A full stack architecture for Rust web applications

Why Rust should not have provided `unwrap`

Other popular topics

Svelte - what do you think about it?

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?

Which language or framework do you want to learn next?

Keyboard thock (sound)

What is the most minimalist Linux server distro?

RancherOS is in end of life

Clipboard readtext not working in android webview

Taskbar Overflow Menu (NOT System Tray Overflow)

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Post your DeepSeek results

Sponsor Spotlight

Latest in OCaml

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta