11:26 <apostolis> Unfortunately, all network packages depend on the concept of callback which can not be used in a functional language.

11:26 <apostolis> It requires mutability of variables.

11:27 <apostolis> https://docs.mirage.io/mirage-stack-lwt/Mirage_stack_lwt/module-type-V4/index.html#val-listen_tcpv4

11:40 <hannes> apostolis: not sure I understand you -- what are you trying to achieve? and why is passing a callback an issue for purely functional language?

11:41 <hannes> if you consider stackv4 as provided by OCaml, I'd expect that you can use the API from agda -- but implementing it is not possible in a pure language

14:05 <apostolis> hannes : In agda, we would need an infinite stream of flows that are processes sequentially.

14:05 <apostolis> This allows us to have state between connections.

14:08 <apostolis> The way to solve this might be to have some type of OCaml channel. Add a flow from inside the callback into the stream. And retrieve it from outside, when possible.