Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

Introduction: Conal Elliott

I've been doing math-oriented functional programming since the early 80s, working first in Lisp, Scheme, and ML, and then mainly in Haskell since 1995. I currently work as a distinguished scientist in data sciences at Target. My main current work is in compiling to categories from Haskell, including generation of massively parallel implementations as hardware circuits, differentiable functions (e.g., for machine learning), incremental evaluation, and GPU code generation for interactive graphics. More info on my home page.

I'm here to fill in gaps in my CT background and get fresh inspirations.

• Options
1.

It's really exciting to see you here! Your answer on stack overflow made me aware of Christopher Strachey's denotational semantics. I grabbed Stoy's book, and from this, learned it's okay to think algebraically, before algorithmically. Thank you for writing about this semantics!

Comment Source:It's really exciting to see you here! Your answer on [stack overflow](https://stackoverflow.com/questions/1028250/what-is-functional-reactive-programming) made me aware of Christopher Strachey's denotational semantics. I grabbed [Stoy's book](https://www.amazon.com/Denotational-Semantics-Scott-Strachey-Approach-Programming/dp/0262690764), and from this, learned it's okay to think algebraically, before algorithmically. Thank you for writing about this semantics!
• Options
2.

Thanks, Alex! I'm always happy to hear of interest in denotational semantics, which is at the heart of how I think about programming.

Comment Source:Thanks, Alex! I'm always happy to hear of interest in denotational semantics, which is at the heart of how I think about programming.