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

2022-11-19 15:56:41 UTC

Where Next?

View thread on forum

ocaml

Home Backend>In The News

/ocaml

0 705 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 1233 0

2021-02-08 16:01:03 UTC

New

Backend>In The News

Comparison of Haskell & Julia List Comprehensions

One of Haskell’s features that I really liked was list comprehensions, so I was very pleased to discover how nice Julia’s comprehensions ...

blog.lojic.com

/haskell /julia

0 1298 0

2021-07-11 16:32:05 UTC

New

Backend>In The News

Is Rust Used Safely by Software Developers?

Is Rust Used Safely by Software Developers?. Rust, an emerging programming language with explosive growth, provides a robust type syste...

arxiv.org

/rust

39 1427 16

2021-08-03 19:29:51 UTC

New

Backend>In The News

Rust programming for web developers, by a web developer

codeamigo. Byte-sized interactive coding tutorials

codeamigo.dev

/rust #programming #web

10 1327 4

2021-11-24 00:16:49 UTC

New

Backend>In The News

Py2cr: A Python3 to Crystal Translator

GitHub - nanobowers/py2cr: Python3 to Crystal Translation using Python AST Walker. Python3 to Crystal Translation using Python AST Walke...

github.com

/crystal

0 1432 0

2021-12-27 15:56:57 UTC

New

Backend>In The News

A simple WASM maze generator in Go (demo)

GitHub - deadpixi/wasm-maze-generator: A simple WASM maze generator in Go. A simple WASM maze generator in Go. Contribute to deadpixi/wa...

github.com

/go /wasm #demo

8 1794 2

2022-01-21 15:16:43 UTC

New

Backend>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

/ruby /rails

67 2646 27

2022-02-11 18:11:13 UTC

New

Backend>In The News

Worm: A dynamic, tag-based window manager written in Nim

GitHub - codic12/worm: A dynamic, tag-based window manager written in Nim. A dynamic, tag-based window manager written in Nim - GitHub -...

github.com

/nim

1 1119 0

2022-06-12 23:00:58 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 1180 5

2022-09-15 16:35:05 UTC

New

Backend>In The News

Introducing Trilogy: a new database adapter for Ruby on Rails

Introducing Trilogy: a new database adapter for Ruby on Rails | The GitHub Blog. We’ve open sourced Trilogy, the database adapter we use...

github.blog

/ruby /rails #database

1 1191 0

2022-09-04 00:18:41 UTC

New

Other popular topics

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

202 4896 102

2025-07-26 22:00:31 UTC

New

Cross Platform>Libraries/Tools

Obsidian – a cross platform app to help you create a knowledge base with Markdown files

I’ve been really enjoying obsidian.md: It is very snappy (even though it is based on Electron). I love that it is all local by defaul...

#apps #macos #windows #linux /markdown #obsidian

38 4314 19

2021-08-02 16:28:39 UTC

New

Science/Tech>Tech Chat

What are you watching?

Or looking forward to? :nerd_face:

#community

483 10427 254

2025-08-12 08:20:25 UTC

New

General Dev>Dev Chat

Which vertical monitor do you use?

I’m thinking of buying a monitor that I can rotate to use as a vertical monitor? Also, I want to know if someone is using it for program...

#monitors #programming

51 4573 20

2023-06-28 07:23:42 UTC

New

Game Dev>Learning Resources

Apple Game Frameworks and Technologies

Design and develop sophisticated 2D games that are as much fun to make as they are to play. From particle effects and pathfinding to soci...

pragprog.com

#pragprog #ios #game-dev #macos /swift #published-book #apple /book-apple-game-frameworks-and-technologies

30 5407 10

2021-04-22 16:51:02 UTC

New

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 7228 31

2021-07-10 05:52:20 UTC

New

Backend>Chat

Rails console using 100% CPU in dev (fix)

If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...

/ruby /rails

3 3921 3

2021-02-04 07:08:45 UTC

New

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 10909 28

2022-11-16 10:29:37 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 2053 2

2023-02-13 08:43:55 UTC

New

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

2024-01-26 05:47: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)

Comparison of Haskell & Julia List Comprehensions

Is Rust Used Safely by Software Developers?

Rust programming for web developers, by a web developer

Py2cr: A Python3 to Crystal Translator

A simple WASM maze generator in Go (demo)

Rails is not written in Ruby

Worm: A dynamic, tag-based window manager written in Nim

Why Rust should not have provided `unwrap`

Introducing Trilogy: a new database adapter for Ruby on Rails

Other popular topics

What are you listening to?

Obsidian – a cross platform app to help you create a knowledge base with Markdown files

What are you watching?

Which vertical monitor do you use?

Apple Game Frameworks and Technologies

How fast do you type? Check your WPM here!

Rails console using 100% CPU in dev (fix)

Spotlight: Rebecca Skinner (Author) Interview and AMA!

Taskbar Overflow Menu (NOT System Tray Overflow)

X can’t stop spread of explicit, fake AI Taylor Swift images

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)

Comparison of Haskell & Julia List Comprehensions

Is Rust Used Safely by Software Developers?

Rust programming for web developers, by a web developer

Py2cr: A Python3 to Crystal Translator

A simple WASM maze generator in Go (demo)

Rails is not written in Ruby

Worm: A dynamic, tag-based window manager written in Nim

Why Rust should not have provided `unwrap`

Introducing Trilogy: a new database adapter for Ruby on Rails

Other popular topics

What are you listening to?

Obsidian – a cross platform app to help you create a knowledge base with Markdown files

What are you watching?

Which vertical monitor do you use?

Apple Game Frameworks and Technologies

How fast do you type? Check your WPM here!

Rails console using 100% CPU in dev (fix)

Spotlight: Rebecca Skinner (Author) Interview and AMA!

Taskbar Overflow Menu (NOT System Tray Overflow)

X can’t stop spread of explicit, fake AI Taylor Swift images

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