Effect handlersについて調べた時のメモ書きです。 OCamlについては初心者です。
参考文献
Hiroshi YAMAGUCHI hiroshi-cl
funikk
/ interp2.ml
Created
May 3, 2015 06:38
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* A tagless-final embedding of the language with shift/reset | |
| operators and fully supported answer-type modification (ATM). | |
| This implementation is based on the prompt-passing translation | |
| described in the paper "ATM without tears: prompt-passing style | |
| transformation for typed delimited-control operators" | |
| http://ebooks.au.dk/index.php/aul/catalog/view/4/4/31-1 | |
| *) | |
| open Delimcc;; |
phenan
/ Parsers.scala
Created
May 23, 2017 03:30
Parser combinators implemented in tagless-final style
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.language.higherKinds | |
| import scalaz._ | |
| import scalaz.std.option._ | |
| import scalaz.syntax.monadPlus._ | |
| trait Parsers [Elem, C[+_], Repr[+_, _, _[_]]] { | |
| def cond (f: Elem => Boolean): Repr[Elem, Elem, C] | |
| def elem (e: Elem): Repr[Elem, Elem, C] = cond(_ == e) | |
| def success [T] (r: T): Repr[T, Elem, C] | |
| def failure (msg: String): Repr[Nothing, Elem, C] |
halcat0x15a
/ ocaml_effects.md
Last active
January 29, 2023 13:59