Borrow some ideas from Actario?

[clayrat]

https://github.com/amutake/actario

[lenary]

Hey, thanks for the link!

Idris-erlang is not currently in active development, sadly (though I'm trying to make sure it still builds with modern Idris, even if only via Stack).

I'm interested by actario, but there are some philosophical differences I have - mostly in how actors/messages are modelled, especially from a type-safety point of view, but this could also just be me getting the wrong end of the stick from syntax.v.

Do you work on actario? It'd be good to open a conversation about Erlang and dependently-typed programming languages.

[clayrat]

Sorry, I'm not related to development of Actario - simply found the link and thought it'd be relevant to share here :)