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

2022-09-18 01:01:48 UTC

First Post!

bot

Corresponding tweet for this thread:

Share link for this tweet.

Post #2

Popular General Dev topics

Code Editors

Dendron: a personal knowledge management tool on top of VSCode

/vscode #visual-studio-code

28 5740 9

2021-05-05 12:15:29 UTC

New

General Dev Chat

What are the 'coolest' languages and tech right now?

Inspired by this post from @Carter, which languages, frameworks or other tech or tools do you think is killing it right now? :upside_down...

#community #adoption #cool-tech /elixir /erlang /rust /typescript /phoenix #otp /svelte /wasm /agda

160 3652 49

2021-07-29 23:47:45 UTC

New

General Dev Chat

Anyone planning on solving Advent of Code 2020?

I always start with excitement and then get busy on 9/10th day. This year, like the year before this, and the year before that, I intend ...

#algorithms #programming-challenge

92 2769 57

2020-12-29 10:37:04 UTC

New

General 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 6667 31

2021-07-10 05:52:20 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 2190 3

2020-12-10 18:59:55 UTC

New

Hardware

Keyboard Switches - which do you use/like?

Which keyboard switches do you use/like? :upside_down_face:

/keyboards #mechanical-keyboards

49 2991 35

2024-07-07 04:26:53 UTC

New

Sales & Offers

Get 50% off these PragProg books during our Think Again Sale

Think Again 50% Off Sale » The theme of this sale is new perspectives on familiar topics. Enter coupon code ThinkAgain2021 at checkout t...

#community #pragprog /elixir /book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition /book-programming-machine-learning /book-the-ray-tracer-challenge /book-forge-your-future-with-open-source /book-software-design-x-rays #algorithms /book-testing-elixir #machine-learning #sale /book-concurrent-data-processing-in-elixir /book-intuitive-python

8 5836 2

2021-05-11 23:06:15 UTC

New

General 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

1127 25281 747

2025-05-07 11:59:24 UTC

New

Hardware

Keychron Q1 Knob Keyboard

This might be my next keyboard (the down arrow on my Apple Magic Keyboard has stopped working :icon_rolleyes:) https://cdn.shopify.com/s...

/keyboards #macs #keychron-q1 #keychron-q1-knob

9 1676 4

2022-04-04 01:42:15 UTC

New

In The News

Apache Apisix vs. Kong: Open-Source API Gateway

API Gateway Trends behind Features: Apache APISIX 3.0 vs. Kong 3.0 - API7.ai. By comparing the open-source API Gateway Apache APISIX and...

api7.ai

#api

0 1914 0

2022-10-19 23:34:35 UTC

New

Other popular topics

General Dev Chat

What dev-related stuff have you been up to?

Reading something? Working on something? Planning something? Changing jobs even!? If you’re up for sharing, please let us know what you’...

#community

1017 16959 374

2025-05-03 08:54:30 UTC

New

Cross-Platform Dev Forum>Apps/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...

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

38 3837 19

2021-08-02 16:28:39 UTC

New

Code Editors

SpaceVim vs SpaceMacs

SpaceVim seems to be gaining in features and popularity and I just wondered how it compares with SpaceMacs in 2020 - anyone have any thou...

/vim #spacevim #spacemacs /emacs #code-editors

30 3381 14

2020-08-27 17:53:29 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 14695 90

2021-07-13 15:33:55 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 6249 95

2025-02-16 20:22:17 UTC

New

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 7578 8

2020-11-11 11:59:23 UTC

New

Backend Developer Forum>Chat/Discussions

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 3475 3

2021-02-04 07:08:45 UTC

New

In The Spotlight

Spotlight: Paolo Perrotta (Author)

“A Mystical Experience” Hero’s Journey with Paolo Perrotta @nusco Ever wonder how authoring books compares to writing articles?...

#community #author-spotlight /book-programming-machine-learning /book-metaprogramming-ruby-2

31 3383 15

2021-03-15 20:28:12 UTC

New

General Dev Chat

The V Programming Language

The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...

#programminguages /v

21 10883 7

2021-04-12 15:13:42 UTC

New

AI In The News

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each

This is cool! DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON We just witnessed something incredible: the largest open-s...

#ai #macs /deepseek

0 2697 1

2025-01-29 18:43:37 UTC

New

Automatic Differentiation in 38 lines of Haskell

CommunityNews

Automatic Differentiation in 38 lines of Haskell

First Post!

bot

Popular General Dev topics

Dendron: a personal knowledge management tool on top of VSCode

What are the 'coolest' languages and tech right now?

Anyone planning on solving Advent of Code 2020?

How fast do you type? Check your WPM here!

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

Keyboard Switches - which do you use/like?

Get 50% off these PragProg books during our Think Again Sale

PragProg’s Medium Posts

Keychron Q1 Knob Keyboard

Apache Apisix vs. Kong: Open-Source API Gateway

Other popular topics

What dev-related stuff have you been up to?

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

SpaceVim vs SpaceMacs

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

Programming Erlang Book Club

Keyboard thock (sound)

Rails console using 100% CPU in dev (fix)

Spotlight: Paolo Perrotta (Author)

The V Programming Language

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each

Latest in General Dev

Latest (all)

We ❤️ helpful members!

Categories:

Popular Portals

We're in Beta

Automatic Differentiation in 38 lines of Haskell

CommunityNews

Automatic Differentiation in 38 lines of Haskell

First Post!

bot

Popular General Dev topics

Dendron: a personal knowledge management tool on top of VSCode

What are the 'coolest' languages and tech right now?

Anyone planning on solving Advent of Code 2020?

How fast do you type? Check your WPM here!

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

Keyboard Switches - which do you use/like?

Get 50% off these PragProg books during our Think Again Sale

PragProg’s Medium Posts

Keychron Q1 Knob Keyboard

Apache Apisix vs. Kong: Open-Source API Gateway

Other popular topics

What dev-related stuff have you been up to?

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

SpaceVim vs SpaceMacs

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

Programming Erlang Book Club

Keyboard thock (sound)

Rails console using 100% CPU in dev (fix)

Spotlight: Paolo Perrotta (Author)

The V Programming Language

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each

Latest in General Dev

Latest (all)

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Popular Portals

Devtalk Sponsors

We're in Beta