http[B!]新着記事・評価 - はてなブックマーク

Dynamic scoping is an effect, implicit parameters are a coeffect : ezyang’s blog
3 users
blog.ezyang.com

For the longest time, I thought of implicit parameters and dynamic scoping were basically the same thing, since they both can be used to solve similar problems (e.g., the so called "configuration problem" where you need to plumb down some configuration deep into a nested body of function definitions without defining them all explicitly). But implicit parameters have a reputation of being something
- テクノロジー
- 2020/08/28 12:46

http://blog.ezyang.com/2019/05/pytorch-internals/
11 users
blog.ezyang.com
- テクノロジー
- 2019/05/17 11:18
- PyTorch
- Python
Try Backpack: ghc --backpack : Inside 736-131
8 users
blog.ezyang.com
- テクノロジー
- 2016/10/10 18:48
- ghc
- haskell
http://blog.ezyang.com/2016/09/the-base-of-a-string-theory-for-haskell/
6 users
blog.ezyang.com
- テクノロジー
- 2016/09/07 16:41
- Haskell
- あとで読む
http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/
7 users
blog.ezyang.com
- テクノロジー
- 2016/07/19 10:01
http://blog.ezyang.com/2016/05/announcing-cabal-new-build-nix-style-local-builds/
3 users
blog.ezyang.com
- テクノロジー
- 2016/05/03 15:05
- Cabal
- Haskell
http://blog.ezyang.com/2015/09/is-no-reinstall-cabal-coming-to-ghc-8/
3 users
blog.ezyang.com
- テクノロジー
- 2015/09/19 22:45
- Cabal
http://blog.ezyang.com/2014/11/tomatoes-are-a-subtype-of-vegetables/
3 users
blog.ezyang.com
- テクノロジー
- 2014/11/18 00:48
http://blog.ezyang.com/2014/08/a-taste-of-cabalized-backpack/
5 users
blog.ezyang.com
- テクノロジー
- 2014/08/27 09:36
- Cabal
- Haskell
http://blog.ezyang.com/2014/08/the-fundamental-problem-of-programming-language-package-management/
9 users
blog.ezyang.com
- テクノロジー
- 2014/08/21 22:11
http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/
4 users
blog.ezyang.com
- テクノロジー
- 2014/07/14 11:59
- プログラミング
http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/
5 users
blog.ezyang.com
- テクノロジー
- 2014/05/18 19:00
- Parsec
http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/
8 users
blog.ezyang.com
- テクノロジー
- 2014/03/17 15:10
- Coq
- Haskell
http://blog.ezyang.com/2014/01/pepm14-the-hermit-in-the-stream/
4 users
blog.ezyang.com
- テクノロジー
- 2014/01/17 18:11
http://blog.ezyang.com/2014/01/so-you-want-to-add-a-new-concurrency-primitive-to-ghc/
4 users
blog.ezyang.com
- テクノロジー
- 2014/01/02 02:52
- GHC
The AST Typing Problem
5 users
blog.ezyang.com
- テクノロジー
- 2013/05/29 15:12
- Programming
http://blog.ezyang.com/2013/05/category-theory-for-loop-optimizations/
4 users
blog.ezyang.com
- テクノロジー
- 2013/05/12 17:02
http://blog.ezyang.com/2013/04/the-difference-between-recursion-induction/
5 users
blog.ezyang.com
- テクノロジー
- 2013/04/30 18:49
- Haskell
http://blog.ezyang.com/2013/01/the-ghc-scheduler/
3 users
blog.ezyang.com
- テクノロジー
- 2013/01/28 20:53
- GHC
- Haskell
http://blog.ezyang.com/2012/11/extremist-programming/
3 users
blog.ezyang.com
- 暮らし
- 2012/11/22 00:04
http://blog.ezyang.com/2012/10/get-browser-exe/
3 users
blog.ezyang.com
- テクノロジー
- 2012/10/13 05:37
- internet
http://blog.ezyang.com/2012/08/applicative-functors/
3 users
blog.ezyang.com
- テクノロジー
- 2012/08/17 18:46
http://blog.ezyang.com/2012/01/monadbasecontrol-is-unsound/
4 users
blog.ezyang.com
- テクノロジー
- 2012/01/24 09:37
- haskell
http://blog.ezyang.com/2012/01/why-iteratees-are-hard-to-understand/
7 users
blog.ezyang.com
- テクノロジー
- 2012/01/04 23:00
- haskell
- Iteratee
http://blog.ezyang.com/2011/11/how-to-read-haskell/
8 users
blog.ezyang.com
- テクノロジー
- 2011/11/15 11:02
- haskell
- python
http://blog.ezyang.com/2011/05/space-leak-zoo/
4 users
blog.ezyang.com
- テクノロジー
- 2011/09/06 13:16
http://blog.ezyang.com/2011/08/8-ways-to-report-errors-in-haskell-revisited/
4 users
blog.ezyang.com
- テクノロジー
- 2011/08/30 02:55
- haskell
- exception
http://blog.ezyang.com/2011/05/unraveling-the-mystery-of-the-io-monad/
5 users
blog.ezyang.com
- テクノロジー
- 2011/05/05 08:30
http://blog.ezyang.com/2011/04/tracing-the-compilation-of-hello-factorial/
3 users
blog.ezyang.com
- テクノロジー
- 2011/04/21 20:40

はてなブックマーク

はてなブックマーク

『http://blog.ezyang.com/』

Dynamic scoping is an effect, implicit parameters are a coeffect : ezyang’s blog

http://blog.ezyang.com/2019/05/pytorch-internals/

Try Backpack: ghc --backpack : Inside 736-131

http://blog.ezyang.com/2016/09/the-base-of-a-string-theory-for-haskell/

http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/

http://blog.ezyang.com/2016/05/announcing-cabal-new-build-nix-style-local-builds/

http://blog.ezyang.com/2015/09/is-no-reinstall-cabal-coming-to-ghc-8/

http://blog.ezyang.com/2014/11/tomatoes-are-a-subtype-of-vegetables/

http://blog.ezyang.com/2014/08/a-taste-of-cabalized-backpack/

http://blog.ezyang.com/2014/08/the-fundamental-problem-of-programming-language-package-management/

http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/

http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/

http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/

http://blog.ezyang.com/2014/01/pepm14-the-hermit-in-the-stream/

http://blog.ezyang.com/2014/01/so-you-want-to-add-a-new-concurrency-primitive-to-ghc/

The AST Typing Problem

http://blog.ezyang.com/2013/05/category-theory-for-loop-optimizations/

http://blog.ezyang.com/2013/04/the-difference-between-recursion-induction/

http://blog.ezyang.com/2013/01/the-ghc-scheduler/

http://blog.ezyang.com/2012/11/extremist-programming/

http://blog.ezyang.com/2012/10/get-browser-exe/

http://blog.ezyang.com/2012/08/applicative-functors/

http://blog.ezyang.com/2012/01/monadbasecontrol-is-unsound/

http://blog.ezyang.com/2012/01/why-iteratees-are-hard-to-understand/

http://blog.ezyang.com/2011/11/how-to-read-haskell/

http://blog.ezyang.com/2011/05/space-leak-zoo/

http://blog.ezyang.com/2011/08/8-ways-to-report-errors-in-haskell-revisited/

http://blog.ezyang.com/2011/05/unraveling-the-mystery-of-the-io-monad/

http://blog.ezyang.com/2011/04/tracing-the-compilation-of-hello-factorial/

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス

『http://blog.ezyang.com/』

このページはまだブックマークされていません

キーボードショートカット一覧

公式Twitter

はてなのサービス

このページはまだ
ブックマークされていません