SML: Error: operator and operand don't agree [tycon mismatch] -

-

i'm trying write sml function has 2 argument, first int , second list of lists. objective insert first argument onto front of every list in second arguemnt. example, append_to_front(1,[[3,4],[6,8],[]]) should return [[1,3,4],[1,6,8],[1]].

i have code:

fun append_to_front(a:int, l:int list list) =     if l = []     []     else a::hd(l)::append_to_front(a, tl(l));

and error message: error: operator , operand don't agree [tycon mismatch]. why?

the cons operator :: has type 'a * 'a list -> 'a list, is, requires element on left , list on right. moreover, right-associative, i.e., a::b::c = a::(b::c).

in case, a has type int, b , c both have type int list. consequently, second use of :: isn't well-typed, because has list on both sides. use list concatenation @ in place instead.


Comments

Post a Comment

Popular posts from this blog

sequelize.js - Sequelize group by with association includes id -

-
so when requesting group sequelize follows: return models.workingcalendar .findall({ attributes: [ 'workingcalendar.periodid', 'workingcalendar.date', 'period.name' ], include: [ { model: models.period, attributes: [] } ], where: { getsudoid: currentgetsudo.id, unitplantid: unitplantid }, group: ['workingcalendar.periodid', 'workingcalendar.date', 'period.name'], }); sequelize run query: select [workingcalendar].[id], [workingcalendar].[periodid], [workingcalendar].[date], [period].[name] [workingcalendars] [workingcalendar] left outer join [periods] [period] on [wor...
Read more

delphi - Take screenshot in webcam using VFrames in Console Application -

-
i'm doing program take picture of webcam using delphi xe2 , vframes achieve this, problem have figured out, in graphic application works fine, when use unit in console application, returns me error saying first chance exception @ $76b6b727. exception class eaccessviolation message 'access violation @ address 004a271b in module 'console.exe'. read of address 00000260'. process console.exe (3676) my unit : unit webcam; interface uses sysutils, windows, vcl.imaging.jpeg, vcl.graphics, vsample, vframes, classes; type twebcam = class private procedure newvideoframeevent(sender: tobject; width, height: integer; dataptr: pointer); public constructor create; destructor destroy; override; procedure capture_webcam(take_name: string); end; var web_image: tvideoimage; name_screen: string; implementation constructor twebcam.create; begin inherited create; end; destructor twebcam.destroy; begin inherited destroy; end; ...
Read more

swift - Cannot convert return expression type to return type with closure? -

-
hello have func pagination messages. class func listmessages() -> (int, int, ([chatitemprotocol]) -> void) { let service = messageservice() func list(count: int, offset: int, comp:([chatitemprotocol]) -> void) { let params : [string : anyobject] = ["offset" : offset, "limit" : count] service.listmessagesforroom(params) { (messages) in comp(messages.map({$0})) } } return list } and have error : cannot convert return expression of type '(int, offset: int, comp: ([chatitemprotocol]) -> void) -> ()' return type '(int, int, ([chatitemprotocol]) -> void)' (aka '(int, int, array<chatitemprotocol> -> ())') listmessages(...) expects following tuple return type (int, int, ([chatitemprotocol]) -> void) the function list(...) , on other hand, uses above argument implicitly contain void (/empty tuple type () ) return type. i.e., full signature lis...
Read more