functional programming - Is it possible to get the infinite kind error in Haskell 98? -


i implementing kind system new functional programming language , writing function unify 2 kinds. there 4 cases 2 consider:

+---------+---------+-------------------------------------------------------+ |   k1    |   k2    |                        action                         | +=========+=========+=======================================================+ |   var   |   var   |                  k1 := k2 ^ k2 := k1                  | +---------+---------+-------------------------------------------------------+ |   var   | non var |             if (!occurs(k1, k2)) k1 := k2             | +---------+---------+-------------------------------------------------------+ | non var |   var   |             if (!occurs(k2, k1)) k2 := k1             | +---------+---------+-------------------------------------------------------+ | non var | non var | ensure same name , arity, , unify respective args | +---------+---------+-------------------------------------------------------+
  1. when both k1 , k2 variables instantiated each other.
  2. when k1 variable instantiated k2 iff k1 doesn't occur in k2.
  3. when k2 variable instantiated k1 iff k2 doesn't occur in k1.
  4. otherwise check whether k1 , k2 have same name , arity, , unify respective arguments.

for second , third cases need implement occurs check don't stuck in infinite loop. however, doubt programmer able construct infinite kind @ all.

in haskell, it's easy construct infinite type:

let f x = f

however, haven't been able construct infinite kind no matter how hard tried. note, didn't make use of language extensions.

the reason asking because if it's not possible construct infinite kind @ won't bother implementing occurs check kinds in kind system.

data f f = f (f f)

on ghc 7.10.1, message:

kind.hs:1:17:     kind occurs check     first argument of ‘f’ should have kind ‘k0’,       ‘f’ has kind ‘(k0 -> k1) -> *’     in type ‘f f’     in definition of data constructor ‘f’     in data declaration ‘f’

the message doesn't it's infinite kind, that's when occurs check fails.


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