2 ms·
> 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 da
by erdeszt 6y 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).