Comments on: Beautiful differentiation

By: Aleksandar Bakic

Aleksandar Bakic — Thu, 21 Jan 2010 14:38:59 +0000

I believe Calculus in Coinductive Form is relevant.

By: Conal Elliott » Blog Archive » Garbage collecting the semantics of FRP

Conal Elliott » Blog Archive » Garbage collecting the semantics of FRP — Mon, 04 Jan 2010 21:56:34 +0000

[...] interactive behaviors are some sort of function with all of its derivatives. See Beautiful differentiation for an specification and derived implementation of numeric operations, and more generally of [...]

By: Conal Elliott » Blog Archive » Is program proving viable and useful?

Conal Elliott » Blog Archive » Is program proving viable and useful? — Sun, 03 Jan 2010 03:21:52 +0000

[...] For more examples of formally simple specifications, see the papers Denotational design with type class morphisms and Beautiful differentiation. [...]

By: Conal Elliott » Blog Archive » Why program with continuous time?

Conal Elliott » Blog Archive » Why program with continuous time? — Sun, 03 Jan 2010 02:39:53 +0000

[...] has been integral to FRP since the first incarnation as ActiveVRML. I’ve written several things recently about denotational [...]

By: Conal Elliott » Blog Archive » What is automatic differentiation, and why does it work?

Wed, 28 Jan 2009 20:09:49 +0000

[...] can also be made prettier, as in Beautiful differentiation. Add an operator that captures the chain rule, which is behind the differentiation laws listed [...]

By: Samuel Bronson

Samuel Bronson — Sat, 28 Jun 2008 04:34:21 +0000

What's with the funky "’" characters??? Why not normal "'"?

By: Conal Elliott » Blog Archive » Higher-dimensional, higher-order derivatives, functionally

Wed, 21 May 2008 05:29:36 +0000

[...] post Beautiful differentiation showed some lovely code that makes it easy to compute not just the values of user-written [...]

By: Nikolay

Nikolay — Thu, 08 May 2008 21:55:32 +0000

multiplication may pull x' and y' while result is just requested for (D (x*y) _ _), I think

By: conal

conal — Thu, 08 May 2008 14:57:00 +0000

Jaak & Perehene: I've added source files: NumInstances.hs and Dif.hs. Enjoy!

By: Perehene

Perehene — Thu, 08 May 2008 14:02:13 +0000

Very interesting post. I am a newbie in haskell and I wanted to give it a try, but I get a bunch of errors in ghci. Could you put the source code and the required options to use it in ghc? Thanks a lot!