On Tue, 8 Oct 2019 10:36:42 -0400, Luke Whittlesey <luke.whittle...@gmail.com> wrote:
>I think the ceu language has a nice model of what I would consider >"structured". http://ceu-lang.org/ It has automatic cancellation and >finalization. Racket can easily support this model. Await statements >are captured through delimited continuations and processes are managed >in a tree. If a parent process exits the children are canceled and >finalized. Interesting. It appears - to me, anyway - that Ceu took some inspiration from Occam, but is implemented with coroutines instead of threads or light-weight processes. Ceu programs are limited to a single core/CPU ... so there is no real parallelism possible other than by a multiple process approach. Racket's threads have similar single core/CPU limitations, but futures and places do not - they can run simultaneously on a multicore CPU. Whatever "structure" model might be adopted for Racket would need to account for the semantic differences. George -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/u6hqpehe84ngfk8ackss2r7g74jg99ma9v%404ax.com.
