Rock the JVM

JUNE 15, 2023

Composing Result Instances As we saw in the previous article, we often deal with types (usually some containers) that are “chainable” or “monadic” in structure (more details on Another Take at Monads: A Way to Generalize Chained Computations ), so the crucial point is how we can compose and combine them. findAll (). maxSalary ().

Scala 71

Scala Software Engineer Software Engineering Programming Language 71

Rock the JVM

OCTOBER 29, 2023

The use of Ref[IO, Urls] suggests that these references are handled within the Cats Effect’s IO monad, which is used for handling effectful operations in a purely functional manner. The response body is expected to be of type String , and it is returned wrapped in an IO monad. It also handles timeouts and errors.

Scala 105

Scala Bytes Algorithm Coding 105

Rock the JVM

SEPTEMBER 17, 2023

map vs flatMap Using map and flatMap on collections was not a problem (I knew when to use them), but when it came to using them on monads, I felt completely lost and did not understand why I had to use one instead of the other (so maybe my understanding was not that good on collections either).

Scala 142

Scala Programming Coding Java 142

Snowflake

MAY 22, 2023

Monad Monad automates security analytics, transforming data from security tools into valuable insights and delivering them directly to stakeholders. Transportation Eco-Movement Eco-Movement is the leading provider for data on electric vehicle charging stations.

Healthcare 52

Healthcare Scala Medical Transportation 52

Zalando Engineering

JANUARY 8, 2018

The first thing I fell in love with was Monad composition to define the program (or subprogram) as a series of stages composed in a for-comprehension. The most common way of doing this is using Monads inside a for-comprehension. Classic examples are Semigroup, Monoid, Applicative, Functor, Monad, etc. import scala.concurrent.

Scala 40

Scala Bytes Java Programming 40

Rock the JVM

MAY 22, 2023

This course covers all the advanced topics we discussed above, with functional programming techniques based on them, such as type classes or monads. For intermediate users looking to deepen their Scala knowledge and get advanced, the Advanced Scala and Functional Programming course is what you need.

Scala 52

Scala Java Programming Language Programming 52

Rock the JVM

APRIL 26, 2023

In detail, for error handling, it provides a uniform form of monadic list-comprehension (in Scala, it’s called for-comprehension ) that allows us to write functional code more imperatively and declaratively and avoid the nested calls. We already imported the dependency from Arrow in the setup section, so we can use it in our code.

Software Engineer 71

Software Engineer Software Engineering Scala Programming 71

Engineering at Meta

APRIL 6, 2023

The rules API is designed to contain advanced features for performance , along with dynamic (or monadic) dependency features for expressibility. The build system is powered by a single incremental dependency graph , avoiding any phases (in contrast to Buck1 or Bazel). This decision eliminates many types of bugs and increases parallelism.

Building 142

Building Systems Java Coding 142

Rock the JVM

NOVEMBER 6, 2022

Skill 8: If you have more time, then, it’s worth diving into the abstract world of (gasp) monads - the kind of computations that can be “chained”. I’ve explained monads from 3 different angles ( pure productivity , general properties and “monoids in the category of endofunctors” ), if you want to check those pieces.

Scala 40

Scala Java Programming Language Software Engineer 40

Tweag

FEBRUARY 13, 2023

For instance, Z3 provides a C library that is also exposed in several other languages. Using the (unofficial) Haskell bindings in GHCi, our previous example becomes: > : set + m > import Z3.

Coding 75

Coding Programming Designing Process 75

Zalando Engineering

AUGUST 14, 2016

It gives us rich techniques to hide the complexity of Typhoon from developers using monads as abstractions. Think about monads as computation. The workload scenario is defined as a chain of network operations wrapped by IO-monad. compile ({ parse_transform , monad }). The decision was mainly driven by time-to-market.

Bytes 40

Bytes Architecture Scala Technology 40

Tweag

JANUARY 25, 2023

Mutable arrays with ST The traditional API for mutable arrays, in Haskell, looks like this: new :: Int -> a -> ST s ( MArray s a ) read :: MArray s a -> Int -> ST s a write :: MArray s a -> Int -> a -> ST s ( ) unsafeFreeze :: MArray s a -> ST s ( Array a ) It uses the ST monad for sequencing to represent mutation.

Accessible 45

Accessible Accessibility IT Process 45

Tweag

MARCH 22, 2023

There is no denying that this is not aesthetically pleasing, compared with a more direct version, such as what we can write in the ST monad: newMArrayST :: Int -> ST s ( MArray a ) To be fair, it’s not as bad as it may first appear. Linear types require a value to be used exactly once.

Coding 98

Coding Designing Management IT 98

Tweag

MAY 10, 2023

If you are interested in the technical details, refer to our previous posts: Part 1 presents the underlying trace abstraction that uses a freer monad, and Part 2 the LTL 3 -based language used to specify modifications. cooked-validators provides a powerful framework to modify, generate, and combine transaction requests and traces.

Process 52

Process Programming Coding Designing 52

Rock the JVM

JANUARY 22, 2024

The Cats library offers general functional programming abstractions, e.g. functors , monads , applicatives, etc; while the Cats Effect library defines what it means to be an “effect”. The Typelevel stack is based on Cats and Cats Effect.

Scala 58

Scala SQL Database Coding 58

Zalando Engineering

NOVEMBER 22, 2017

Interestingly enough, the monadic style of the for comprehension fits in very naturally with the flatMap KStream call. The current implementation of the Domain Link Extractor component is a function that calls four more focused functions, tying everything together with a Scala for comprehension. This all happens in a KStream flatMap call.

Kafka 40

Kafka Scala Hadoop Algorithm 40

Rock the JVM

JANUARY 8, 2023

The returned data type is a Validated , an Either -like structure offered by cats that doesn’t form a monad and that is particularly suited for error accumulation. Decline offers the mapValidated method, that accepts a String => ValidatedNel[String, Sudoku] function that should convert the provided string to a Sudoku. import Sudoku. *

Scala 52

Scala Java Algorithm Utilities 52

Rock the JVM

SEPTEMBER 19, 2023

The article should have given you a good overview of the new error handling style in Arrow and how the Arrow guys decided to get rid of a lot of category theory types (did you see any reference to a monoid, monad, applicative, or traverse application?) in favor of a more straight, idiomatic and Kotlinsh approach. SNAPSHOT 1.9.0

Software Engineer 68

Software Engineer Software Engineering Database Coding 68