Cats-as-Code @catsascode

Typed Functional Programming Joined December 2020

Tweets

135
Followers

152
Following

611
Likes

67

Cats-as-Code @catsascode

4 years ago

"System design is a fundamentally recursive process, including a decompositional phase which identifies components and their requirements and a compositional phase of integration and testing." Compositional Models for Complex Systems by Breiner, Sriram & Subrahmanian 2019

0 3 8 0 1

Download Image

Statebox @statebox

4 years ago

The ACT conference is in full swing! Check out the program here: cl.cam.ac.uk/events/act2021/ @wires_wires will be talking about @statebox categories from 4pm CEST onwards 😎😎

2 4 8 0 0

Steve Stewart-Williams @SteveStuWill

4 years ago

Time-lapse footage of neurons growing and making connections with each other. This is literally how minds are made. youtube.com/watch?v=hb7tjq…

36 399 2K 0 152

Download Video

Gabrieλ Volpe @volpegabriel87

4 years ago

I'm pleased to announce Practical #FP in #Scala - 2nd Edition is now available 🚀 With your purchase, you'll also be helping India fight the ongoing crisis, as I plan to donate 100% of the profits made from now until the end of this Friday. leanpub.com/pfp-scala

9 56 216 0 16

Cats-as-Code @catsascode

4 years ago

"The coarser-grained the [compositionality] building blocks, the harder it is to create something useful." Some design patterns as universal abstractions by Mark Seemann @ploeh

1 0 1 0 0

Mark Seemann @ploeh

8 years ago

Blogged: Some design patterns as universal abstractions ift.tt/2FeBMeF

1 25 59 0 1

Tomasz @tjaskula

6 years ago

@Miller_Geek Mainstream OOP is what went wrong over the years. But Alan Kay also saw objects as algebraic structures, which make certain mathematically provable guarantees about their behaviors and forms the basis for objects such as promises and lenses, both inspired by category theory.

0 2 3 0 0

julesh @_julesh_

6 years ago

In some ways applied category theory shouldn't be significantly different to, say, applied PDEs. Interesting on its own but ultimately useless in isolation, just a tool to be combined with domain knowledge To misquote Girard, category theory alone is like an engine without a car

7 3 48 0 2

polyphernalia.bsky.social @EinarStockan

8 years ago

ME: hm, i think i should rearrange some of my game engine code, should be a simple fix HASKELL: learn category theory ME: yeah good idea

0 1 2 0 0

Doug Lance @dwlance

4 years ago

@piq9117 All complex systems must grow to sustain themselves. Otherwise, small system failures compound over time and the system fails.

0 1 1 0 0

Cats-as-Code @catsascode

4 years ago

A visual IDE for pure Functional Programming by Alexander Darlington alexdarlington.com/demo0.html

0 1 1 0 0

Download Image

PatternAtlas @patternatlas

5 years ago

Josh Vera (@joshvera) has written an lucid introduction on system design from the perspective of category theory. He elucidates concepts like galois connections and monotonicity pretty neatly with the help of visual illustrations! Check it out: github.com/joshvera/gener…

2 4 13 0 3

Download Image

Cats-as-Code @catsascode

4 years ago

Best-performing teams "accomplish remarkable feats not simply because of the individual qualifications of their members but because those members coalesce into a [complex system] single organism." —Stanley McChrystal Skelton, Matthew; Pais, Manuel. Team Topologies

0 0 0 0 0

Gabrieλ Volpe @volpegabriel87

5 years ago

Coming soon... #FP in #Scala

17 27 266 0 10

Download Image

Cats-as-Code @catsascode

4 years ago

Quick question. Is there a formal name for the most important component or system in a complex system? For example: core system, main system, vital organs?

1 0 1 0 0

Cats-as-Code @catsascode

4 years ago

"You can never understand everything. But, you should push yourself to understand the system." —Ryan Dahl (Creator of NodeJS)

0 0 1 0 0

Cats-as-Code @catsascode

4 years ago

Hot take... String diagrams are more intuitive for high level architecture and detailed design than non-formal UML stuff.

0 0 0 0 0

Cats-as-Code @catsascode

4 years ago

How can Applied Category Theory be useful for engineering? youtube.com/watch?v=GbB0eA…

0 0 0 0 1

Cats-as-Code @catsascode

4 years ago

"This work is grounded in the belief that a framework that augments scientific workflows without requiring a wholesale reimplementation in a Domain Specific Language (DSL) is most effective for real world application by scientists." arxiv.org/pdf/1907.03536…

1 0 1 0 1

Scott Wlaschin @ScottWlaschin

4 years ago

In response to this tweet, people recommended their favorite design-focused books, which I'll list. But read on to the end because I want more :) "Growing Object-Oriented Software, Guided by Tests" by @natpryce & @sf105 "Practical Object-Oriented Design" by @sandimetz 1/n