Tech Talk: Total Swift Programming

Tech Talk: Total Swift Programming

Tech Talks are in-depth technical discussions.

In simple terms, a total function is a function that produces a well defined output for all possible inputs. A total program is a program composed of only total functions.

A non-total, or partial function, would be a function that can fail given certain inputs. Such as taking the head of a list, which can fail if giving an empty list and is therefore non-total.

Total programming can be done in any language, however many languages make this easier. Some, going so far as to require proof of totality.

In this interview Andre Videla discusses how the swift program language encourages programming in a total style. He also discusses his love of Idris, proof assistants and how his research into haskell, idris and dependant types have made him a better swift programmer.

Links:

Total Programming In Swift

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