Fosstodon

6 posts6 participants0 posts today

//devdigest⚡️ F# Weekly #13 2025 Highlights WebSharper 8.0🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#devdigest</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#net</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fsharp</a><a href="https://devdigest.today/goto/3800" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://devdigest.today/goto/3800</a>

SouthNorthA thought experiment:Name one thing that U.S. President Donald Trump has done since taking office that the Kremlin did not like. Crickets. Why is comrade <a href="https://mastodon.social/tags/Trump" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Trump</a> acting exactly like a Russian asset would? …  <a href="https://mastodon.social/tags/putinspuppet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#putinspuppet</a> <a href="https://mastodon.social/tags/russianagent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#russianagent</a> <a href="https://mastodon.social/tags/russianasset" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#russianasset</a> <a href="https://mastodon.social/tags/maga" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maga</a> <a href="https://mastodon.social/tags/runthemoutoftown" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#runthemoutoftown</a> <a href="https://mastodon.social/tags/putin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#putin</a> <a href="https://mastodon.social/tags/russia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#russia</a> <a href="https://mastodon.social/tags/gremlinzoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gremlinzoo</a> <a href="https://mastodon.social/tags/usa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#usa</a> <a href="https://mastodon.social/tags/uspol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#uspol</a> <a href="https://mastodon.social/tags/agentkrasnov" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#agentkrasnov</a> <a href="https://mastodon.social/tags/resist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#resist</a> <a href="https://mastodon.social/tags/whentheygolowwegohigh" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#whentheygolowwegohigh</a> <a href="https://mastodon.social/tags/TrumpIsATraitor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TrumpIsATraitor</a> <a href="https://mastodon.social/tags/foreignpolicy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#foreignpolicy</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/comradetrumpski" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#comradetrumpski</a> <a href="https://mastodon.social/tags/ComradeTrump" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComradeTrump</a> <a href="https://mastodon.social/tags/kremlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kremlin</a> <a href="https://mastodon.social/tags/trumpusefulidiot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#trumpusefulidiot</a><a href="https://foreignpolicy.com/2025/03/10/trump-putin-russia-asset-spy-security-ukraine-europe-war/#cookie_message_anchor" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://foreignpolicy.com/2025/03/10/trump-putin-russia-asset-spy-security-ukraine-europe-war/#cookie_message_anchor</a>

arosien<a href="https://types.pl/@noelwelsh" class="u-url mention">@noelwelsh</a> i put the tagless final code from your talk in a gist along with an example interpreter<a href="https://gist.github.com/arosien/f5bfeb315e5447768bf75261aa79e531" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://gist.github.com/arosien/f5bfeb315e5447768bf75261aa79e531</a><a href="https://fosstodon.org/tags/scala" class="mention hashtag" rel="tag">#scala</a> <a href="https://fosstodon.org/tags/fp" class="mention hashtag" rel="tag">#fp</a>

Economistas sin FronterasImagínate estar en clase ya terminando tus estudios y empezando a pensar en el futuro. ¿Y si ese futuro pasara por crear tu propia empresa pensando en el bien común? Os contamos una experiencia de <a href="https://mastodon.social/tags/EmprendimientoSocial" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#EmprendimientoSocial</a> que desarrollamos en Euskadi en centros de <a href="https://mastodon.social/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FP</a>: <a href="https://ecosfron.org/formar-para-transformar-un-taller-para-profes-que-acompanan/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://ecosfron.org/formar-para-transformar-un-taller-para-profes-que-acompanan/</a>

vascorsd<a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scala</a> got into hacker news and actually has a bunch of comments and people talking, that's surprising :blobcatcoffee: Cmon, let's convince the industry to create some more jobs, at least I know I need one 😅 <a href="https://news.ycombinator.com/item?id=43468972" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=43468972</a><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalProgramming</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/jvm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#jvm</a>

DJ AdamsWe're live this Friday with the first episode looking at functional programming, and so I thought I'd put together a collection of the material I've created over the years on the topic, in the form of presentations, documents and blog posts, in case you want to dive in before the first episode. Share & enjoy! <a href="https://qmacro.org/blog/posts/2025/03/24/functional-programming-resources/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://qmacro.org/blog/posts/2025/03/24/functional-programming-resources/</a> <a href="https://hachyderm.io/tags/HandsOnSAPDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HandsOnSAPDev</a> <a href="https://hachyderm.io/tags/Functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Functional</a> <a href="https://hachyderm.io/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FP</a> <a href="https://a.gup.pe/u/sap" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@sap</a>

Ænðr E. FeldstrawI researched how to reduce verbosity when programming in the javascript language and found <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> useful. I gathered a sample and a breakdown of why it works, together with some drawbacks. <a href="https://www.patreon.com/posts/125084056" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.patreon.com/posts/125084056</a>What say you? Is this a good use or a bad use of <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> techniques?

Alex NedelcuCats-Effect 3.6.0 is a very exciting release due to the work on its internal work scheduler, many congrats to its contributors! ❤️<a href="https://github.com/typelevel/cats-effect/releases/tag/v3.6.0" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/typelevel/cats-effect/releases/tag/v3.6.0</a><a href="https://social.alexn.org/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a> <a href="https://social.alexn.org/tags/CatsEffect" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CatsEffect</a> <a href="https://social.alexn.org/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FP</a>

