funky
funky copied to clipboard
faiface
the best functional language ever
This code crashes the compiler: ```funky func foo : a = switch 0 case foozle func bar : Int = 0 ``` With this error message: ``` panic: runtime error:...
If you use keywords (`func`, `alias`, `record`, `union`) in places where identifiers are expected, the compiler does not give a reasonable report but crashes. Faulty inputs might look like: `alias...
Per definition, the literal `0` is of type `Int` and the literal `0.0` is of type `Float`. Thus, both lines below correctly fail to type-check: ```funky (self : Int ->...
The following malformed input causes the compiler to crash: ```funky func main : IO = ; ``` Output: ``` panic: runtime error: invalid memory address or nil pointer dereference [signal...
There are programs containing recursive type aliases (one fairly minimal example given below) where the type checker does not terminate ~~trying to check if two overloads collide (in this case...