ArkTS与TS的关系简述

ArkTS是HarmonyOS主力应用开发语言。它在TypeScript(简称TS)的基础上，匹配ArkUl框架，拓展了声明式UI、状态管理、并发任务等能力，让开发者以更简洁、更自然的方式开发跨端应用。

基于他们的关系，所以要想掌握ArkTS语言，必须要先掌握TypeScript（TS）语言的。所以接下来我们先简单了解掌握TS语言。

TypeScript（TS）简述

TypeScript是由微软开发的自由和开源的编程语言，是Javascript的一个超集，可以编译出纯净、简洁的avascript代码，并且可以运行在任何浏览器上、Node.js环境中和任何支持ECMAScript3(或更高版本)的JavaScript引l擎中。
它的优势在于:它有更多的规则和类型限制，代码具有更高的预测性、可控性，易于维护和调试，对模块、命名空间和面向对象的支持，更容易组织代码开发大型复杂程序。
另外，TypeScript的编译步骤可以捕获运行之前的错误。编译阶段就会进行类型检查，debug优势远远大于JavaScript，对于开发来说非常友好。

更重要的一点，TS是面向对象编程语言，有封装，继承，多态的特征。

基础类型

1，let

使用let关键字来代替大家所熟悉的JavaScript关键字var。

2，const

const是对let的一个增强，它能阻止对一个变量再次赋值。

3，布尔类型

最基本的数据类型就是简单的true/false值。

let isBool:boolean = false;

4，数字number

TypeScript里的所有数字都是浮点数。 这些浮点数的类型是number。 除了支持十进制和十六进制字面量，TypeScript还支持ECMAScript 2015中引入的二进制和八进制。

let decLiteral: number = 6;
let hexLiteral: number = 0xf00d;
let binaryLiteral: number = 0b1010;
let octalLiteral: number = 0o744;

5，字符串string

表示文本数据类型，使用双引号（"）或单引号（'）表示字符串。

let name: string = `Gene`;
let age: number = 37;
let sentence: string = "Hello, my name is " + name + ".\n\n" +
    "I'll be " + (age + 1) + " years old next month.";

6，数组Array

第一种，可以在元素类型后面接上[]，表示由此类型元素组成的一个数组：

let list: number[] = [1, 2, 3];

第二种方式是使用数组泛型，Array<元素类型>：

let list: Array<number> = [1, 2, 3];

7，元组 Tuple

元组类型允许表示一个已知元素数量和类型的数组，各元素的类型不必相同。 比如，你可以定义一对值分别为string和number类型的元组。

// Declare a tuple type
let x: [string, number];
// Initialize it
x = ['hello', 10]; // OK
// Initialize it incorrectly
x = [10, 'hello']; // Error

当访问一个已知索引的元素，会得到正确的类型：

console.log(x[0].substr(1)); // OK
console.log(x[1].substr(1)); // Error, 'number' does not have 'substr'

当访问一个越界的元素，会使用联合类型替代：

x[3] = 'world'; // OK, 字符串可以赋值给(string | number)类型

console.log(x[5].toString()); // OK, 'string' 和 'number' 都有 toString

x[6] = true; // Error, 布尔不是(string | number)类型

8，枚举 enum

enum Color {
Red, 
Green,
Blue
}
let c: Color = Color.Green;

9，任意值any

有时候，我们会想要为那些在编程阶段还不清楚类型的变量指定一个类型。 这些值可能来自于动态的内容，比如来自用户输入或第三方代码库。 这种情况下，我们不希望类型检查器对这些值进行检查而是直接让它们通过编译阶段的检查。 那么我们可以使用any类型来标记这些变量：

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // okay, definitely a boolean

let list: any[] = [1, true, "free"];

list[1] = 100;

function forceCast<T>(input: any): T {
  return input;
}

interface InternalResponse<T = any> {
  result: T;
  responseCode: number;
  header: any;
}

10，空值

void类型像是与any类型相反，它表示没有任何类型。 当一个函数没有返回值时，你通常会见到其返回值类型是void：

function warnUser(): void {
    alert("This is my warning message");
}

11，Null 和 Undefined

undefined和null两者各自有自己的类型分别叫做undefined和null。 和void相似，它们的本身的类型用处不是很大：
默认情况下null和undefined是所有类型的子类型。 就是说你可以把null和undefined赋值给number类型的变量。

然而，当你指定了–strictNullChecks标记，null和undefined只能赋值给void和它们各自。 这能避免很多常见的问题。 也许在某处你想传入一个string或null或undefined，你可以使用联合类型string | null | undefined。

// Not much else we can assign to these variables!
let u: undefined = undefined;
let n: null = null;

12，Never

never类型表示的是那些永不存在的值的类型。 例如，never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型； 变量也可能是never类型，当它们被永不为真的类型保护所约束时。

never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使any也不可以赋值给never。

// 返回never的函数必须存在无法达到的终点
function error(message: string): never {
    throw new Error(message);
}

// 推断的返回值类型为never
function fail() {
    return error("Something failed");
}

// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
    while (true) {
    }
}

13，类型断言 as

实体具有比它现有类型更确切的类型。

let someValue: any = "this is a string";
let strLength: number = (<string>someValue).length;
let strLength: number = (someValue as string).length;

暂且先了解这些基本类型，后续会介绍重要的使用方法。
部分资料来自于TypeScript中文手册