Posts by Tag

scala

Solve CNF with Tarjan

17 minute read

Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assign...

Back to top ↑

scala cats

Back to top ↑

functional programming

Back to top ↑

cats reader

Back to top ↑

scala reader

Back to top ↑

reader monad

Back to top ↑

algorythms

Solve CNF with Tarjan

17 minute read

Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assign...

Back to top ↑

immutability

Solve CNF with Tarjan

17 minute read

Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assign...

Back to top ↑

collection

Solve CNF with Tarjan

17 minute read

Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assign...

Back to top ↑

performance

Solve CNF with Tarjan

17 minute read

Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assign...

Back to top ↑

cats eq

Back to top ↑

cats order

Back to top ↑

cats equality

Back to top ↑

eq typeclass

Back to top ↑

cats writer monad

Back to top ↑

writer monad

Back to top ↑

cats writer

Back to top ↑

cats mtl

Back to top ↑

scala tofu

Back to top ↑

scala architecture

Back to top ↑

scala monad transformers

Back to top ↑

scala applications architecture

Back to top ↑

scala app architecture

Back to top ↑

cats recursions

Back to top ↑

tail recursion

Back to top ↑

cats tailRecM

Back to top ↑

y combinator scala

Back to top ↑