Programming Language Concepts Reading Notes

Syntax and Semantics

What does this (well-formed) program mean, how does it behave—what happens when we execute it?

One may distinguish two kinds of syntax

By concrete syntax we mean the representation of a program as a text.
By abstract syntax we mean the representation of a programs as a tree or by an object structure.

One may distinguish two kinds of semantics

Dynamic semantics concerns the meaning or effect of a program at run-time.
Static semantics roughly concerns the compile-time correctness of the program (are variables declared, is the program well-typed, and so on)

Static semantics can be checked without executing the program, and may be enforced by closedness checks (type checks, type inference, and more…).

In the conditional expression if e1 then e2 else e3, the interpreter might start by testing whether expressions e2 and e3 are syntactically identical, in which case there is no need to evaluate e1, only e2 (or e3). Although possible, this shortcut is rarely useful.

今天在菜园子里看到了野生的灯笼草，都结果了：

灯笼果别名为小果酸浆、秘鲁苦蘵、打头泡、灯笼草等，茄科酸浆属多年生草本植物。
灯笼果茎直立，叶较厚，阔卵形或心脏形，两面密生柔毛；花单独腋生，花萼阔钟状，花冠阔钟状，黄色而喉部有紫色斑纹，花丝及花药蓝紫色，花药长约3毫米。果萼薄纸质，淡绿色或淡黄色，浆果成熟时黄色，种子黄色，圆盘状，夏季开花结果。生于田间、路旁、村边。我国南北各地均有分市。

不要与醋栗混淆

醋栗长这样：

性味

《陆川本草》：”甘淡，微寒。”
+
《南宁市药物志》：”苦，寒，微甘。”
+

功能主治

+
清热，行气，止痛，消肿。治感冒，痄腮，喉痛，咳嗽，腹胀，疝气，天疱疮。
+

《陆川本草》：”行气，消胀，利尿。治腹胀，睾丸炎，疝气。”
+
《南宁市药物志》：”清热杀虫，止痛消肿。治热眼，喉痛，咳嗽；外敷毒疮，并熏洗阴囊肿大。”
+
《生草药手册》：”内服治伤寒或小肠疝气。外洗治天疱疮。”
+
《中国药植图鉴》：”功同酸浆。”
+
广州空军《常用中草药手册》：”治感冒发热，腮腺炎，支气管炎，疱疹，疖疮，疝气痛。”
+

用法用量

内服：煎汤，3 ~ 5钱。
外用：捣敷或煎水洗。

引用

《本草纲目》旧版草部第十六卷，草之五：燕京野果名红姑娘，外垂降囊，中含赤子如珠，酸甘可食盈盈绕砌，与翠草同芳，亦自可爱。捣计服治黄病（即黄胆性肝炎）多效，治上气咳嗽风热，明目，付小儿内辟等多种疾病。东北地区种植较广泛，其他地区种植较少，仍属稀特蔬菜。
+
《别录》：“酸浆，生荆、楚川泽及人家田园中。五月采，阴干。”陶弘景：“酸浆，处处人家多有。叶亦可食。子作房，房中有子，如梅李大，皆黄赤色。”《唐本草》：“灯笼草，所在有之。八月采。枝干高三、四尺，有花，红色，状若灯笼，内有子，红色可爱。根、茎、花、叶并入药用。”
+
《梦溪笔谈》：“苦耽，即本草酸浆也。河西番界中酸浆有盈丈者。”《本草衍义》：“酸浆，今天下皆有之。苗如天茄子，开小白花，结青壳，熟则深红，壳中子大如樱，亦红色，樱中复有细子，如落苏之子，食之有青草气。此即苦耽也。”
+

+ +

Introduction

Syntax and Semantics

性味

功能主治

用法用量

引用