actonlang / acton

The Acton Programming Language
https://www.acton-lang.org/
BSD 3-Clause "New" or "Revised" License
79 stars 7 forks source link

Sync meeting 2022-06-22 #725

Closed plajjan closed 2 years ago

plajjan commented 2 years ago
plajjan commented 2 years ago

network IO event handler, standard concept

Main idea for IO interfaces (and perhaps more) is to pass an event handler actor which implements a protocol. The compiler doesn't currently support actors fulfilling a protocol, like there is no syntax to specify what protocols an actor implements so this just is not possible today.

Thus, short term, IO stuff will have to use individual callback functions just like before. Longer term we'll do the protocol stuff.

Also talked about inferring whether something fulfills an interface. Sounds sweets and aligns with spirit of acton to not require explicitly stating types etc but could be averse side effects, like int / float inferring one does the other etc.

doc format

Talked about how we (mostly @plajjan) want to avoid HTML knowledge in export. @sydow didn't see how we could write a function that looks good in HTML with HTML knowledge. No support in orgdown. And yes, orgdown doesn't mention it, but org-mode does have +attr_html and stuff like that.

@plajjan will try to put together an example of how it could look like in org. #738