Ben Southgate bsouthga

## main.md

      
              1 file
            
          
              15 forks
            
          
                6 comments
              
            
              212 stars
            
          
                hediet
                / main.md
            
            
              Last active
              December 1, 2025 20:53
            
              
                Proof that TypeScript's Type System is Turing Complete
              
          
    type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];

  
## frp.md

      
              2 files
            
          
              56 forks
            
          
                21 comments
              
            
              619 stars
            
          
                ohanhi
                / frp.md
            
            
              Last active
              September 23, 2025 16:12
            
              
                Learning FP the hard way: Experiences on the Elm language
              
          
    Learning FP the hard way: Experiences on the Elm language

by Ossi Hanhinen, @ohanhi
with the support of Futurice 💚.
Licensed under CC BY 4.0.
Editorial note