# Higher-orderness is first-order interaction
**URL:** https://discourse.haskell.org/t/higher-orderness-is-first-order-interaction/5386
**Category:** Links
**Created:** [December 1, 2022, 2:12pm UTC](https://discourse.haskell.org/t/higher-orderness-is-first-order-interaction/5386 "2022-12-01T14:12:47Z")
**Posts on this page:** 2
**Page:** 1
### Author:  [@jaror](https://discourse.haskell.org/u/jaror)
#### Post date: [December 1, 2022, 2:12pm UTC](https://discourse.haskell.org/t/higher-orderness-is-first-order-interaction/5386/1 "2022-12-01T14:12:47Z")
Yann Hamdaoui from Tweag published a blog article about semantics:
> **[Higher-orderness is first-order interaction](https://www.tweag.io/blog/2022-12-01-higherorderness-is-interaction/)**
>
> Revisit the fundamental concept of higher-order functions with a new perspective: interaction.
I think formal semantics are crucial to understanding programs. Game semantics seems like the best of both worlds of denotational semantics and operational semantics. It allows both abstract reasoning and enough precision to describe semantics exactly.
A more in-depth introduction to game semantics on my reading list are these lecture notes by Pierre-Louis Curien:
> **[Game-semantics.pdf](https://curien.galene.org/papers/Game-semantics.pdf)**
>
> 446.21 KB
---
### Author:  [@atravers](https://discourse.haskell.org/u/atravers)
#### Post date: [December 1, 2022, 4:48pm UTC](https://discourse.haskell.org/t/higher-orderness-is-first-order-interaction/5386/2 "2022-12-01T16:48:58Z")
If the terminology is changed:
- player → program
- opponent → outside world
then it starts to resemble something previously seen in Haskell:
[ ](https://image1.slideserve.com/2011129/stream-model-l.jpg)
- [3.1 Interaction by synchronised stream (page 14 of 33)](https://web.archive.org/web/20200813123639/https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.91.3579&rep=rep1&type=pdf)