Iron python VS P

If you're interested in learning more about the challenges and tradeoffs, both Jython (https://www.jython.org/) and IronPython (https://ironpython.net/) have been around for a long time and there's a lot of reading material on that subject.

There are several ways of bypassing the GIL. First of all, the GIL is only present in the C implementation of Python, CPython. Other implementations of Python like Jython, IronPython, and PyPy don't have the GIL. Additionally, Python provides the multiprocessing library, which allows for parallelism in your Python program.

I am not set on .NET, but just curious, so thanks for the suggestions. Interesting that it's billed as cross-plaform, but doesn't do it that well. I just searched 'python wrapper for .net' and found PythonNET. Also, it seems yes IronPython is active.

You mean like this?

In that case, I think it's enough if you go here, then download and install the MSI file: https://github.com/IronLanguages/ironpython2/releases/tag/ipy-2.7.12

There are quite a lot of ways to run scripting languages in C#. I've no idea what JSR223 is but .NET has DLR for example. There are also multiple libraries: IronPython, NLua, Jint and Jurassic for Javascript. There's also older version of CS-Script working with .NET Framework.

But does it Microsoft python https://ironpython.net

If you need control over how the script runs, access to variables etc, I can highly recommend IronPython, but it might be overkill for what you need.

I worked on a state machine framework in another language, and have definitely have found less terse to be pretty good. Typing a few extra characters isn't that bad, especially if it makes some awful bit of evented code easier for someone to understand.

Of the things available open source, I think P-lang is pretty cool: https://github.com/p-org/P/blob/master/Tutorial/1_ClientServ...

Your proposed syntax reminded me of https://p-org.github.io/P/

I’ve gotten a lot of good about TLA+ and the more recent the P language has been really promising lately. It’s got a good pedigree and is being increasingly used as AWS as well.

I tried to use TLA+ but what annoys me the most is the disconnection between the actual implementation and its code. I think the P language has a much better future just because it can generate code that works: https://github.com/p-org/P

It is tough.

My approach when learning new protocols like Raft or Paxos is to implement them in Pluscal (TLA+'s higher-level language) or P (https://github.com/p-org/P). I've found that helps separate the protocol-level concerns from the implementation-level concerns (sockets? wire format?) in a way that reduces the difficulty of learning the protocol.