TechQA.

Question

Free theorem for fmap

score 326 · Answer 1 · 2024-11-23 04:35:26

1

Answer

326

Views

Free theorem for fmap

326 views Asked by Zhiltsoff Igor At 23 November 2024 at 04:35

score 202 · Answer 2 · 2024-11-23 04:28:47

Finding a "free theorem"

202 views Asked by NietzscheanAI At 23 November 2024 at 04:28

score 402 · Answer 3 · 2017-05-27 06:11:02

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

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

score 214 · Answer 4 · 2024-11-23 04:13:59

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

214 views Asked by Jingjie Yang At 23 November 2024 at 04:13

score 269 · Answer 5 · 2019-03-11 22:46:18

Paramcoq: Free theorems in Coq

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

score 303 · Answer 6 · 2014-02-13 17:28:18

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

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

score 328 · Answer 7 · 2015-12-21 03:20:47

Parametricity-exploiting proofs in Agda

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

score 228 · Answer 8 · 2020-02-24 17:50:02

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

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

TechQA.

List Question

Free theorem for fmap

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`?

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

Paramcoq: Free theorems in Coq

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

Parametricity-exploiting proofs in Agda

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

Popular Questions

Popular Tags

Trending Questions