Denotational semantics - Wikipedia
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics
The Log of the No22 - Concatenative
_ [言語] Concatenative LispãŒãƒ–ラックホールã®ã‚ˆã†ãªå˜åœ¨ã ã¨è¨€ã‚れるã“ã¨ã®åŽŸå› ã®ä¸€ã¤ã«ã€ç¾ä»£çš„ãªãƒ—ãƒã‚°ãƒ©ãƒ 言語ã®å¤šããŒlambda calculusã‚’ç†è«–çš„ãªæ ¸ã«ã—ã¦ã„ã‚‹ã“ã¨ãŒæŒ™ã’られるã®ã§ã¯ãªã„ã‹ã—らん。 ãã—ã¦lambda calculusã¸ã®ãƒžãƒƒãƒ”ングã§ã®ç†è§£ãŒå›°é›£ãªè¨€èªžã¯ã€ä¸€èˆ¬ã«ã€æŠ½è±¡åº¦ã®ä½Žã„原始的ãªè¨€èªžã§ã‚ã‚‹ã¨ç†è§£ã•ã‚Œã¦ããŸé¢ãŒå¦ã‚ãªã„ã®ã§ã¯ãªã‹ã‚ã†ã‹ã€‚ 今ã€lambda calculusベースã®è¨€èªžã‚’ä»®ã«ã€Œãƒ©ãƒ ダã®åã€ã¨å‘¼ã¶ã¨ã™ã‚‹ã€‚ 「ラムダã®åã€ã¯æ•°ãŒå¤šãã€ãã—ã¦ã¾ãŸå¤šãã®è¨€èªžãŒã“れら「ラムダã®åã€ã®çœ·å±žã¨ãªã£ã¦ã„る。 ã¨ã“ã‚ã§ã€ã‚ã‚‹å°‘æ•°ã®è¨€èªžã¯ã€Œãƒ©ãƒ ダã®åã€ãŸã¡ã¨ã¯ç•°ãªã£ãŸç”Ÿã„ç«‹ã¡ã‚’æŒã£ã¦ã„ãŸã€‚ ã“ã®ã‚ˆã†ãªè¨€èªžã«ã¯APLã‚„Jã€Backusã®FPã‚„ãã®ä¸€æ—ãªã©ãŒã‚る。 彼らã¯combinatory logicã‚ã‚‹ã„ã¯FP systemã¨å‘¼ã°ã‚Œ
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}