Search
173 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. 🍾
-
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!
-
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".
-
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.
-
New affiliate project, fs2-aes, does what it says in the name: provides AES encryption and decryption for FS2.
-
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.
-
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
-
For those bravehearts on the bleeding edge, we just published the next-in-line release milestone of the http4s 1.0 series. Even though it's been a while since the last milestone, fifteen contributors made it happen! What's more, twelve of those were first-time contributors in http4s. That drives me crazy!
https://github.com/http4s/http4s/releases/tag/v1.0.0-M41
#scala #typelevel #http4s -
Very nice post by @ross 'On http4s, minimalism, and 1.0' — https://github.com/http4s/http4s/discussions/7386. It conjointly accurately demystifies the current and desired ultimate state for 1.0. Feel free to join the discussion. #scala #typelevel #http4s
-
@davesmith00000 agreed regarding play! Hence my preferred is to build something around http4s and in the past I have used Akka-http too.
The last time I looked into this I did come across this but never got a chance to try it:
https://github.com/softwaremill/bootzooka
by @adamwarski and team
-
http4s-jetty-0.23.13 is out. It addresses the breaking async changes in Cats Effect 3.5.
https://github.com/http4s/http4s-jetty/releases/tag/v0.23.13
-
http4s-blaze-0.23.15 has fixes for the new cancellation semantics of cats-effect-3.5.0. Please report an issue in that repository if you run into any problems.
-
Caution: cats-effect-3.5 broke both http4s-blaze and http4s-servlet backends. Working on it. http4s-ember-0.23.19 is fine.
-
Having a blast coding using #scala :scala: , #typelevel #catseffect and #decline on a side project on this fine hot Saturday in the #BayArea :scala:
-
http4s-jdk-client-0.9 and 1.0.0-M9 are out. They use fs2-3.6.0's new integration with Java's Flow to drop the depenedency on fs2-reactive-streams. This is a nice streamlining for projects that have dropped Java 8.
https://github.com/http4s/http4s-jdk-http-client/releases/tag/v0.9.0
-
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.
-
Article showing off a cool new library that illustrates #Actors and #FP working cleanly together using the #Typelevel type classes.
I may well wind up evolving #Querki towards this in the medium term: that's fundamentally Akka-centric now, and I've long wanted to move it towards Cats-effect 3.
https://mastodon.social/@cloudmark/112615743584339619 -
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
-
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 -
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
-
Hi all 👋
I'm moving from https://mastodon.social/@alexelcu, again; still experimenting, and with a self-control problem 😅
I'm a #programmer. I love #StaticTyping and #FunctionalProgramming on top of #Scala, #Kotlin, and #Haskell. I'm from #Bucharest, #Romania, and I like to contribute to programming libraries.
I write at https://alexn.org, and I contributed to https://monix.io and to https://typelevel.org.
My bois said hi 👋
-
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 -
Something I would like to make in #rust is a #libc wrapper that uses type-level contracts and optional (maybe debug-by-default) runtime checks. I like Rustix, but I'd like to make something that you can use with magnitudes less footguns.
If you know of a company/team that would be willing to fund such work, I'd be eager to get connected!
#FediHire #contracting
(Please reply with suggested hashtags, I'm not the greatest at these xD) -
@rauschma It is six months until April. How about we collaborate on a type-level typescript edition of SICP, to drop on 2026-04-01?
-
Also, if you ever wondered why #SpringJavaFormat / #Checkstyle ask the first sentence of a type-level JavaDoc comment to end with a period, the screenshot shows why :)
It will become the value of `Description` in the overview.