Salar Rahmanian :verified: :scala: :swift: :nix:A Decision Maker's Guide to Typed Functional Languages<a href="https://youtu.be/sl1UQXgtepE?si=RLKsMekx3yRjlCxc" rel="nofollow noopener noreferrer" target="_blank">https://youtu.be/sl1UQXgtepE?si=RLKsMekx3yRjlCxc</a><a href="https://social.softinio.com/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://social.softinio.com/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a>

//devdigest⚡️ F# Weekly #12 2025: .NET 10 Preview 2 and MSTest 3.8🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#devdigest</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#net</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fsharp</a><a href="https://devdigest.today/goto/3719" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://devdigest.today/goto/3719</a>

sntx<a href="https://hachyderm.io/@tshepang" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@tshepang</a> <a href="https://fosstodon.org/@snonux" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@snonux</a> Considering it's about as fast as python, hard to wrap the head around for people without <a href="https://chaos.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> experience and not well adopted, I find it hard to like.

Jan de Muijnck-HughesA *gentle* reminder that, I have a funded <a href="https://discuss.systems/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> position for UK students, available with myself and <a href="https://types.pl/@bentnib" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@bentnib</a>This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.Deadline for getting in contact is: Thursday 20th March 2025You will belong to <a href="https://mastodon.acm.org/@StrathCyber" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@StrathCyber</a> and <a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@mspstrath</a>, as well as gaining access to <a href="https://mastodon.scot/@spli" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@spli</a><a href="https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/</a><a href="https://discuss.systems/tags/PL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PL</a> <a href="https://discuss.systems/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Idris</a> <a href="https://discuss.systems/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TypeTheory</a> <a href="https://discuss.systems/tags/Security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Security</a> <a href="https://discuss.systems/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a> <a href="https://discuss.systems/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FP</a>

//devdigest⚡️ F# Weekly #11 2025: Building an AI Chat App with Elmish🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#devdigest</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#net</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fsharp</a><a href="https://devdigest.today/goto/3643" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://devdigest.today/goto/3643</a>

Christian HimpeHere are the slides of <a href="https://discuss.systems/@sperbsen" class="u-url mention">@sperbsen</a> 's TFP keynote "Things We Never Told Anyone About Functional Programming": <a href="https://www.slideshare.net/slideshow/things-we-never-told-anyone-about-functional-programming/274963145" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.slideshare.net/slideshow/things-we-never-told-anyone-about-functional-programming/274963145</a> Thanks for sharing!<a href="https://fosstodon.org/tags/FP" class="mention hashtag" rel="tag">#FP</a>

Jakub ZalasPrinciple of Mutual Oblivion (PoMO): <a href="https://ralfwestphal.substack.com/p/principle-of-mutual-oblivion-pomo" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://ralfwestphal.substack.com/p/principle-of-mutual-oblivion-pomo</a>Radical Object-Orientation looks a lot like functional programming.<a href="https://mastodon.social/tags/oop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#oop</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a>

//devdigest⚡️ F# Weekly #10 2025 Introduces Elmish Land🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#devdigest</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#net</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fsharp</a><a href="https://devdigest.today/goto/3534" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://devdigest.today/goto/3534</a>

Larry Garfield<a href="https://mastodon.social/@aeveltstra" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@aeveltstra</a> I refer you to my own book, which is several years less dated. :-)<a href="https://leanpub.com/thinking-functionally-in-php/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://leanpub.com/thinking-functionally-in-php/</a>But Gina in another reply mostly has it. FP is a collection of practices that have benefits in terms of keeping the code self explanatory and eliminating classes of weird bugs through constraints. Pure functions and immutability in particular.I had a blog series for AoC a while back, too. Links here:<a href="https://peakd.com/hive-168588/@crell/aoc2021-review" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://peakd.com/hive-168588/@crell/aoc2021-review</a><a href="https://phpc.social/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#php</a> <a href="https://phpc.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a>

Christian BeerIt was <a href="https://mastodon.social/@krzyzanowskim" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@krzyzanowskim</a> <a href="https://mastodon.social/@krzyzanowskim/113948527006848913" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://mastodon.social/@krzyzanowskim/113948527006848913</a>. very cool. Can you give a hint how you did this, <a href="https://mastodon.social/@krzyzanowskim" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@krzyzanowskim</a> ? <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/ide" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ide</a> <a href="https://mastodon.social/tags/cool" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cool</a>

Xavier Van de Woestyne🚨 LambdaNantes7, c'est le 27 Mars 2025!!! Une fois de plus, PaloIT nous accueillent dans leurs bureaux Nantais (merci 💙) où Lucas Jahier nous parlera de LOGS, d'Observabilité et de traçabilité dans le contexte des système distribués !<a href="https://mobilizon.fr/events/fcba326f-c3d5-4062-a2d8-cac5cb93130c" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://mobilizon.fr/events/fcba326f-c3d5-4062-a2d8-cac5cb93130c</a><a href="https://merveilles.town/tags/opentelemetry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#opentelemetry</a> <a href="https://merveilles.town/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://merveilles.town/tags/nantes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nantes</a>

Torsten FinkA nice article, starting with harmless maps and flatMaps in Kotlin and ending with functors and monads, hopefully without scaring the reader:<a href="https://blog.akquinet.de/2025/02/28/the-map-and-flatmap-patterns/#writing-our-own-mappable-and-flatmappable-types" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.akquinet.de/2025/02/28/the-map-and-flatmap-patterns/#writing-our-own-mappable-and-flatmappable-types</a><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> <a href="https://mastodon.social/tags/kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kotlin</a> <a href="https://mastodon.social/tags/arrowkt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#arrowkt</a>

Recent searches

Search options

Administered by:

Server stats:

#fp