Search
165 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. 🍾
-
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.
-
The revised version of our #Platynereis #connectome paper is now out:
https://elifesciences.org/reviewed-preprints/97964
Cell-type-level annotation of the whole organisms, including synaptic and desmosomal connectomes. Can be explored with CATMAID here:
https://catmaid-jekelylab.cos.uni-heidelberg.de
#larva #marine #neuroscience #vEM