Benennung der `reinen` Funktion in Control.Applicative

Warum ist die Funktion zum Heben eines Werts in einen Funktor namens pure in Control.Applicative?Benennung der `reinen` Funktion in Control.Applicative

Quelle

2010-08-08 Jonathan Sterling

Ich stimme für das Schließen dieser Frage als Off-Topic ab, da es sich bei dieser Frage nicht um ein praktisches Programmierproblem handelt, wie in [help/on-topic] beschrieben. –

Denken Sie an pure als ein Adjektiv.

foo <*> pure 4 = foo auf einem 4reinen Wert angewendet.

(Was den genauen Grund warum es pure, wahrscheinlich nur McBride und Paterson genannt wissen.)

Quelle

2010-08-08 17:31:48 kennytm

Danke. Ich habe mich über das * warum * gewundert, aber wenn ich dich richtig verstehe, ist das ziemlich willkürlich. –

Es ist ein wenig wie fromInteger. Sein Argument ist immer ein reiner Wert oder eine Funktion, die in den Funktor gehoben wird. Vielleicht sollte es fromPure gewesen sein, aber Sie wissen, wie Haskell Leute lieben, Namen zu kürzen (z. B. und snd anstelle von first und second ...).

Quelle

2010-08-09 14:13:28

Beachten Sie, dass 'first' und' second' auch Funktionen in 'Control.Arrow' sind. Ich bin mir ziemlich sicher, dass sie später kamen. –

Hmm. Ich dachte, 'fst' und' snd' kämen von ML, aber das beruht nur auf der Tatsache, dass ML älter ist als Haskell. Eine schnelle Suche offenbart ein Papier ["ML unter Unix auf der VAX"] (http://lucacardelli.name/Papers/MLUnix.pdf), das aus der Mitte der 80er Jahre zu sein scheint (es zitiert keine Referenzen neuer als 1983, und erklärt, wie man ML von einem Band installiert). Das Papier verwendet 'fst' und' snd', also sieht es so aus, als wäre meine Annahme nicht zu weit weg. –

'fst' und' snd' sind in Haskell gewesen, seit ich anfing, die Sprache zu benutzen (1992) und Hughes Papiereinführungspfeile im Jahr 2000 herauskamen. Ich würde die Pfeilfunktionen 'onFirst' und' onSecond' nennen, denke ich. – yatima2975

Benennung der `reinen` Funktion in Control.Applicative

Antwort

Verwandte Themen