Ben Southgate bsouthga

## frp.md

      
              2 files
            
          
              56 forks
            
          
              21 comments
            
          
              621 stars
            
          
                ohanhi
                / frp.md
            
            
              Last active
              May 6, 2024 05:17
            
              
                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


## main.md

      
              1 file
            
          
              12 forks
            
          
              5 comments
            
          
              190 stars
            
          
                hediet
                / main.md
            
            
              Last active
              July 25, 2024 23:02
            
              
                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"];