Tech Talk: Http4s  and Functional Web Development With Ross Baker

Tech Talk: Http4s and Functional Web Development With Ross Baker

Tech Talks are in-depth technical discussions.

The promise of functional programming is code that is easier to reason about, test and maintain. Referential transparency means there is no extra context to worry about, we can just focus on inputs and outputs. Examples of functional programming in the small are plentiful. Fibonacci is easy to write as a function but what about fp in the large?

Http4s is a web framework written in scala that takes a pure functional approach to building http services. Ross Baker is a contributor to http4s and he explains the benefits of this approach. We also touch on the benefits of working remotely, since he and I have both been doing it for some time.

Links:

Today I talk with @rossabaker about http4s and the benefits of a pure functional approach to building http services

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(115)

The Pre-Training Wall and the Treadmill After It

The Pre-Training Wall and the Treadmill After It

I've been confusing Don with frontier-lab links late at night for a bit. Ilya Sutskever told a NeurIPS audience that pre-training as we know it would unquestionably end. There's only one internet, and...

9 Mai 56min

Story: The Aging Programmer

Story: The Aging Programmer

Kate Gregory has been writing C++ for over forty years. Books, keynotes, a consulting firm she built from the ground up. At sixty-three, she's one of the most experienced programmers alive. She survey...

2 Apr 41min

From Hacker News to TikTok - How Algorithms Learned to Hook Us

From Hacker News to TikTok - How Algorithms Learned to Hook Us

Corey told me about his AI cat reel problem. He found these AI-genearted cat videos hilarious. Who makes these? He kept sending them to his wife. Then he tried to stop watching and he couldn't. So I w...

2 Mar 41min

Notes: The Universal Paperclip Clicker

Notes: The Universal Paperclip Clicker

Multiple VS Code windows. "Agent stopping" in a robot voice. A laptop stand on the treadmill so Claude can keep working while I run. The Big Rich sitting unread by the fireplace while I check if the m...

4 Feb 11min

Story: Inside Early Google - Race Conditions, Java Pain, and the Birth of AdWords

Story: Inside Early Google - Race Conditions, Java Pain, and the Birth of AdWords

Ron Garret left JPL for a 100-person startup he'd just discovered on Usenet. Four a.m. alarms. Burbank to San Jose on Southwest. A rented room in Susan Wojcicki's house. He expected the search engine ...

2 Jan 37min

Story: The Bug He Couldn't Name - A 15-Year Fight Inside One Developer's Mind

Story: The Bug He Couldn't Name - A 15-Year Fight Inside One Developer's Mind

Imagine facing a problem you can't name, something that feels bigger than any bug you've ever had to fix. How do you debug your own mind when you don't even know what's wrong? Burke Holland's story st...

2 Des 202544min

Story: Godbolt's Rule - When Abstractions Fail

Story: Godbolt's Rule - When Abstractions Fail

What do you do when your code breaks and the only fix is to dig into the runtime below? Matt Godbolt lives for that. Tile-based renderers, color-coded scanlines, zero-copy NICs—each story is a clue th...

4 Nov 202544min

Story: Risk Rolls Downhill - The Software Bug That Sent People to Prison

Story: Risk Rolls Downhill - The Software Bug That Sent People to Prison

What if a software bug drained your savings, ruined your reputation, and nobody believed it wasn't your fault? Scott Darlington took over a village post office, hoping to give his family a steady lif...

2 Okt 202554min

Populært innen Politikk og nyheter

giver-og-gjengen-vg
aftenpodden
forklart
aftenpodden-usa
stopp-verden
popradet
fotballpodden-2
lydartikler-fra-aftenposten
rss-gukild-johaug
det-store-bildet
dine-penger-pengeradet
nokon-ma-ga
rss-ness
hanna-de-heldige
rss-espen-lee-usensurert
aftenbla-bla
grasoner-den-nye-kalde-krigen
rss-dannet-uten-piano
e24-podden
rss-penger-polser-og-politikk