Plenty of bug fixes (more than 100 in 3 months!). Great to see a very active community, kicking the tires and gathering to solve problems. Furthermore, It's fully binary compatible with 2.8, which means no need to match library versions as it happened with the RCs for 2.8. Also, the improvements to Scaladocs make it look very snappy
All in all, we can see the the Scala language growing at a fast pace. Many new books are coming, including Phillip Haller's Actors in Scala and three others by Manning "in Action" series. Browse the complete list of books if you are interested.
Smaller, cheaper Plutus scripts with the UPLC command-line tool
-
[image: Banner image for the UPLC command-line tool blog]
If you want to see a use of Agda in real life, to provide certificates
validating the correctne...
2 days ago
No comments:
Post a Comment