41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a08748-8e70-7204-b9b4-5d49cea22b2f

Dynamic scoping is an effect, implicit parameters are a coeffect

blog.ezyang.com · published 27 August 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.ezyang.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 11
Words captured: 739

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html

downloads.haskell.org

https://www.reddit.com/r/haskell/comments/6gz4w5/whats_wrong_with_implicitparams/

reddit.com

https://www.reddit.com/r/haskell/comments/5xqozf/implicit_parameters_vs_reflection/dek9eqg/

reddit.com

http://okmij.org/ftp/Computation/dynamic-binding.html

okmij.org

https://blog.klipse.tech/clojure/2018/12/25/dynamic-scope-clojure.html

blog.klipse.tech

On the Perils of Dynamic Scope Read at the source ↗

stuartsierra.com

http://tomasp.net/academic/papers/coeffects/coeffects-icalp.pdf

tomasp.net

https://www.doc.ic.ac.uk/~dorchard/publ/coeffects-icfp14.pdf

doc.ic.ac.uk

http://tomasp.net/academic/papers/haskell-effects/haskell-effects.pdf

tomasp.net

Generalizing the programmable semicolon Read at the source ↗

blog.ezyang.com

https://www.microsoft.com/en-us/research/uploads/prod/2019/03/implicits-tr-v2.pdf

microsoft.com