TechQA.

Question

Free theorem for fmap

score 391 · Answer 1 · 2021-04-24T19:16:59.090000

0

Answer

391

Views

Free theorem for fmap

391 views Asked by Zhiltsoff Igor At 24 April 2021 at 19:16

score 264 · Answer 2 · 2020-02-24T17:50:02.937000

Is the functor distribution law for the `Alt` typeclass trivial?

264 views Asked by Asad Saeeduddin At 24 February 2020 at 17:50

score 262 · Answer 3 · 2019-12-15T20:51:49.790000

Law for type [[a]] -> ([a], [a])

262 views Asked by Jingjie Yang At 15 December 2019 at 20:51

score 324 · Answer 4 · 2019-03-11T22:46:18.363000

Paramcoq: Free theorems in Coq

324 views Asked by Bob At 11 March 2019 at 22:46

score 232 · Answer 5 · 2018-11-17T13:58:19.067000

Finding a "free theorem"

232 views Asked by NietzscheanAI At 17 November 2018 at 13:58

score 438 · Answer 6 · 2017-05-27T06:11:02.217000

In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is `id`?

438 views Asked by Philip Dorrell At 27 May 2017 at 06:11

score 364 · Answer 7 · 2015-12-21T03:20:47.880000

Parametricity-exploiting proofs in Agda

364 views Asked by Cactus At 21 December 2015 at 03:20

score 336 · Answer 8 · 2014-02-13T17:28:18.120000

For different possible Monad instances of a type, is the implied Functor instance always the same?

336 views Asked by Rafael S. Calsaverini At 13 February 2014 at 17:28

TechQA.

List Question

Free theorem for fmap

Is the functor distribution law for the `Alt` typeclass trivial?

Law for type [[a]] -> ([a], [a])

Paramcoq: Free theorems in Coq

Finding a "free theorem"

In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is `id`?

Parametricity-exploiting proofs in Agda

For different possible Monad instances of a type, is the implied Functor instance always the same?

Popular Questions

Trending Questions