变形金刚的英文介绍

Posted 2023-05-16

参考技术A (the Transformers) is from the United States since 1984 Hasbro (Hasbro) company with Japan TAKARA (Centerカラ) company to develop a series of toys and launched a series of animation / film collectively. But because of the animation of adults do not know much about the misunderstanding, to some extent, be extended to a broad range of (to deformation) robot toys and cartoons.

[Edit this paragraph] list】 【animation works
Note: There are number of words as a result of term limits would like to know specific information on each work, you can click on the relevant terms (terms of whom would be bold display) separate inspection.
As follows, divided into the U.S. version and the Japanese version. Attached to a set number, the Japanese version comes with broadcast date.
First of all, sweet version of things lined up in sequence. The first line is the original English text of the second line is to Chinese.
1.TRANSFORMERS (SEASON 1) 01-16
Transformers (first quarter)
2.TRANSFORMERS (SEASON 2) 17-65
Transformers (second quarter)
3.TRANSFORMERS THE MOVIE
Transformers movie
4.TRANSFORMERS (SEASON 3) 66-95
Transformers (third quarter)
5.TRANSFORMERS (SEASON 4) 96-98
Transformers (fourth quarter) [Note: that is, REBIRTH / rebirth]
6.THE TRANSFORMERS GENERATION 2
Transformers the second generation [Note: that is, G2 of several unknown]
7.TRANSFORMERS BEAST WARS (FIRST SEASON) 01-26
Transformers Beast War (first quarter)
Super Warrior
8.TRANSFORMERS BEAST WARS (SECOND SEASON) 27-39
Transformers Beast War (second quarter)
Super Warrior
9.TRANSFORMERS BEAST WARS (THIRD SEASON) 40-52
Transformers Beast War (third quarter)
Super Warrior
10.TRANSFORMERS BEAST MACHINES (SEASON 1) 01-13
Transformers Beast Machine (first quarter)
Xia beast
11.TRANSFORMERS BEAST MACHINES (SEASON 2) 14-26
Transformers Beast Machine (second quarter)
Xia beast
12.TRANSFORMERS ROBOTS IN DISGUISE 01-39
Transformers robot camouflage
Transformers Autobots War [Note: that is, the corresponding day RID version CAR ROBOT]
13.TRANSFORMERS ARMADA 01-52
Transformers fleet of Thunder [Note: Japanese version of the corresponding MICRON legend]
14.TRANSFORMERS ENERGON 01-51
Transformers energy body
Transformers energy battle [Note: Japanese version of the corresponding SUPER LINK]
15.TRANSFORMERS CYBERTRON ROBOTS IN DISGUISE 01-51
Transformers robot cyber camouflage Troms�0�3
Transformers Legends of塞博特恩[Note: Japanese version counterpart GALAXY FORCE]
16.TRANSFORMERS Animated
(Being broadcast in) 参考技术B long time ago, far away on the planet of Cybertron, an alien civil war was being waged between the two races of robots the noble hero Autobots led by the wise Optimus Prime and the devious evil Decepticons commanded by the dreaded Megatron for control over the Allspark, a mystical talisman that would grant unlimited power to whoever possessed it. When the Autobots managed to smuggle the Allspark off the planet, but Megatron blasted off in search of it. He eventually tracked it to the planet of Earth circa 1850, but his reckless desire for power sent him right into the Arctic Ocean, and the sheer cold forced him into a paralyzed state. His body was later found by Captain Archibald Witwicky, and before going into a comatose state Megatron used the last of his energy to engrave a map, showing the location of the Allspark, into the Captain‘s glasses, and send a transmission to Cybertron

理解 Monad 变形金刚的困难

【中文标题】理解 Monad 变形金刚的困难

【英文标题】：Difficulties understanding Monad Transformers

【发布时间】：2021-11-02 21:47:05

【问题描述】：

我希望获得一些有助于理解 Monad Transformers 的信息，以及与此相关的使用 do 表示法会发生什么。我试图理解的示例如下：

data ProtectedData a = ProtectedData String a

accessData :: String -> ProtectedData a -> Maybe a
accessData s (ProtectedData pass v) =
    if s == pass then Just v else Nothing


