karols · HackerTrans

karols

no profile record

comments

vor 6 Monatendiscuss

Location: Bratislava/Slovakia

Remote: Yes

Willing to relocate: No

Technologies: Rust, Erlang/Elixir, Distributed Systems, Performance sensitive systems, Linux, ...

Résumé/CV: https://www.linkedin.com/in/karolskocik/

Email: karol [dot] skocik [at] gmail [dot] com

karols

vor 8 Jahrendiscuss

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).

karols

vor 11 Jahrendiscuss

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 xxx (list)
    (declare (type list-int list))
    list))

It's still runtime check, but better than nothing.

karols

vor 12 Jahrendiscuss

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, you can call it differently).

I saw you tried dataflow already but stepped back from it.

So what paradigm are you trying to use for EVE?