A Scala library for controlling/interacting with Isabelle

https://dominique-unruh.github.io/scala-isabelle/

Сегодня много ссылок подряд, нашел внезапно репу с фп жаргоном, не скала специфично (жс по ссылке), но почему бы и нет https://github.com/hemanth/functional-programming-jargon

🔥 Начните знакомство с популярными технологиями Scala на вебинаре «REST API при помощи HTTP4S и ZIO».

📚 Преподаватель Алексей Воронец, руководитель разработки в NAUMEN, на примере построения простого веб сервиса с REST API, разберет основные компоненты: пути, бизнес логику, доступ к данным, документацию. А также мы посмотрим, как взаимодействуют такие функциональные библиотеки, как http4s, cats, zio в рамках одного приложения.

📌 Занятие пройдет 24 марта в 20:00 в рамках онлайн-курса «Scala Developer».

👉 Для регистрации на вебинар пройдите вступительный тест https://otus.pw/E5EMC/

ПС, для участников данного канала особые условия - прокомод scalapromo на 10% скидку!

w000000000t https://cosplayengine.com/

Flix is inspired by OCaml and Haskell with ideas from Rust and Scala. Flix looks like Scala, but its type system is based on Hindley-Milner. Two unique features of Flix are its polymorphic effect system and its support for first-class Datalog constraints.

Flix compiles to JVM bytecode, runs on the Java Virtual Machine, and supports full tail call elimination. A VSCode plugin for Flix is available.

З.Ы. выглядит сочно

https://flix.dev/

Scala Center & GSoC2022 => отличный шанс найти ментора & оставить заявочку на участие!

https://twitter.com/scala_lang/status/1506294397847187468?s=20&t=BS5ksmqG7CJR-yIzyK903Q

Better toString plugin https://github.com/polyvariant/better-tostring

Габриэла Гонзалез (широко известная в мире Хаскеля) написала хороший пост про то, как окунуться в теорию типов
https://www.haskellforall.com/2022/05/introductory-resources-to-type-theory.html

Я поддерживаю библиотеку https://github.com/apimorphism/telegramium, очень советую. В числе преимуществ функциональное API, полная поддержка Bot API, актуальность, простота и минимализм.

Топ плугин для упрощения флайт рекординга: https://github.com/azolotko/sbt-jfr

Алсо, на самом деле, если надо порекордить, то можно и без плугинов (via -prof jfr), напр для рекординга jmh - это sbt-jmh + jmhExtraOptions := Some("-jvmArgsAppend -Xmx8G -prof jfr")

How to Read the Dotty Codebase: https://m.youtube.com/watch?v=09IbOMuVoog&feature=youtu.be

source: https://twitter.com/akmetiuk/status/1529371401773260801?s=21&t=NQ_ZymUsbjjkWzxR4HnMRg