技术笔记

第一天，我们到了临安，我跟一个默默弟弟一起下水玩。我下水玩，有一个哥哥，他抓了很多的🦐，他告诉我有一个地方有好多的🦐，我去抓了很多条🦐。我们玩了一会，默默弟弟他跟我要上楼了。上楼我们都休息了一会会。又过了一会，妹妹起床了。我们起床了以后，我和默默弟弟还有妹妹又一起下水玩了一会。我们坐车到了一个饭店，那边有一块很到很大的草坪，我们到那边去玩了一会。我们走了一个楼梯，下去看到一个石头滩。我跟默默和妹妹一起拿了一些小石头一起丢，默默的外公他丢了一个石头，可以在水面上蹦了好几次，一直蹦到对岸。然后我们就去吃饭了。吃完饭，默默弟弟直接上床睡觉了，我在下面玩了会，然后我就上床去睡觉了。

第二天早晨我们一起来，我跟默默弟弟一起走了一会路。我们看到了一个地方，然后妈妈叫我们回来吃早饭了。回来我们就去吃早饭了。吃完早饭以后，我们就去爬山了。我们从山脚开始爬，爬到半腰，我和默默弟弟排在最前 面，默默弟弟排在第一个，我排在第二个，其他人全都排在我们俩的后面。我们一直爬到快到山顶了，到山顶以后我们看到了一个小亭子，我们都休息了一会。我和默默走到了亭子旁边，看到了山上有一个水，我们就喝了一口，这个水是甜甜的，跟我们一起走到那边的人都喝了一口，妈妈说很好喝。喝完以后我们就去了旁边一个地方，有一个小溪。我跟默默弟弟在那边玩了一会。玩好以后我们又回到亭子休息了一会。我们就下山了。下山的路上我捡到了一些树枝，然后我们到🚗上。然后我们就去吃中午饭了。吃完午饭，默默弟弟睡觉了。我在补作业。补好作业，我在一楼玩了一会。玩好以后我想叫默默弟弟起床，然后我叫了一声默默弟弟，但是默默他还是没有起床。然后我就下到二楼看了一眼妹妹，看妹妹已经醒过来了。然后我就开始跟妹妹玩了。我跟妹妹玩了一会，默默他就起床了。就跟我一起玩了。他外公帮我和默默弟弟采了一些芦苇。然后我们玩了妈妈宝宝扫地的游戏。然后我们上山了。我们走到早晨去玩的地方。早晨我们没看到有个游乐场，然后我们就在里面玩。里面有跳跳床、翘翘板、转转盘，还有一个小乐园。然后我们就去吃饭了。吃完饭，我们看到了一个人他在跳舞。然后我就去跳了一会。然后我们就上床睡觉了。

第三天，我们早晨吃完早饭，然后我们玩了一会会就回家了。

这三天真是愉快的三天！不知道下次还会去哪里？真希望下一次再跟默默弟弟一起玩～我希望下次还能交到一个新朋友！

我跟一个比我大一岁的哥哥去磐安玩。我们第一天去的是十八涡。我们看到了乌石村。然后就去吃饭了。吃完饭，坐大巴就入住酒店了。

第二天，我去走了玻璃吊桥，也走了彩虹桥，还坐了飞船。走完了以后，比我大的哥哥掉了一颗彩虹糖，他就哭了。然后我们就去吃饭了。吃完饭，我们在旁边逛了一会，马上就要下雨了。我们走了很久才找到大巴车。我们回到酒店玩了一会，然后就去吃晚饭了。晚饭吃好我们在昨天晚上的地方走了一会。我们走到了一个地方，有很多的小人，我们照着他摆造型。

