U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
The hardest thing for programmers learning TLA⁺ is internalising that it is not similar to programming. The goals are different, the scope is different, the language's design requirements and concerns are different, the experience is different, the workflow is different.
Most importantly, the fundamental perspective is different. Programming uses formal text to *construct* a system; in TLA⁺, like in physics, formal text is used to *describe* a system. E.g. https://groups.google.com/forum/#!searchin/tlaplus/balloons%7Csort:date/tlaplus/XsqwpUruTxY/-vz0d51tAQAJ …
Among other things, this means that the very roles of abstraction, composition and encapsulation are drastically different from those they play in programming.
This also sets TLA⁺ apart from similarly-rich logics with proof assistants and/or model checkers that *are* based on programming, like Lean or Agda, and SPIN's Promella or NuSMV's language.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
