defining haskell functions that have Maybe in signature -


i'm unclear how write function signatures in haskell, using maybe. consider:

f :: maybe -> maybe f = \a ->  main = print (f (just 5))

this works why can't function signature this?

f :: maybe -> maybe

since f takes maybe type , returns maybe type.

related: if wanted have maybe type more specific , maybe int, why doesn't work?

f :: maybe int -> maybe int f = \a ->  main = print (f (just (int 5)))

(i'm running code using runhaskell test.hs)

seems confused type variables. first of all, in 

f :: maybe -> maybe f = \a ->

the a's in first line have nothing a's in second line, have written:

f :: maybe -> maybe f = \x -> x

or even

f :: maybe foo -> maybe foo f = \bar -> bar

the a's variables stand types. f here declaring f has whole bunch of types @ once:

f :: maybe int -> maybe int f :: maybe string -> maybe string f :: maybe (maybe bool) -> maybe (maybe bool) ...

and on. not "labeling" of arguments suspect think. fact 2 a's same means argument type has same result type. if had said f :: maybe -> maybe b family:

f :: maybe int -> maybe bool f :: maybe string -> maybe string f :: maybe (maybe bool) -> maybe int ...

that is, a , b can stand different types, argument , result still have maybe.

the reason can't say

f :: maybe -> maybe

is because maybe not type -- type constructor. if give type, gives type. maybe int , maybe string types, , in general maybe a type long a type.

maybe int a (which parsed (maybe int) a) has no meaning because maybe int not type constructor -- not accept more arguments.

suggested reading: types , typeclasses lyah.


Comments

Post a Comment

Popular posts from this blog

vue.js - Create hooks for automated testing -

Image
qa guys complained can't automate frontend testing. because our html looks same outside. lazy hack did this <template> <div :role="$options.name"> ... </div> </template> <script> export default { name: 'vmcomponentname' } </script> which takes name script , applies html. in browser get: <div role="vmcomponentname"> ... </div> line :role="$options.name" goes in every component. is there dry er solutions? please share. additional details i'll explain in details looking for. imagine have vmusercreate form creates user. test case can create user . to automatically test without role, have use following selector: .wrapper > .wrapper > .wrapper > .submit-button the test extremely brittle (will break lot). if use roles can use [role="vmusercreateform"] .submit-button selector. many folds less brittle. so basically, i'm ...
Read more

php - Vagrant up error - Uncaught Reflection Exception: Class DOMDocument does not exist -

i've set bento/ubuntu-16.04 vagrant box using php 5.6, , getting following error quite few times when try , run shell script: "uncaught reflection exception: class domdocument not exist". i've tried adding following top of script (not together), each no success: "sudo apt-get install php5.6-xml", "sudo apt-get install php5-xml", "sudo apt-get install php-dom" i've tried resetting server "sudo service apache2 restart". does have suggestions?
Read more

serial port - hub4com OVERRUN Error -

i trying split physical serial port (com3) 2 or more virtual ports using com0com create virtual ports , hub4com split them. here commands use create virtual ports: install 0 portname=com100 portname=com101 change com100 emubr=yes, emuoverrun=yes change com101 emubr=yes, emuoverrun=yes install 1 portname=com110 portname=com111 change com110 emubr=yes, emuoverrun=yes change com111 emubr=yes, emuoverrun=yes the commands use split port: hub4com --route=0:all --baud=115200 \\.\com3 --baud=115200 \\.\com101 --baud=115200 \\.\com111 here output along error get: com3 open("\\.\com3", baud=115200, data=8, parity=no, stop=1, octs=on, odsr=off, ox=off, ix=off, idsr=off, ito=0) - ok com101 open("\\.\com101", baud=115200, data=8, parity=no, stop=1, octs=on, odsr=off, ox=off, ix=off, idsr=off, ito=0) - ok com111 open("\\.\com111", baud=115200, data=8, parity=no, stop=1, octs=on, odsr=off, ox=off...
Read more