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

Ericsson explores "internet of senses" using AR, VR, and 5G by 2030

A new study looks into the dematerialized office, where sensorial experiences such as touch, taste, smell, and sensations of hot or cold ...

techrepublic.com

#internet /erlang #ericsson #internet-of-senses #iosenses

2 1111 1

2020-10-30 20:54:00 UTC

New

Backend>In The News

Typing is Hard

Typing is Hard Type Checking and Type Inference Common terms Completeness Soundness Decidability Hindley-Milner Type System Dependent t...

3fx.ch

/c-plus-plus /c-sharp #f-sharp /go /haskell /java #ml /ocaml /rust /scala /swift /typescript /elm /idris /zig #typing

0 1509 0

2021-02-15 16:03:24 UTC

New

Backend>In The News

Lets Lisp like it's 1959 (2019) [video]

youtube.com

/lisp #video

0 998 0

2021-05-17 02:11:38 UTC

New

Backend>In The News

Metaprogramming in Nim

Metaprogramming in Nim #1 Introduction. In this video i will show you and teach you about Nim’s Metaprogramming features/capabilities. E...

youtube.com

/nim #metaprogramming

2 1004 0

2021-11-03 01:04:56 UTC

New

Backend>In The News

Where is Ruby Headed in 2021?

Where is the Ruby language headed? At RubyConf 2021, the presentations about the language focused on static typing and performance—where ...

bignerdranch.com

/ruby

0 1019 0

2021-11-19 18:25:11 UTC

New

Backend>In The News

A Modern Lisp Machine from Scratch (2018)

I am often fascinated by old tech. While I do not have the experience nor the expertise on the subject, in the last months, some very sp...

luksamuk.codes

/lisp

0 1027 0

2022-03-04 02:25:32 UTC

New

Backend>In The News

Hacking sum types with Go generics

Hacking sum types with Go generics. Go doesn’t have sum types, but generics get us one step closer to a useful polyfill. If you’ve ever ...

blog.lawrencejones.dev

/go #types

2 1123 0

2022-03-15 03:26:59 UTC

New

Backend>In The News

ClojureRS – Clojure interpreter implemented in Rust

GitHub - clojure-rs/ClojureRS: Clojure, implemented atop Rust (unofficial). Clojure, implemented atop Rust (unofficial). Contribute to c...

github.com

/clojure /rust

1 1017 0

2022-04-30 23:03:28 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

Backend>In The News

Ruby 3.1’s incompatible changes to its YAML module (Psych 4)

Ruby 3.1’s incompatible changes to its YAML module (Psych 4). Ruby made its YAML interpreter more secure by default at the cost of backw...

ctrl.blog

/ruby #yaml

11 1151 3

2022-05-10 21:18:40 UTC

New

Other popular topics

Science/Tech>Health & Diet

How do you keep fit and healthy?

@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness. https://f...

#fitness #heath

193 4510 82

2023-01-23 06:00:46 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

Backend>Questions

Erlang's not installing on macOS Big Sur "You are natively building Erlang/OTP for a later version of MacOSX than current version"

Just done a fresh install of macOS Big Sur and on installing Erlang I am getting: asdf install erlang 23.1.2 Configure failed. checking ...

#macos /erlang #big-sur #asdf

10 5616 8

2021-01-16 12:33:23 UTC

New

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

2021-05-06 05:54:58 UTC

New

General Dev>Dev Chat

PragProg’s Medium Posts

Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.

#pragprog #blog-post

1143 25883 760

2025-07-10 13:36:16 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

Community>In The Spotlight

Spotlight: Peter Ullrich (Author) Interview and AMA!

Author Spotlight: Peter Ullrich @PJUllrich Data is at the core of every business, but it is useless if nobody can access and analyze ...

/elixir /phoenix /book-building-table-views-with-phoenix-liveview

72 3959 21

2023-10-17 17:07:59 UTC

New

Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!

Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...

/elixir /ruby /phoenix /book-seven-more-languages-in-seven-weeks /book-seven-languages-in-seven-weeks #liveview /book-programming-phoenix-liveview

54 4591 23

2023-10-17 17:14:03 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

General Dev>In The News

Review of Linux on Minisforum V3 AMD Ryzen Tablet

A Brief Review of the Minisforum V3 AMD Tablet. Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...

mudkip.me

#linux #review #amd

0 1782 0

2024-06-24 02:26:38 UTC

New

Automatic Differentiation in 38 lines of Haskell

CommunityNews

Automatic Differentiation in 38 lines of Haskell

Where Next?

Popular Backend topics

Ericsson explores "internet of senses" using AR, VR, and 5G by 2030

Typing is Hard

Lets Lisp like it's 1959 (2019) [video]

Metaprogramming in Nim

Where is Ruby Headed in 2021?

A Modern Lisp Machine from Scratch (2018)

Hacking sum types with Go generics

ClojureRS – Clojure interpreter implemented in Rust

Trial: A fully-fledged Common Lisp game engine

Ruby 3.1’s incompatible changes to its YAML module (Psych 4)

Other popular topics

How do you keep fit and healthy?

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

Erlang's not installing on macOS Big Sur "You are natively building Erlang/OTP for a later version of MacOSX than current version"

Languages Without Garbage Collection

PragProg’s Medium Posts

David Sinclair's new Lifespan podcast

Spotlight: Peter Ullrich (Author) Interview and AMA!

Spotlight: Bruce Tate (Author) Interview and AMA!

Engineering Elixir Applications

Review of Linux on Minisforum V3 AMD Ryzen Tablet

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

Ericsson explores "internet of senses" using AR, VR, and 5G by 2030

Typing is Hard

Lets Lisp like it's 1959 (2019) [video]

Metaprogramming in Nim

Where is Ruby Headed in 2021?

A Modern Lisp Machine from Scratch (2018)

Hacking sum types with Go generics

ClojureRS – Clojure interpreter implemented in Rust

Trial: A fully-fledged Common Lisp game engine

Ruby 3.1’s incompatible changes to its YAML module (Psych 4)

Other popular topics

How do you keep fit and healthy?

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

Erlang's not installing on macOS Big Sur "You are natively building Erlang/OTP for a later version of MacOSX than current version"

Languages Without Garbage Collection

PragProg’s Medium Posts

David Sinclair's new Lifespan podcast

Spotlight: Peter Ullrich (Author) Interview and AMA!

Spotlight: Bruce Tate (Author) Interview and AMA!

Engineering Elixir Applications

Review of Linux on Minisforum V3 AMD Ryzen Tablet

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