第三天，我们去了舞龙峡。我们坐了车子，到了以后下车，下车了以后又坐了船。船带我们到大瀑布。我们看到了五个大瀑布。其中有个瀑布超级的大，我站在旁边，有很多水都崩出来了，很凉快。看完了以后我们就去吃饭了。吃完饭以后还有两个景点，我们去舞龙园看了一个龙的动画片。看好龙的动画片以后，我们去拍了一些照片，到一个地方，去走了迷宫。然后我们再坐了小火车，还看了舞龙表演，我上去甩了龙，爷爷也上去甩了龙，爷爷还上去拿了旗帜。我们做大巴车又去了一个博物馆，去完博物馆我们就去吃晚饭了。

第四天早上，我们去了一个菜场，去完菜场以后，我们就去吃中饭。吃完中饭我们就回家了。

上上周我去朱家尖玩。我们10点出发，直到下午3点才到。我们到酒店了以后，换上游泳衣，去东沙的沙滩玩。我跟妹妹先玩了一会沙子，然后爸爸带我去游泳。我去玩大浪，我都吃了好几口咸的海水。 玩好了以后，我又到了妈妈那边和妹妹一起玩沙子。

回到家洗好澡以后，妈妈带我们去吃海鲜。我们吃了海鲜炒饭，虾，海螺，扇贝。吃完饭妈妈带我和妹妹去买了两桶水。等爸爸吃完了以后，我和妹妹已经很累了，我们就回到了酒店。我和妹妹刷好牙就一起睡觉了。

我们第二天吃好早饭以后，就去大清山玩。我们到了大清山很高的地方，看下去的风景很美。我们在上山的地方，还看到了一个沙滩，我们下去玩了一会会。在下山的路上，我在车上看到下面的海是五颜六色的。有墨绿色，深蓝色，淡蓝色，还有黄色。我们下山了以后，就去了另外一个酒店。到酒店了以后，过了一会，阿姨给我们吃了西瓜，吃完后，我们放下行李，去吃海鲜面条。回到酒店，我们上楼。我们的房间打开窗户就能看到沙滩。

下午妹妹起床，我们换好泳衣，到楼下小沙滩去玩堆沙堡。在玩沙之前，我最近想出了一个很好玩的游戏，叫小猫露露。我是小猫露露，妹妹是白兔糖糖，爸爸是乌龟皮皮。我想到一个好主意，我们用干沙和湿沙围了一个圆圈。👨说把这个当做一个城堡。然后我们又用干沙和湿沙一起搭了一个很坚固的城堡。那时候快涨潮了，👨突然想到了一个好主意，👨说我们可以挖一条护城河。我们在挖护城河的时候，我看到那边有人也造了一个沙堡，他们因为没有护城河，很快就被潮水淹没了。潮水越涨越高，再过10分钟就要到达我们的地方了，我说我们必须得挖快一点啦！果真过了10分钟之后，海水真的到达我们的目的地了。看起来护城河跟大浪像在打仗一样，感觉很多大浪快被护城河运走了。最后实在更多大浪过来了，在没有淹之前，妈妈帮我们拍了我们自己造的城堡，我们拿上工具，摆了一个造型。城堡被淹没后，我们回酒店了。

第三天早上，我们到一楼，吃了好吃的。我们的饭都是一样的，我感觉超级好吃，里面有鸡蛋、西瓜、花生和咸菜，还有泡饭、馒头。吃完早饭后，我们收拾好行李，去观音法界。我看到了千手观音。还看到了很多的观音的雕像。我还看了一会电影。然后我们就回家了。

到家了以后，爷爷烧了香喷喷的饭菜，我吃了很多。真是一个愉快的暑假开始的第一个周末！

端午节的上午爸爸带我和妹妹去篮球场玩。我跟妹妹玩，爸爸投篮。玩好之后爸爸带我们走回家。

我们吃西瓜，吃完中饭妹妹睡午觉。

下午在家玩树莓派。爸爸先教我灯闪烁，又教我了声音传感器。我们一起录了视频，我扮了小猫露露，可可在外面玩。

吃晚饭，睡觉。

