Type Inference in Haskell v. Scala -


given following code:

prelude> let f x = if (x) 55 else "foo"

why compiler num [char]?

<interactive>:2:23:     no instance (num [char]) arising literal `55'     in expression: 55     in expression: if (x) 55 else "foo"     in equation `f': f x = if (x) 55 else "foo"

however, in scala, find least-upper bound of 55 , "foo", any:

scala> def f(x: boolean) = if (x) 55 else "foo" f: (x: boolean)any  import scala.reflect.runtime.universe._  scala> lub( list[type]( typeof[int], typeof[string] ) ) res4: reflect.runtime.universe.type =

what's key difference between haskell's , scala's type inference?

you can add instance num [char] in haskell, if that's want:

{-# language flexibleinstances #-}  import data.function (on) import data.composition ((.:))  -- cabal install composition  helper :: (integer -> integer -> integer) -> (string -> string -> string) helper op = show .: on op read  cast :: (integer -> integer) -> (string -> string) cast f = show . f . read  instance num [char]     frominteger = show     (+) = helper (+)     (-) = helper (-)     (*) = helper (*)     abs = cast abs     signum = cast signum     negate = cast negate

where 1 possible implementation. make example compile:

> let f x = if x 55 else "foo" > f true "55" > f false "foo"

haskell has polymorphic numeric literals, 55 :: num => a, , since both branches of if must return same type, forcing a ~ [char] having else branch return "foo". leads confusing error message, can powerful feature. means numeric literal can act type need be, , it's same concept behind overloadedstrings extension, allowing have polymorphic string literals instead of using pack everywhere need text or bytestring.

scala uses subtyping , has generic type values. allows relax type safety on function , return literally anything. haskell not have subtyping @ all, way unify types (similar finding lub) use fact numeric literals polymorphic under num constraint, in order compile "foo" has implement num. actually, if enabled overloadedstrings f compile fine type

f :: (data.string.isstring a, num a) => bool ->

there aren't types default meet both constraints, ghc happily accept valid function.


Comments

Post a Comment

Popular posts from this blog

php - failed to open stream: HTTP request failed! HTTP/1.0 400 Bad Request -

this code i'm using find latitude , longitude of place: function coords($address){ echo $url="http://maps.googleapis.com/maps/api/geocode/json?address=".$address; $json = file_get_contents(urlencode($url)); $data = json_decode($json, true); print_r($data['results'][0]['geometry']['location']['lat']); print_r($data['results'][0]['geometry']['location']['lng']); } however returns warning: failed open stream: http request failed! http/1.0 400 bad request if use above code in simple procedure works fine not in function. note: have tried curl_init()... method produced same result? instead of encoding whole url encode address part. following code work fine $add='jamshoro phase 2'; $url="http://maps.googleapis.com/maps/api/geocode/json?address=".urlencode($add); $json = file_get_contents($url); $data = json_decode($json, true); print_r($data['r...
Read more

command line - Use qwinsta in PowerShell ISE -

i trying use qwinsta , rwinsta powershell code. when try run error "the term 'qwinsta' not recognized name of cmdlet, function, script file, or operable program." need able remotely on several machines without having add .dll's or modules other machines. tried terminal services powershell module, need able put on remote machines , not able that. within powershell ise how run qwinsta? not looking parse information gather it. following code have tried (which had found on site also): function get-tssessions { param( $computername = "localhost" ) qwinsta /server:$computername | #parse output foreach-object { $_.trim() -replace "\s+","," } | #convert objects convertfrom-csv } get-tssessions -computername "localhost" | ft -autosize best have running powershell ise (x86). when run command qwinsta there same error you. of course assuming have 64-bit os. th...
Read more

java - Incorrect order of records in M-M relationship in hibernate -

Image
i have 4 records in bridge table in mysql database. using @manytomany in hibernate, accurate order of employees incorrect incorrect of projects. following required material figure out doing mistake. this source. @entity @table(name="project") public class projectbean { @id @generatedvalue @column(name="project_id") private int projectid; @column(name="title") private string projecttitle; @manytomany(mappedby="projects") private collection<employeebean> employees; public projectbean() { employees = new arraylist<employeebean>(); } //getters & setters } @entity @table(name="employee") public class employeebean { @id @generatedvalue @column(name="employee_id") private int employee_id; @column(name="first_name") private string ...
Read more