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

cocoa - Nesting arrays into NSDictionary object (Objective-C) -

-
i define tasks using nsdictionary, i'd save in plist file (i didn't have luck core data far), got stuck @ 2 points: -- when using initwithobjectsandkeys: can change data type number or boolean, using nsdate's numberwithint: , numberwithbool: methods, respectively. can't seem find method change type date though. couldn't find in documentation. -- second problem ran nested arrays. how can add them dictionary? i have uploaded picture here of trying achieve. thank in advance! do mean nsnumber 's +numberwithint: , +numberwithbool: methods, not nsdate ? it's nsnumber defines methods. to convert number date, depends on number is. if it's unix timestamp, [nsdate datewithtimeintervalsince1970:thetimestampinseconds] . as adding nsarray objects dictionary: [yourdictionary setobject:yourarray forkey:@"somekey"]; you'll have post code if need more question isn't clear.
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