起床，今天早晨起来，我带爷爷去昨天那个篮球场，我自己玩，爷爷投篮。爷爷骑自行车带我回到家。吃早饭。妹妹起床有点生病。过了一会妈妈说带我去看琴。吃饭。回来。妹妹已经睡着了。妹妹起来后我们一起玩小猫露露的游戏。我扮演小猫露露，妹妹扮演白兔糖糖。妈妈跟我讲，明天要和糖糖姐姐一起去森泊水上乐园。

我很开心，马上要到我的生日了。这个端午节是我最爱的端午节！

又过了一个星期，到周末了。这个周末，是一个清明节。 第一天，👩早晨在家给我们洗衣服，👨带我和妹妹下面玩一号🐹和二号🐹的游戏。 到了中午，👩跟我说好要去吃肯德基，吃完肯德基带我看电影。到了中大银泰的肯德基店里，妈妈在座位上点菜，肯德基那边有个小的玩具厂，然后我在里面玩的非常开心。我玩的滑滑梯，过了一会我走出了玩具厂，然后在座位上等了一会，我等得非常饿，洗完手后，👩让我在座位上再等一会，过了一会儿，👩把饮料还有炸鸡翅，薯条都拿了过来。吃完以后，👩给我们又点了一份蛋挞，吃完我们就去看电影了。看完了电影，妈妈告诉我去糖糖姐姐家玩。 到了糖糖姐姐家，糖糖姐姐带我去楼顶上看了兔子，还有乌龟，我还喂了兔子苹果和青菜。然后下了楼，我们一起玩了一个小房子。玩了很长的时间，妈妈说要吃饭了。吃完饭后，糖糖姐姐给我吃了一个棒棒糖。我们两个人又开始一起玩了。 第二天到了，吃完早饭，我们就去爬山了。我们爬城隍山。我跟糖糖姐姐一起爬山。到了山顶，我们又往前继续走，那边又很多的石头，就像一座山，我们一起爬上去又爬下来。👨带着妹妹也一起爬上爬下。 中午到了，我们去西湖银泰吃了莜莜面。吃完面，我们去外面打了会游戏，吃了个冰淇凌。然后我们就回家了。 下午我们再玩了一会一号🐹和二号🐹。 今天早晨，吃完早饭，妈妈去把我们上周的书还掉，爸爸带着我和妹妹又去玩了一号🐹和二号仓鼠。 下午我们在家里休息。 晚上我想再和爸爸去玩一号🐹和二号🐹😂。 这个清明节，虽然没有去成三亚，但是还是非常非常愉快，这个清明节简直是我最喜欢的一个清明节了。

过了一个周末，又到了该上学日子。十点钟，上完课老师准备带我们下去玩。到了下面我和cmh一起玩。我们拿着玩沙工具一起去找贝壳，找好贝壳我们要上去吃饭了。吃完饭，我们有个餐后活动，我还是和cmh一起玩自己带来的玩具，玩的非常开心。 中午老师说收玩具，我们要去睡觉了，午觉起床后，我们下楼要准备吃点心了。吃完点心老师说带我们下去再玩一会。玩好上来我们就马上要放学了。 放学后，我和cmh一起在外面学轮滑。cmh教我怎么练走路，我学的非常高兴，因为我已经学会了她教我的走路方法。 晚上吃完晚饭，妈妈带我和妹妹一起去滑🛴。 第二天，第三天，第四天，第五天，每天cmh都在教我不一样的滑轮方法，我很快就学会了这些方法，然后我就滑得飞快飞快😊。这个滑轮方法，是cmh教会了我，我很高兴她能教会我这么多的滑轮方法，我现在做什么事情都可以用🛼滑过去，然后完成那样事情。不知道下个礼拜二cmh还会教我什么事情可以用🛼做呢?