type Protected s a = MaybeT (Reader (ProtectedData s)) a

-- untangles the monad construction
run :: ProtectedData s -> Protected s a -> Maybe a
run ps psa = runReader (runMaybeT psa) ps

access :: String -> Protected a a
access pass = do
                -- ask :: ReaderT (ProtectedData a) Identity (ProtectedData a) 
                -- lift :: ... -> MaybeT (ReaderT (ProtectedData a) Identity) (ProtectedData a)  
                pd <- lift ask
                -- as i understand it: ask returns the value inside the thing.
                -- the left arrow actually applies the monad
                let v = accessData pass pd
                -- return :: Maybe a -> Reader (ProtectedData a) (Maybe a)
                MaybeT $ return v

据我了解，Protected 类型描述了一些 受保护 数据，这些数据存储在共享环境 (Reader) 中，属于 Maybe (MaybeT) 类型。

我在使用类型变量 s 和 a 时遇到问题：

s 是否描述受保护数据的字符串（密码），a 受保护数据的类型？ s 是否描述了受保护数据的类型，如果是，是什么 a描述？

在函数中运行：

run :: ProtectedData s -> Protected s a -> Maybe a
run ps psa = runReader (runMaybeT psa) ps

据我了解，Protected 内部的Reader 在ProtectedData 上运行，以返回值。

这里只剩下函数access：

access :: String -> Protected a a
access pass = do  
                pd <- lift ask
                let v = accessData pass pd
                MaybeT $ return v

哪个是最让我头疼的。首先，我在掌握效果和结果方面存在问题。

这个函数是用来向Reader注入密码和数据的吗？ 是否用于访问数据，如果输入错误密码失败？

其次，我无法理解第一行

pd <- lift ask

我了解，ask 用于访问共享环境 通过Reader，但是为什么我要lift它到MaybeT才能得到 里面的实际值？

【参考方案1】：

据我了解，受保护类型描述了一些“受保护”数据

没有。 Protected s a 应该被视为返回a 类型值的程序 的类型。在计算过程中，程序对s 类型的秘密值具有只读访问权限，并且只有在它“知道”正确密码的情况下。

这样的秘密值，与其密码配对，类型为ProtectedData s。

s 是否描述了受保护数据的类型，如果是，a 描述了什么？

是的。这里a 是程序结果的通用类型。

举个例子，您可以考虑密码是String（必须是，在您的代码中字符串类型是硬编码的）并且秘密值的类型为s = Int 的情况。然后你编写一个访问秘密整数的程序，并检查它是否为正，返回一个Bool。在这里，a = Bool。

请注意，我稍微简化了场景。因为我们也使用MaybeT，所以我们正在对一个并不总是返回a 类型的值的程序进行建模，但这也可能会失败。使用错误的密码可能会导致失败。在这种情况下，MaybeT 在程序执行过程中大致中止程序。

签名

access :: String -> Protected a a

如果我们写成这样可能会更好理解

access :: String -> Protected s s

表明它是一个辅助函数来访问秘密值（或失败），给定密码尝试。用法如下：

myProg :: Protected Int Bool
myProg = do
  v <- access "123456"  -- try accessing the protected int
  return (v > 0)

如果密码错误，上面的代码会导致失败（run会返回Nothing）

> run (ProtectedData "actual password" 42) myProg
Nothing

如果密码正确，则会产生正确的布尔值：

> run (ProtectedData "123456" 42) myProg
Just True

这里Just表示密码正确，True表示受保护的Int是正数。

【讨论】：

谢谢，意识到将Protected s a 视为返回类型为a 的程序访问s 类型的受保护数据确实帮助我理解了这个概念。如果我理解正确，这意味着我什至可以在我的程序中使用其他 Monad：giveEven :: String -> Protected [Int] [Int] giveEven s = do v <- access s return (filter even v)

@Superschnitzel 您的代码是正确的，但您并没有真正将[] 用作那里的单子。不过，你可以，但可以说它是“正交的”。 s 可以是任何类型，包括单子类型，但不会干扰主单子 Protected s。