Everybody would love the guy . Unfortunately we probably can ' t offer more than Atletico can , excluding wages . <| sep |> That ' s called being constantly bloated . <| sep |> I wish people that did this would be sentenced to clean up the mess on 3 trains . <| sep |> DID YOU JUST ASSUME THAT SEXUAL ORIENTATIONS CANT BE GENDERS <| sep |> As if that wasn ' t the most pompous , obnoxious thing you could ' ve fixed your fingers to type . <| sep |> I wish you ' d also talk about the temporallogicsynchronous programming aspect of Eve . It ' s precisely what makes Eve ' s mutable state perfectly OK from a mathematicalcompositional perspective , and it is also what makes expressing global correctness properties so easy and natural . Synchronous languages are successful in realtime reactive applications precisely because they ' re so good at modeling interaction , while at the same time they ' re so amenable to formal reasoning with temporal logic .