CommunityNews

Automatic Differentiation in 38 lines of Haskell

Automatic Differentiation in 38 lines of Haskell using Operator Overloading and Dual Numbers. Inspired by Beautiful differentiation.
Automatic Differentiation in 38 lines of Haskell using Operator Overloading and Dual Numbers. Inspired by Beautiful differentiation - AD.hs

Read in full here:

gist.github.com

https://gist.github.com/ttesmer/948df432cf46ec6db8c1e83ab59b1b21

AD.hs

{-# LANGUAGE TypeSynonymInstances #-}
data Dual d = D Float d deriving Show
type Float' = Float

diff :: (Dual Float' -> Dual Float') -> Float -> Float'
diff f x = y'
  where D y y' = f (D x 1)

class VectorSpace v where
  zero  :: v

This file has been truncated. show original

example.md

# Automatic Differentiation in 38 lines of Haskell
(See discussion [on Hacker News](https://news.ycombinator.com/item?id=32879734))

You can now differentiate (almost[^1]) any differentiable hyperbolic, polynomial, exponential, and/or trigonometric function.
Let's use the polynomial $f(x) = 2x^3 + 3x^2 + 4x + 2$, whose straightforward derivative, $f'(x) = 6x^2 + 6x + 4$, can be used to verify the AD program.

```haskell
λ> f x = 2 * x^3 + 3 * x^2 + 4 * x + 2 -- our polynomial
λ> f 10
2342

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

/haskell

0 648 0

2022-09-18 01:01:48 UTC

Where Next?

View thread on forum

haskell

Home Backend>In The News

/haskell

0 648 0

Last post

Popular Backend topics

Backend>In The News

Wren - a classy little scripting language

Wren is a small, fast, class-based concurrent scripting language. Think Smalltalk in a Lua-sized package with a dash of Erlang and wrapp...

wren.io

/erlang /wren

3 967 1

2020-09-15 00:52:03 UTC

New

Backend>In The News

The Accelerating Adoption of Julia

lwn.net

/julia

0 1024 0

2020-10-20 22:44:43 UTC

New

Backend>In The News

Python overtakes Java to become the second-most popular programming language

For the first time in the history of TIOBE’s index, Java has slipped out of the top two, leaving Python to occupy the spot behind reignin...

techrepublic.com

/java /python #programming

0 1191 0

2020-11-04 23:03:55 UTC

New

Backend>In The News

Hotwire Turbo Replacing Rails UJS

In this episode, we look at some common functionality that we got with Rails UJS and what it looks like to reimplement these with Hotwire...

driftingruby.com

/rails

2 1093 0

2021-08-07 04:51:14 UTC

New

Backend>In The News

Rocket: A Web Framework for Rust

Rocket is a web framework written in Rust. It provides a concise API and is opinionated and feature-rich beyond what you would typically ...

tech.marksblogg.com

/rust /rocket #web

15 1488 6

2021-09-28 04:33:25 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 1287 0

2021-12-27 15:56:57 UTC

New

Backend>In The News

Avoid Yoda conditions in Perl you should

Avoid Yoda conditions in Perl you should—The Phoenix Trap. Assign not when mean to compare you do. Help you warnings and strictures can.

phoenixtrap.com

/perl

5 1016 1

2022-01-24 12:35:12 UTC

New

Backend>In The News

Building A Neural Network in Pure Lisp without Built-in Numbers using only Atoms and Lists

Building a Neural Network in Pure Lisp without Built-in Numbers using only Atoms and Lists. A neural network written in pure Lisp withou...

woodrush.github.io

/lisp

0 1093 0

2022-01-17 03:24:02 UTC

New

Backend>In The News

Hotcaml: An OCaml interpreter with watching and reloading

GitHub - let-def/hotcaml: Hotcaml: an interpreter with watching and reloading. Hotcaml: an interpreter with watching and reloading - Git...

github.com

/ocaml

5 1090 1

2022-01-20 16:37:47 UTC

New

Backend>In The News

Trial: A fully-fledged Common Lisp game engine

GitHub - Shirakumo/trial: A fully-fledged Common Lisp game engine. A fully-fledged Common Lisp game engine. Contribute to Shirakumo/tria...

github.com

/lisp

0 1013 0

2022-05-02 00:39:33 UTC

New

Other popular topics

General Dev>Dev Chat

Best chairs for developers?

What chair do you have while working… and why? Is there a ‘best’ type of chair or working position for developers?

#workspace #opinions

74 4882 41

2022-12-31 03:22:23 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 4062 19

2021-08-02 16:28:39 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

BIIP MT3 Extended 2048 Custom Keycap Set (Drop)

This looks like a stunning keycap set :orange_heart: A LEGENDARY KEYBOARD LIVES ON When you bought an Apple Macintosh computer in the e...

/keyboards #apple #keycaps #mechanical-keyboards

14 6073 7

2020-12-12 19:58:26 UTC

New

Backend>Learning Resources

Concurrent Data Processing in Elixir

Learn different ways of writing concurrent code in Elixir and increase your application's performance, without sacrificing scalability or...

pragprog.com

#pragprog /elixir #published-book /book-concurrent-data-processing-in-elixir

78 4119 24

2021-09-04 12:35:42 UTC

New

Science/Tech>Health & Diet

David Sinclair's new Lifespan podcast

We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...

#health #podcasts #bio-hackers #david-sinclair

87 6021 49

2022-04-12 16:27:36 UTC

New

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

2022-02-04 00:32:03 UTC

New

AI>In The News

How to fix the eyes in AI-generated images

aidemos.info

0 3038 0

2022-09-10 13:54:33 UTC

New

Backend>Learning Resources

Engineering Elixir Applications

Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...

pragprog.com

#pragprog /elixir #published-book /book-engineering-elixir-applications

40 2292 21

2024-11-08 15:13:02 UTC

New

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 2188 1

2024-10-17 02:03:48 UTC

New

Automatic Differentiation in 38 lines of Haskell

CommunityNews

Automatic Differentiation in 38 lines of Haskell

Where Next?

Popular Backend topics

Wren - a classy little scripting language

The Accelerating Adoption of Julia

Python overtakes Java to become the second-most popular programming language

Hotwire Turbo Replacing Rails UJS

Rocket: A Web Framework for Rust

Py2cr: A Python3 to Crystal Translator

Avoid Yoda conditions in Perl you should

Building A Neural Network in Pure Lisp without Built-in Numbers using only Atoms and Lists

Hotcaml: An OCaml interpreter with watching and reloading

Trial: A fully-fledged Common Lisp game engine

Other popular topics

Best chairs for developers?

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

Which language or framework do you want to learn next?

BIIP MT3 Extended 2048 Custom Keycap Set (Drop)

Concurrent Data Processing in Elixir

David Sinclair's new Lifespan podcast

Doom-Emacs: Can't find emacs in your PATH

How to fix the eyes in AI-generated images

Engineering Elixir Applications

Psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory

Latest in Haskell

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

Automatic Differentiation in 38 lines of Haskell

CommunityNews

Automatic Differentiation in 38 lines of Haskell

Where Next?

Popular Backend topics

Wren - a classy little scripting language

The Accelerating Adoption of Julia

Python overtakes Java to become the second-most popular programming language

Hotwire Turbo Replacing Rails UJS

Rocket: A Web Framework for Rust

Py2cr: A Python3 to Crystal Translator

Avoid Yoda conditions in Perl you should

Building A Neural Network in Pure Lisp without Built-in Numbers using only Atoms and Lists

Hotcaml: An OCaml interpreter with watching and reloading

Trial: A fully-fledged Common Lisp game engine

Other popular topics

Best chairs for developers?

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

Which language or framework do you want to learn next?

BIIP MT3 Extended 2048 Custom Keycap Set (Drop)

Concurrent Data Processing in Elixir

David Sinclair's new Lifespan podcast

Doom-Emacs: Can't find emacs in your PATH

How to fix the eyes in AI-generated images

Engineering Elixir Applications

Psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory

Sponsor Spotlight

Latest in Haskell

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta