Ticket #31 (new defect)

Opened 5 years ago

Last modified 5 years ago

BehaviorG has no Monad instance

Reported by: uzytkownik Owned by:
Priority: major Milestone:
Version: Keywords:
Cc:

Description

Despite being documented as Monad BehaviorG have no monad instances.

Change History

in reply to: ↑ description ; follow-up: ↓ 2   Changed 5 years ago by conal

Replying to uzytkownik:

Despite being documented as Monad BehaviorG have no monad instances.

Documented where/how?

The "Push-Pull FRP" paper (Section 5.4) describes the desirability of having a Monad instance and what it would necessarily mean (following the principle of semantic functions as type class morphism principle), as well as describing a fundamental difficulty in implementing such an instance.

in reply to: ↑ 1   Changed 5 years ago by uzytkownik

Replying to conal:

Replying to uzytkownik:

Despite being documented as Monad BehaviorG have no monad instances.

Documented where/how? The "Push-Pull FRP" paper (Section 5.4) describes the desirability of having a Monad instance and what it would necessarily mean (following the principle of semantic functions as type class morphism principle), as well as describing a fundamental difficulty in implementing such an instance.

It's semantics is mentioned in haddock. "The semantics of BehaviorG instances are given by corresponding instances for the semantic model (functions). See http://conal.net/blog/posts/simplifying-semantics-with-type-class-morphisms/." implies for me that the instances do exists rather (I'm not a native speaker however).

Note: See TracTickets for help on using tickets.