Micro:Bit TypeScript randint() 函数记录在哪里?

Where is the Micro:Bit TypeScript randint() Function Documented?

我正在尝试*教 class 高中生在 Micro:Bit 上从块编码过渡到 JavaScript(真正的静态 TypeScript)。

pickrandom 块转换为对 randint() 的调用我本以为会调用 Math.randint() 但显然 randint() 是 TypeScript 中的全局函数。

孩子们要问的第一个问题是“我在哪里可以找到其他全局函数?”而且,在 Google 将近两个小时后,我找不到该问题的答案。

那么,randint() 记录在哪里,其他此类函数的列表在哪里?

* 背景:我是一名退休的大学教师,在大流行期间“自愿”提供帮助。

这不是真正的 JavaScript / Typescript 问题。这些语言中没有 randint() 函数。它是 micro:bit 具体的。要查看所有可用命令,请参阅 https://makecode.microbit.org/reference

处的文档

可能值得一读 documentation from Lancaster University。将高级语言压缩成在微小 micro-controller 上运行的东西意味着连接到设备抽象层 (DAL),因此像 randint 这样的东西是 micro:bit 特定的。

因此,对于不同的语言,它们看起来非常相似: