|
Change #21583
2013-06-17
11:59:30
|
create
Calagator::Event
1250464400
Galois Tech Talk: The Constrained-Monad Problem
Roll back
| description |
nil |
→ |
Presented by Neil Sculthorpe.
In Haskell, there are many data types that would form monads were it not for the presence of type-class constraints on the operations on that data type. This is a frustrating problem in practice, because there is a considerable amount of support and infrastructure for monads that these data types cannot use. This talk will demonstrate that a monadic computation can be restructured into a normal form such that the standard monad class can be used. The technique is not specific to monads --- it can also be applied to other structures, such as applicative functors. One significant use case for this technique is Domain Specific Languages, where it is often desirable to compile a deep embedding of a computation to some other language, which requires restricting the types that can appear in that computation. |
| end_time |
nil |
→ |
2013-06-25 11:30:00 -0700 |
| id |
nil |
→ |
1250464400 |
| start_time |
nil |
→ |
2013-06-25 10:30:00 -0700 |
| title |
nil |
→ |
Galois Tech Talk: The Constrained-Monad Problem |
| url |
nil |
→ |
https://corp.galois.com/blog/2013/6/17/tech-talk-the-constrained-monad-problem.html |
| venue_id |
nil |
→ |
202390439 |
|