Featured post

c# - Usage of Server Side Controls in MVC Frame work -

-
i using asp.net 4.0 , mvc 2.0 web application. project requiremrnt have use server side control in application not possibl in noraml case. ideally want use adrotator control , datalist control. i saw few samples , references in codepleax mvc controllib howwver found less useful. can tell how utilize theese controls in asp.net application along mvc. note: please provide functionalities related adrotator , datalist controls not equivalent functionalities thanks in advace. mvc pages not use normal .net solution makes use of normal .net components impossible. a normal .net page use event driven solution call different methods service side mvc use actions , view completly different way handle things. also, mvc not use viewstate normal .net controlls require. found article discussing mixing of normal .net , mvc.
3 comments

haskell - Understanding a Complicated Type Signature -

-

i need understanding type signature thrist package. 

import prelude hiding ((.), id) import control.category import data.monoid import control.arrow import control.monad  foldlthirst :: (forall j k . (a +> j) -> (j ~> k) -> (a +> k))                  -> (a +> b)                 -> thrist (~>) b c                  -> (a +> c)

i confused several things.

first +> , ~> symbols? documented , called?

but confusion stop there. realize quantification describing threading of types of thrist, not sure if describing relationship holds first argument, or whole function, or knows...

in othercases have seen existential quantification, phrase ends period, here ends ->, significant?

first +> , ~> symbols? documented , called?

they're infix identifiers, if used them name of function. same token, being equivalent lowercase identifiers (in contrast operators beginning : equivalent upper-case alphanumeric identifiers), in type signature they're type variables. in other words, it's equivalent this:

(forall j k . (f j) -> (g j k) -> (f k))    -> etc . . .

but confusion stop there. realize quantification describing threading of types of thrist, not sure if describing relationship holds first argument, or whole function, or knows...

explicit quantifiers scoped within enclosing parentheses, or end of expression. in case, describe first argument, because type variables introduced in scope argument.

in case, means function given first argument must polymorphic in types. example, function type signature starts (a -> a) -> ... given not first argument, unifying a bool. in contrast, if type signature started (forall a. -> a) -> ... require function works possible types a, such function being id.


Comments

Post a Comment

Popular posts from this blog

c# - Usage of Server Side Controls in MVC Frame work -

-
i using asp.net 4.0 , mvc 2.0 web application. project requiremrnt have use server side control in application not possibl in noraml case. ideally want use adrotator control , datalist control. i saw few samples , references in codepleax mvc controllib howwver found less useful. can tell how utilize theese controls in asp.net application along mvc. note: please provide functionalities related adrotator , datalist controls not equivalent functionalities thanks in advace. mvc pages not use normal .net solution makes use of normal .net components impossible. a normal .net page use event driven solution call different methods service side mvc use actions , view completly different way handle things. also, mvc not use viewstate normal .net controlls require. found article discussing mixing of normal .net , mvc.
Read more

ios - Very simple iPhone App crashes on UILabel settext -

-
i have simple application. have button , label in ib. have ibaction onclick calls settext on label. there's outlet label. connected in ib. crashes app first time in simulator. when launch again, sets text. crashes again next time. crashes on actual device. should simple, i'm not sure i'm doing wrong. thanks. in .h file : #import <uikit/uikit.h> @interface untitledviewcontroller : uiviewcontroller { iboutlet uilabel *label; iboutlet uibutton *button; } @property (nonatomic, retain) uilabel *label; -(ibaction) onclick1: (id) sender; @end and in .m: - (ibaction) onclick1: (id) sender { //[label settext:@"hello world!"]; label.text = @"hello world!"; //[button settitle:@"clicked" forstate:uicontrolstatenormal]; } sorry, i'm new site. how crash log , stack? thanks. edit : while answer technically correct, doesn't answer question @ :( sorry < warning - guess > if you're...
Read more

mysql - Why there can be only one TIMESTAMP column with CURRENT_TIMESTAMP in DEFAULT clause? -

-
why there can 1 timestamp column current_timestamp in default or on update clause? create table `foo` ( `productid` int(10) unsigned not null, `addeddate` timestamp not null default current_timestamp, `updateddate` timestamp not null default current_timestamp on update current_timestamp ) engine=innodb; the error results: error code : 1293 incorrect table definition; there can 1 timestamp column current_timestamp in default or on update clause this limitation, due historical, code legacy reasons, has been lifted in recent versions of mysql: changes in mysql 5.6.5 (2012-04-10, milestone 8) previously, @ 1 timestamp column per table automatically initialized or updated current date , time. restriction has been lifted. timestamp column definition can have combination of default current_timestamp , on update current_timestamp clauses. in addition, these clauses can used datetime column definitions. more information, see automati...
Read more