Konto erstellenAnmelden

Frühere Suchanfragen

Keine früheren Suchanfragen

Suchoptionen

Nur verfügbar, wenn angemeldet.
nrw.social ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Wir sind eine freundliche Mastodon Instanz aus Nordrhein-Westfalen. Ob NRW'ler oder NRW-Sympathifanten, jeder ist hier willkommen.

Verwaltet von:

Serverstatistik:

2,8 Tsd.
aktive Profile

nrw.social: ÜberStatusProfilverzeichnisImpressum/Datenschutz

Mastodon: ÜberApp herunterladenTastenkombinationenQuellcode anzeigenv4.3.7

#functionalprogramming

7 Beiträge6 Beteiligte0 Beiträge heute
Öffentlich
Leanpub

Unwrapping Monads & Friends: Shining Light on Functional Programming's Scariest Concepts leanpub.com/monads-and-friends by Kyle Simpson is the featured book on the Leanpub homepage! leanpub.com #FunctionalProgramming #Javascript #books #ebooks

Are you scared by mathematical symbols or formal terms like "monad"? Unwrapping Monads & Friends offers a clear, approachable path through functional programming’s most intimidating concepts—no math degree required.

Find it on Leanpub!

Öffentlich
Sven Ruppert

Just published a longform article on parallel collectors in Java Streams.

✅ Covers correctness, performance, pitfalls
🛠 Custom collectors with CONCURRENT semantics
🔬 JMH benchmark

TL;DR: .parallelStream() is not a magic wand.

svenruppert.com/2025/04/08/syn

Sven Ruppert · Synchronous in Chaos: How Parallel Collectors Bring Order to Java Streams
Mehr von Sven Ruppert
#Java#StreamsAPI#OpenJDK
Öffentlich
José A. Alonso

Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. books.google.com/books?id=4Xc2 #CategoryTheory #Math #Haskell #FunctionalProgramming

Google BooksCategory Theory Using HaskellThis unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created. Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing. Topics and features: Contains rigorous mathematical arguments to support the theory Provides numerous Haskell code-implementing examples Engages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces Offers insights into category theory to quantum computing and the foundation of computing discipline Serves as a preparatory course for monoidal categories and higher categories The work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.
EntdeckenLive-Feeds
Über