PureScript 语言 对象与 JS 对象的互操作 Record ? JS Object

阿木博主一句话概括：PureScript 与 JavaScript 对象互操作：Record 与 JS Object 的桥梁

阿木博主为你简单介绍：
PureScript 是一种函数式编程语言，它旨在提供一种简洁、类型安全的编程体验。JavaScript 作为一种广泛使用的动态语言，在浏览器和服务器端都有广泛的应用。在开发过程中，有时需要将 PureScript 中的数据类型与 JavaScript 对象进行互操作。本文将探讨如何使用代码编辑模型在 PureScript 中创建与 JavaScript 对象互操作的 Record 类型，并展示如何进行类型安全的转换。

一、
在 PureScript 中，Record 类型是一种用于表示键值对的数据结构，类似于 JavaScript 中的对象。由于两种语言的语法和类型系统的差异，直接在 PureScript 中操作 JavaScript 对象可能会遇到一些挑战。本文将介绍如何使用代码编辑模型来创建一个 Record 类型，该类型可以与 JavaScript 对象进行互操作。

二、创建 Record 类型
在 PureScript 中，我们可以通过定义一个类型别名来创建一个与 JavaScript 对象互操作的 Record 类型。以下是一个简单的例子：

purescript
-- 定义一个与 JavaScript 对象互操作的 Record 类型
type alias JsObjectRecord =
{ key1 :: String
, key2 :: Number
, key3 :: Boolean
}

-- 创建一个实例
jsObjectRecord :: JsObjectRecord
jsObjectRecord =
{ key1: "value1"
, key2: 123
, key3: true
}


在这个例子中，我们定义了一个名为 `JsObjectRecord` 的类型别名，它包含三个键值对，分别对应 JavaScript 对象的属性。然后，我们创建了一个名为 `jsObjectRecord` 的实例，它是一个符合 `JsObjectRecord` 类型的对象。

三、类型安全的转换
要将 JavaScript 对象转换为 PureScript 的 Record 类型，我们需要确保转换过程是类型安全的。以下是一个示例，展示如何使用 `fromJS` 函数将 JavaScript 对象转换为 `JsObjectRecord` 类型：

```purescript
-- 导入 fromJS 函数
import Data.Newtype (class Newtype, over, unwrap)
import Data.Generic.Rep (class Generic, Constructors)
import Data.Generic.Rep.Show (genericShow)
import Data.Generic.Rep.Eq (genericEq)
import Data.Generic.Rep.Read (class ReadRep, readRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep)
import Data.Generic.Rep.Show (class GenericShow)
import Data.Generic.Rep.Eq (class GenericEq)
import Data.Generic.Rep.Read (class ReadRep