Viewing profile — karols

Location: Bratislava/Slovakia Remote: Yes Willing to relocate: No Technologies: Rust, Erlang/Elixir, Distributed Systems, Performance sensitive systems, Linux, ... Résumé/CV: https…

They are computationally equivalent. Except that you can't typecheck actor calculus (since you can send anything to an actor) but you CAN typecheck pi calculus (channels).

It's not entirely that bad in CL: (locally (declare (optimize (safety 3))) (defun list-int-p (list) (every #'integerp list)) (deftype list-int () `(satisfies list-int-p)) (defun xx…

For modelling to work generally (in most/all domains), you need some underlying paradigm all these models can be translated into. For excel, it's grid based dataflow, (for example,…