有一天晚上爷爷说：“明天你起床一定会白茫茫的一片。” 然后我就上床去睡觉了。 第二天我起床，发现爷爷说的一模一样。外面真的是一片白茫茫的。 然后我很快穿好衣服，从床上起来了。刷好牙，洗完脸，吃好饭，看完动画片就赶紧穿好外套，下楼去了。 下面实在太冷了，我跟奶奶准备开始堆雪人。第一步，拿一小块雪，然后把它滚起来，要滚出两个雪球，一个大一点，一个小一点，大的在下，小的在上，然后把它们合起来。 然后摘两片🍂，粘在小的球上，再找两根🌿，插在大球的两侧偏上的位置。再摘四片树叶作为钮扣。再拿个铁桶作为它的🎩，⛄就堆好啦！这次堆雪人真高兴呀！

过年

小孩小孩你别馋，过了腊八就是年。 腊八粥，喝几天，哩哩啦啦二十三。 二十三，糖瓜粘，二十四，扫房子。 二十五，冻豆腐，二十六，去买肉。 二十七，宰公鸡，二十八，把面发。 二十九，蒸馒头，三十晚上熬一宿。 初一初二满街走，满街走！ Happy new year!

第一天我们参加第一个项目喂🦒吃🥕。 喂完长颈鹿总台说可以入住了。 然后我们就坐了一辆车到了我们住的小木屋酒店。 到了酒店后，妈妈说妹妹睡觉，爸爸抱着妹妹去睡了。 然后妈妈就带着我出去，到了儿童乐园去玩滑滑梯。 晚上妈妈带我们去吃自助餐了。 第二天早晨，又吃了一次自助早餐，吃完自助餐后，妈妈说去喂小鸟了。 我们看见了好多动物，有孔雀，我们还喂了小浣熊和小鸟。 然后我们就回酒店去整理行李了。在去回酒店的时候，妈妈非得让我们回去整理行李，而我却要去儿童乐园玩，妈妈没办法只能带着我和妹妹一起去玩了。我自己在儿童乐园里面玩来玩去。然后爸爸带着妹妹玩了一个跷跷板。 我玩了好多次最长的滑梯。然后我们玩玩了最后一次滑滑梯，我还想在玩一次的时候，妈妈叫我们回去吧，然后我们就回到了酒店里面。 然后我们整理完行李，坐着车来到停车场。在回去的路上要一个小时才能到家，因为我们只能回家才能吃饭，我们又饿又累，我和妹妹就睡着了。睡觉起来我们离我们家很近了。妈妈在车上点了个外卖，然后我们就回到了家，妈妈点外卖的时候有点晕，她回到了家就吐了。 我们所有的外卖都到了，妈妈是一碗米线，而我和爸爸是老娘舅的饭。妹妹没有饭吃，钥了几勺我吃不完的饭，到了晚上，我们在外婆家吃了饭。我们还没有从外婆家回来的时候，爷爷奶奶已经回到了家里。爷爷回来的时候给我带了一只鸟笼还有一只机器狗。 第二天我放学回来，爷爷给我带了两只小鸟，我给她们娶了名字，蓝色的叫瑟瑟，绿色的叫小花朵。这次我的旅程非常愉快！上次我和爸爸妈妈去了龙之梦玩，也看到了许多好玩的小动物，下次我还要跟着爸爸妈妈去个更好玩，更有趣的地方！我的妹妹的名字叫可可，我叫俞果。

以前的冬天我和爷爷奶奶一起在小区玩堆雪人和打雪仗的游戏。整个冬天我跟爷爷奶奶每天早晨一起在小区里玩的很开心，很开心。 今天选择javascript作为我的学习编程语言，写了减一函数：

1
2

let 冰雪花=x=>x-1
冰雪花(22)

ref e ↦* ref v ↦ l l location ———–> v !e ↦ !l ↦ v e := e' ↦* l := v ↦()

to implement iarray int ref A

ref(int -> int) index: any int initialized 0 l ↦ v:A

new:unit->iarray

new ()↦*iarray access: iarray-> int-> int index element

a[i]

update: iarray->int-> int->unit index value

new: λ_:unit. ref(λi:int.0) iarray:ref(int->int)

access: λa:iarray. λi:int. !a i int->int

update

correct answer

update: λa:iarray.λi:int.λn:int

let x=e in e' = (λx:A.e') e