Search
367 results for “typelevel”
-
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 -
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 -
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 -
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
-
Type-level программирование в TypeScript: практические кейсы и новые возможности
Как использовать мощь системы типов TypeScript для вычисления логики ещё на этапе компиляции и автоматической генерации кода. Разбираем условные типы, шаблонные литералы, рекурсивные типы и другие приёмы, чтобы упростить разработку, сократить дублирование кода и снизить вероятность ошибок на runtime.
https://habr.com/ru/articles/871336/
#typescript #Typelevel_программирование #метапрограммирование #условные_типы #типобезопасность #Валидация_типов #рекурсивные_типы #mapped_types #Шаблонные_литералы_типов
-
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".
-
@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
-
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 -
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 👋
-
how exciting, Maksym Ochenashko is writing a series on #observability in #scala applications! Maks is a prolific maintainer of #otel4s and #cats-effect.
-
Buffalo Sabres give injury update on center Josh Norris – Buffalo News https://www.rawchili.com/nhl/410411/ #BuffaloSabres #Hockey #IceHockey #IceHockeyLeagues #LindyRuff #NationalHockeyLeague #NationalHockeyLeagueTeams #NhlSeasons #NhlTeamSeasons #SeasonsInAmericanIceHockey #SeasonsInAmericanSport #SeasonsInCanadianIceHockey #SeasonsInIceHockey #sports #SportsHoldingCompaniesOfTheUnitedStates #SportsOrganizations #TopLevelSportsLeagues #TopTierIceHockeyLeagues
-
Mike Harrington: One game at a time, Sabres eyeing a new winning streak – Buffalo News https://www.rawchili.com/nhl/396336/ #BuffaloSabres #Hockey #IceHockey #IceHockeyLeagues #LindyRuff #NationalHockeyLeague #NationalHockeyLeagueTeams #NationalHockeyLeagueTrophiesAndAwards #NewYorkRangers #QuinnHughes #SeasonsInAmericanIceHockey #SeasonsInCanadianIceHockey #SeasonsInIceHockey #sports #SportsOrganizations #TopLevelSportsLeagues #TopTierIceHockeyLeagues #VancouverCanucks
-
@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?
-
#Kulturwandel von Innen jetzt mit @winfriedebner Sophie Rickmann und Annabel Klarwein - jetzt über #CorporateInfluencer Club (dabeisein lohnt sich!) - mit shoutout an Klaus Eck
Beim Aufbau von Communities gilt es #Begegnungsräume zu schaffen, #Vertrauen aufbauen
- CommunityCalls
- Beitrag des Monats #Wertschätzung #Feedback
- sichtbare #Vorbilder #Reputation #SharingIsCaring
- sei da, wo die Menschen sind #Augenhöhe
- SozialeNetzwerke sind essentiell
- TopLevel Sponsor*innen gewinnen -
#Kulturwandel von Innen jetzt mit @winfriedebner Sophie Rickmann und Annabel Klarwein - jetzt über #CorporateInfluencer Club (dabeisein lohnt sich!) - mit shoutout an Klaus Eck
Beim Aufbau von Communities gilt es #Begegnungsräume zu schaffen, #Vertrauen aufbauen
- CommunityCalls
- Beitrag des Monats #Wertschätzung #Feedback
- sichtbare #Vorbilder #Reputation #SharingIsCaring
- sei da, wo die Menschen sind #Augenhöhe
- SozialeNetzwerke sind essentiell
- TopLevel Sponsor*innen gewinnen -
#Kulturwandel von Innen jetzt mit @winfriedebner Sophie Rickmann und Annabel Klarwein - jetzt über #CorporateInfluencer Club (dabeisein lohnt sich!) - mit shoutout an Klaus Eck
Beim Aufbau von Communities gilt es #Begegnungsräume zu schaffen, #Vertrauen aufbauen
- CommunityCalls
- Beitrag des Monats #Wertschätzung #Feedback
- sichtbare #Vorbilder #Reputation #SharingIsCaring
- sei da, wo die Menschen sind #Augenhöhe
- SozialeNetzwerke sind essentiell
- TopLevel Sponsor*innen gewinnen -
#Kulturwandel von Innen jetzt mit @winfriedebner Sophie Rickmann und Annabel Klarwein - jetzt über #CorporateInfluencer Club (dabeisein lohnt sich!) - mit shoutout an Klaus Eck
Beim Aufbau von Communities gilt es #Begegnungsräume zu schaffen, #Vertrauen aufbauen
- CommunityCalls
- Beitrag des Monats #Wertschätzung #Feedback
- sichtbare #Vorbilder #Reputation #SharingIsCaring
- sei da, wo die Menschen sind #Augenhöhe
- SozialeNetzwerke sind essentiell
- TopLevel Sponsor*innen gewinnen -
#Kulturwandel von Innen jetzt mit @winfriedebner Sophie Rickmann und Annabel Klarwein - jetzt über #CorporateInfluencer Club (dabeisein lohnt sich!) - mit shoutout an Klaus Eck
Beim Aufbau von Communities gilt es #Begegnungsräume zu schaffen, #Vertrauen aufbauen
- CommunityCalls
- Beitrag des Monats #Wertschätzung #Feedback
- sichtbare #Vorbilder #Reputation #SharingIsCaring
- sei da, wo die Menschen sind #Augenhöhe
- SozialeNetzwerke sind essentiell
- TopLevel Sponsor*innen gewinnen -
🎶 #NowListening 🎶 on 9 May 2026
🎤 - The Levellers
🎵 - Sell Out
💿 - Levelling the Land (Remastered)https://song.link/https://music.apple.com/us/album/sell-out/300949759?i=300949922&uo=4&app=music
#NowPlaying #AppleMusic #LevellingtheLandRemastered #TheLevellers
-
Need help from Lisp wizards — looks like I'm missing something simple and obvious (but not so obvious for beginner). I'm trying to build (with ECL) the simple program, which uses ql:quickload to load parse-number, then prints "Hello world". It builds without errors, but resulting binary could not be executed — it prints error message about unknown "ql:quickload" function.
QuickLisp was installed like described in the official documentation. It works in SBCL, it works in ECL REPL and it has the necessary lines in the ~/.eclrc:
;;; The following lines added by ql:add-to-init-file:
#-quicklisp
(let ((quicklisp-init (merge-pathnames "quicklisp/setup.lisp"
(user-homedir-pathname))))
(when (probe-file quicklisp-init)
(load quicklisp-init)))
(ql:quickload '(:slite) :silent t)The program, itself, runs successfully if I just evaluate the next code in the REPL:
(ql:quickload '(:parse-number) :silent t)
(defpackage :test
(:use :cl))(in-package :test)
(defun toplevel ()
(print "Hello world"))(progn
(toplevel)
(ext:quit))And it compiles:
ecl --eval '(progn (compile-file "test.lisp" :system-p t) (c:build-program "test" :lisp-files '"'"'("test.o")) (quit))'
;;; Loading #P"/home/drag0n/quicklisp/setup.lisp"
;;; Loading #P"/usr/local/lib/ecl-24.5.10/asdf.fas"
;;;
;;; Compiling test.lisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; Finished compiling test.lisp.
;;;But doesn't print "Hello world":
./test
Condition of type: UNDEFINED-FUNCTION
The function QUICKLISP-CLIENT::QUICKLOAD is undefined.
No restarts available.Top level in: #<process TOP-LEVEL 0x8295a3f80>.
> -
@DeliaChristina
From the 90s definitely #BillyBragg and #TheLevellers and #SteveEarl -
Donnerstag: Milliardenverluste durch Cybercrime, Metas brandneues KI-Modell
Online-Betrug & -Abzocke in den USA + Muse Spark zuerst für Meta-KI + EU-Domain mit 20. Jubiläum + Kindle-Oldtimer auf Amazons Abstellgleis + #heiseshow
#Amazon #AmazonKindle #Cybercrime #eGovernment #EU #FBI #hoDaily #Journal #Kraftstoff #KünstlicheIntelligenz #MetaPlatforms #TopLevelDomain #news
-
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)