fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.8K
active users

#scala

10 posts9 participants1 post today

Категории типов. Часть 1. Hom-типы

Данный обзор посвящён применению теории категорий в программировании. Акцент сделан на то, что стремление к повышению качества программ неизбежно приводит к абстракциям («функтор», «монада» и прочие), которые уже появились в математике при решении другого рода задач. В этой части будет рассказано об основных свойствах категорий, приведены примеры наиболее важных для дальнейшего изложения. Но сразу предупреждаю, что это лишь «скучное введение» — полезность представленных здесь сведений раскроется лишь в последующих частях обзора.

habr.com/ru/articles/929144/

ХабрКатегории типов. Часть 1. Hom-типыПредисловие Я много лет программировал на C# — популярном объектно-ориентированном языке программирования. Изучил ООП-шные паттерны, детально разобрал SOLID и другие принципы разработки. Успешно...

Ah, yes, another "revolutionary" build tool—because #Java, #Scala, and #Kotlin #developers were desperately lacking in build systems. 🛠️ Apparently, #Mill is the ultimate solution... to a problem no one knew existed. But hey, at least you can now write more #configuration files instead of code! 📜💤
mill-build.org/mill/index.html #buildtools #HackerNews #ngated

mill-build.orgMill: A Better Build Tool for Java, Scala, & Kotlin :: The Mill Build Tool

When I mention that #scala intellij is freaking slow I mean stuff like this. This was a fast autocomplete! Hard to remember to record or even know when a super slow one is coming 😮‍💨. This is like this for everything, constantly.

And this seems a problem, all the time. I have the same experience on different scala 3 versions, using sbt or bsp and on this mac and on another linux machine.

This particular one is a scala cli proj with a 5 files and bsp. Using helix/metals barely any types show up.