type
Topic | Replies | Views | Activity | |
---|---|---|---|---|
The Hidden Dangers of Haskell's Ratio Type |
![]() ![]() |
1 | 40 | 25 May 2022 |
Some top 100,000 websites collect everything you type—before you hit submit |
![]() ![]() |
1 | 44 | 15 May 2022 |
A Flexible Type System for Fearless Concurrency |
![]() ![]() |
1 | 55 | 13 May 2022 |
Erlang: Type-Based Optimizations in the JIT |
![]() ![]() |
1 | 103 | 26 April 2022 |
Sorbet: Stripe's Type Checker for Ruby |
![]() ![]() |
1 | 110 | 30 March 2022 |
Microsoft announces progress on a completely new type of qubit |
![]() ![]() |
1 | 93 | 16 March 2022 |
A complete guide to TypeScript’s never type |
![]() ![]() |
1 | 147 | 12 March 2022 |
A Proposal For Type Syntax in JavaScript |
![]() ![]() |
1 | 145 | 11 March 2022 |
Keyboard lets people type so fast it’s banned from typing competitions |
![]() ![]() ![]() ![]() ![]() |
7 | 397 | 7 January 2022 |
Type: A Directed Typing Experiment (demo) |
![]() ![]() |
1 | 193 | 4 January 2022 |
Untapped potential in Rust's type system |
![]() ![]() |
1 | 198 | 16 June 2021 |
Introduction to Type Systems (2020) |
![]() ![]() |
1 | 178 | 26 May 2021 |