|
|
|
|
|
|
by erdeszt
1990 days ago
|
|
|
> So... Type signature `Int -> Int -> Bool` can be used for a function that does any of the following things: manipulates strings, decodes JSON, or queries a database It can definitely NOT query a database(as that would be an effect which would be visible in the type). |
|
|