Thanks to visit codestin.com
Credit goes to github.com

Skip to content

smorimoto/Sesterl

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

45 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

[WIP] Sesterl: A Session-Typed Erlang

TODO

  • Message-passing primitives
    • spawn
    • receive-expressions
    • send
    • self
    • monitor/demonitor
    • link/unlink
  • Type annotation
  • Output Erlang code
  • FFI
  • Product types
  • Data types
    • Strings
    • Binaries
    • Lists
    • Records
    • User-defined ADTs
    • Pattern matching
  • Mutual recursion by generalized letrec-expressions
  • Pattern matching by generalized let-expressions

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Sponsor this project

 

Packages

No packages published

Languages

  • OCaml 99.5%
  • Makefile 0.5%