Type Signatures in Haskell -



Type Signatures in Haskell -

my question regarding type signatures.

the next code complies:

data vector = vector a deriving (show) vmult :: (num a) => vector -> -> vector (vector j k) `vmult` m = vector (i*m) (j*m) (k*m)

however, not understand why substituting above type signature (on line number 2) next does not work:

vmult :: (num a) => vector -> num -> vector

my understanding since m of type num (eg. number 8), , since i, j, k num well, there should no problems computing vector (i*m) (j*m) (k*m).

kindly right understanding.

num a isn't type @ all

num type class, if num a means a number type, then

vmult :: (num a) => vector -> -> vector

means "as long a number type, vmult takes vector of as , single a , returns vector of as."

that means vmult can work like vmult :: vector int -> int -> vector int or vmult :: vector double -> double -> vector double. notice each type replacing as in original single number type.

num on it's own doesn't create sense

num on own mean "is number type", if function had type signature

vmult :: (num a) => vector -> num -> vector

it read "as long a number type, vmult takes vector of as , number type , returns vector of as." it's ungrammatical in english language same it's error in haskell.

it's saying "give me butter , has sharp edge" instead of "give me butter , knife". type signature worked saying "find can spread (call k), , give me butter , k."

facts aren't types

you can't utilize num a instead of a vector -> num -> vector a because can't set assertion need noun: "give me key ring , keys made of metal can give new key ring".

haskell

Comments

Post a Comment

Popular posts from this blog

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

model view controller - MVC Rails Planning -

model view controller - MVC Rails Planning - i'm starting rails , i'm building app stores films info, user can watch film , give grade on web application. i have coded cinema model, controller , views. now, have 2 questions: should need create model , controller grading? in case, should create or should wait , create first users model , controller? yes, on model , controller grades. that'd feasible way maintain track of who's graded what. it's create first, i'd start users, since grades depend on both films , users. ruby-on-rails model-view-controller
Read more