Types of OCaml functions -



Types of OCaml functions -

i started learning functional programming (ocaml), don't understand 1 of import topic functional programming: types.

can explain me solution please?

have test week , can't reach resolution..

let f b c = (a b c) 0;; f: ('a -> int -> 'a) -> 'a -> int -> 'a

let f b c = (a b c) 0;;

your confusion involves types , type inference, i.e., when define function or binding, don't need give explicit types parameters, nor function/binding itself, ocaml figure out if definition of function/binding correct.

so, let's manual inferences ourselves. if human can do, compiler can do.

1.

let x = 1

1 integer, x must integer. don't need int x = 1 in other languages, right?

2.

let f x = 1

if there multiple variable names between let , =, must function definition, right? otherwise, won't create sense. in java language, makes no sense int x y = 1, right?

so f function , x must parameter. since righthand side of = integer, know f homecoming integer. x, don't know, x thought polymorphic type 'a.

so f: 'a -> int = <fun>.

3.

let f b c = (a b c) 0;;

f function, parameters a, b, c.

a must function, because on righthand side of =, function application.

a takes 2 arguments: (a b c) , 0. 0 integer, 2nd parameter of a must integer type.

look within (a b c), c 2nd arguement, c must integer.

we can't infer on b. b 'a.

since (a b c) can 1st argument of a, , (a b c) application on function a, homecoming type of a have same type of b 'a.

combine info above together, f: ('a -> int -> 'a) -> 'a -> int -> 'a.

if want larn formally, https://realworldocaml.org/ friend.

ocaml

Comments

Post a Comment

Popular posts from this blog

php - Android app custom user registration and login with cookie using facebook sdk -

php - Android app custom user registration and login with cookie using facebook sdk - i developing android application in users need register , log in using facebook. approximately, flow. open app first time, authenticate facebook, data, send info server create them business relationship in application, start session new business relationship in server, cookie perform later interactions. so far good. what need know wich info have send server, can able identify users when log in seccond time. because need start session in server , send cookie android app farther interactions. i'm using php server side language. i thinking getting getaccesstoken() in android facebook sdk, pass server on business relationship creation , storing in android app. but can't manage how login users on sec time utilize app. any suggestions ? in advance ! to uniquely identify user within app, should create request /me , user's id. guaranteed unique , remain con...
Read more

ruby on rails - Devise Logout Error in RoR -

ruby on rails - Devise Logout Error in RoR - while using devise in ror, encountering unusual error when trying log out url different root url. displays me : actioncontroller::invalidauthenticitytoken in devise::sessionscontroller#destroy" for illustration if rooting path after log in '/structure', , seek log out '/general' error, while logging out '/structure' fine. any help highly appreciated. ruby-on-rails ruby devise
Read more

c# - Create a Notification Object (Email or Page) At Run Time -- Dependency Injection or Factory -

c# - Create a Notification Object (Email or Page) At Run Time -- Dependency Injection or Factory - i have code emails me notification when happens. trying add together page , also remove dependency on email. for reference; have name of notification want send stored string in database. @ runtime have list of people , string representation of want receive. i thought dependency injection ninject, kernel bindings got big , seemed hacking together. then thought simple factory, activator.createinstance(email/page) inotifcation, don't know how handle differing constructor parameters (unless utilize common, complex property, employee, has info need). so far have this: public interface inotification { void sendmessage(); } public class email: inotification { private readonly string _toemailaddress; private string body { { homecoming "email"; } } private static string smtphost { ...
Read more