Dependent Types and How to Get Rid of Them

4 days ago 1

Article URL: https://chadnauseam.com/coding/pltd/are-dependent-types-actually-erased

Comments URL: https://news.ycombinator.com/item?id=45801966

Points: 1

# Comments: 0

Read Entire Article
  1. Homepage
  2. Technology
  3. Dependent Types and How to Get Rid of Them

Related

Show HN: Tokuin – CLI load tester and token estimator for LLM APIs

Show HN: Tokuin – CLI load tester and token estimator for LL...

24 minutes ago 0
A Chapel Hill Lab Faces New Threats Five Years After Covid-19

A Chapel Hill Lab Faces New Threats Five Years After Covid-1...

25 minutes ago 0
Async DNS with Mac OS Getaddrinfo_async_start and Rust Smol

Async DNS with Mac OS Getaddrinfo_async_start and Rust Smol

26 minutes ago 0
Hostinger Web Hosting