It's 1) theoretically possible in generalized fashion (although the language could make things easier) 2) it does exist in loose sense if you consider actor models (like someone else was mentioning)