Search
554 results for “typelevel”
-
:scala: Skunk 1.0.0 is out! 🎉 A huge milestone for the @typelevel ecosystem — pure functional PostgreSQL library for Scala.
Massive congrats to @tpolecat @mpilquist @armanbilge @ross and the whole #typelevel crew. 🍾
-
We just launched a new typelevel.org built with the #typelevel stack! Read the blog post by @armanbilge and @valencik to find out what's next and how you can help 😸
https://typelevel.org/blog/typelevel-org-built-with-typelevel.html
-
Note these are just minor pet peeves, it's just that FP folks often get too hung up on correctness.
OTOH #Typelevel #CatsEffect is a wonderful project, being #Scala's secret weapon.
-
A couple more releases downstream of Cats Effect:
* fs2: https://github.com/typelevel/fs2/releases/tag/v3.7.0
* http4s: https://github.com/http4s/http4s/releases/tag/v0.23.19
-
Catapult is Typelevel's newest project. It provides a Cats-Effect wrapper around the LaunchDarkly SDK for feature flag management.
-
It is sad that all the Gitter links have rotted, but I've managed to recover a JSON archive of significant Typelevel and http4s channels for personal reference.
Cats' begins with "well i got a readme written".
-
New affiliate project, fs2-aes, does what it says in the name: provides AES encryption and decryption for FS2.
-
New post at the #Typelevel Blog: https://typelevel.org/blog/2024/12/22/gsoc24-going-feral-on-the-cloud.html
This describes Ching Hian’s Google Summer of Code project, to take the Feral library and extend it to additional serverless cloud providers, so that applications can be more flexible, and less tied to specific clouds.
It's a great enhancement, and shows the way towards future work. Check it out!
-
ff4s is a minimal, purely-functional web frontend framework for Scala.js. It is also now a Typelevel affiliate project!
-
New post at the #Typelevel Blog: https://typelevel.org/blog/2024/12/22/gsoc24-going-feral-on-the-cloud.html
This describes Ching Hian’s Google Summer of Code project, to take the Feral library and extend it to additional serverless cloud providers, so that applications can be more flexible, and less tied to specific clouds.
It's a great enhancement, and shows the way towards future work. Check it out!
-
New post at the #Typelevel Blog: https://typelevel.org/blog/2024/12/22/gsoc24-going-feral-on-the-cloud.html
This describes Ching Hian’s Google Summer of Code project, to take the Feral library and extend it to additional serverless cloud providers, so that applications can be more flexible, and less tied to specific clouds.
It's a great enhancement, and shows the way towards future work. Check it out!
-
The upcoming twenty-fourth patch release in the `0.23`-series of http4s got 7 (seven!) new contributors. In fact, their contributions enrol into 2/3 of all shipped changes. Goddamn, that doesn't stop to blow my mind!
#Typelevel #http4s #scala -
It is sad that all the Gitter links have rotted, but I've managed to recover a JSON archive of significant Typelevel and http4s channels for personal reference.
Cats' begins with "well i got a readme written".
-
It is sad that all the Gitter links have rotted, but I've managed to recover a JSON archive of significant Typelevel and http4s channels for personal reference.
Cats' begins with "well i got a readme written".
-
It is sad that all the Gitter links have rotted, but I've managed to recover a JSON archive of significant Typelevel and http4s channels for personal reference.
Cats' begins with "well i got a readme written".
-
We are delighted to announce the release of weaver-test under #Typelevel: https://typelevel.org/weaver-test/
Weaver is a test framework for integration and end-to-end testing. It makes tests faster and easier to debug by using cats, cats-effect and fs2.
For more details, see the blog entry at https://typelevel.org/blog/2025/06/10/weaver-test-release.html
-
Seeking Genericity Brings Specificity
https://arialdomartini.github.io/seeking-genericity
Thoughts while studying #TypeLevel development with
#haskell #csharp -
New #Typelevel “code of conduct”. Changes seem good b/c #CoC is now more explicit, but I hope it's battle tested. E.g., it has enforcement + a section with “inappropriate behavior” (also listing doxing & harassment) 👏
-
@ekrich And of course, there's the knock-on effort -- if I *do* get into Solid, it's 100% inevitable that I'm going to wind up deciding to write a #Typelevel #Scala binding for the APIs (if they don’t already exist) and starting building Apps on it.
Which is likely a lot of fun, but OMG I don't need more projects right now…
-
Frameless v0.14.0 has been released. Frameless brings more expressive types to Spark.
-
I kind of hesitated with posting about it here but I'm happy to announce that my project got selected for this years #GSoC under the @typelevel organization!
Over the course of the project I will be prototyping a port of Cats Effect and FS2 for the #Wasm/WASI platform. Support for WASI by #scala compiler(s) is still experimental and I think this is the first time an I/O-heavy library is being ported there
-
Cats-Effect 3.6.0 is a very exciting release due to the work on its internal work scheduler, many congrats to its contributors! ❤️
https://github.com/typelevel/cats-effect/releases/tag/v3.6.0
-
Cats-Effect 3.6.0-RC1 comes with some very exciting changes ❤️ Congrats to the team, they keep delivering 😍
https://github.com/typelevel/cats-effect/releases/tag/v3.6.0-RC1
-
On #Scala's #CatsEffect library — one common myth is that it's a library built for “tagless final” (TF).
While it's true that it gives you unparalleled ability to use TF and monad transformer stacks, it's perfectly usable without. Most libraries from #Typelevel are.
-
I created a #chatgpt #Scala Cats Effect Tutor for fun take a look all:
https://chat.openai.com/g/g-anUfWL8Ty-scala-cats-effect-tutor
Feedback to make it better appreciated. I will be iterating on it, this is just an initial attempt.
Have fun all!
cc @typelevel
-
Currently, I am using a Cofree like DirTree data structure in #Akka to keep track of the actors responsible for a given resource so that we can send HTTP messages directly to them.
```scala
case class DirTree[R](
ref: R,
kids: HashMap[String, DirTree[R, A]] = HashMap()
):
```
https://github.com/co-operating-systems/Reactive-SoLiD/blob/30d6fd46fe30bc8be350c4a09d8592b20b791aa7/src/main/scala/run/cosy/ldp/DirTree.scala#L135I am synchronizing that with a #Java AtomicReference currently. I wonder if @alexelcu setup would make it easier to use a #CatsEffect Ref. One thing I had been thinking of is of wrapping the children in a `Ref` so that one would need to update only parts of the subtree if needed.
```scala
case class DirTree[R](
data: R,
kids: Ref[HashMap[String, DirTree[R]]]
):
```
https://www.pluralsight.com/tech-blog/scala-cats-effect-ref/By the way it should be quite easy to see why DirTree is just the Cofree Commonad with
```scala
type DirTree[A] = Cofree[Map[String,?],A]
```
But I can't quite see the advantages of using the Cofree right now.
https://typelevel.org/cats/api/cats/free/Cofree.html -
Having a blast coding using #scala :scala: , #typelevel #catseffect and #decline on a side project on this fine hot Saturday in the #BayArea :scala:
-
First public release of otel4s, an OpenTelemetry implementation for Cats Effect. otel4s aims to be a full and faithful impemenation of the OpenTelemetry Specification, built for the idioms of the Typelevel ecosystem.
-
And freaking good news for Typelevel Foundation. Congratulations everyone 🎉🎉. Very well deserved :blobcat:
--
Discord announcement by Arman (https://github.com/armanbilge):
«Exciting news: the Typelevel Foundation was determined to be a 501(c)(3) public charity! 🎉 ... Read more on the blog [1]»
-
:scala: 📣 It gives me great pleasure in welcoming @armanbilge of @typelevel to #BayAreaScala #meetup with a highly anticipated talk on:
:scala: Calico: my love letter to the Resource monad :scala:
For full details of his talk and other speakers can be found here: https://luma.com/9ww60v3l
#scala #fp #functionalprogramming #SanFrancisco #typelevel #Monads