现在的游戏策划已经要把魔爪伸向码农了吗？其实啊，娘化出氪金手游你只要请一堆 artist 画一堆妹子然后说她们是 PL 就可以了，相当于构造一个函子，保持「特性」之间的映射关系就可以。
PL 有个最根本的尺度，代表其是
偏向数学
还是
偏向硬件芯片
，map 到妹子上面的话就是法系到物理系？这么考虑的话，物理一头的 asm 就是没护甲的纯近战英雄，另一头的 Coq 是纯法……整条尺子大概会是：
Coq - Idris - Haskell - OCaml - Lisp - Ruby/Python - JS - C# - Java - Rust - C - ASM
纯法师 - 战斗的法师 - 软科幻装备 - 一般科幻装备 - 近未来系（？）- 近战 - 纯近战刺客类
可以有一个相当复杂的技能系统，比如 haskell 有技能「延迟求值」，可以只在需要的时候才发动攻击，诸如此类。
设计个简单的人设表吧：
asm
：使用冷兵器（当然，要二次化），因为不穿护甲（各种安全性）装备很轻所以行动速度最快，x86 的武器要比 arm 的稍复杂些，而且她是双胞胎（Intel 与 AT&T 的梗）。
C
：使用类似步枪的器械（当然，要继续二次化），因为同样没护甲所以行动也很快，不过鞋子上可以做些花样（编译器优化）。
C++
：护甲有了一点但是仍然很少，开始有了类似舰娘那样固着在身上的装备（代表 OOP，做成炮的样子？），当然手上依然拿着枪械，而且和身上的装备连接。身上的机械装备可以变形以适应多种场合（模板）。改一（C++11）的话就是加上幽能的发光部分（有了函数式特性）。
Java
：指挥大量机器人组成的军团，但是看上去很单调（暗示库多以及语言特性少，写法单调）。有比较完整的护甲（当然了请突出妹子的曲线谢谢）。
C#
：大小姐的外形，和 Java 很相似，不过多样性要好些，也有一定的变形能力（泛型）。因为很早就有函数式特性所以有「幽能」的蓝紫色发光。
JavaScript
：装备看似是 Java 的轻装版但是有大量的幽能光束（函数式特性），有大量漂浮的组件（暗示原型 OOP 不如类式「稳固」）最新的一改那些浮游部分终于能装身上了……
Python
：装备做成蛇的样子，同样飘在外面（动态语言）。身上也有一些组件用于操作那条蛇（类式 OOP）。幽能不多（函数式特性有但是不太方便）。
Ruby
：色调红色，和 Python 相似，不过体外的浮游炮是多面体形，镶嵌有大量宝石（或者直接是红宝石上加上装备。ps. 红宝石是六方晶系所以别画成八面体。）
Lisp 诸方言
：拿着法杖（staff）样的东西作战。Common Lisp 的「法杖」比 Scheme 的更复杂，也有更多的「机械」样。因为是魔法单位所以身上没有甲。有化身变形的能力（宏系统）。
Haskell
：法系，不持/装武器，排斥「金属做的玩意儿」（暗示 purity），技能只在「必要的时候」才生效（Laziness）。
PHP
：考虑到 PHP 是为网页而生的，可能会有网或者蜘蛛的元素在，因为动态类型同样各种零件满天飞。非常高傲的样子。
Objective-C
：类似于 C++，不过动态性的部分更多，组件有飘在空中的。因为是神教所以是白色涂装。
Swift
：相似于 C# 的外形但是更轻（编译到 native 而非 VM），以及神教的白色涂装。
Lua
：体型非常小，常和 C/C++ 一起行动，装备外形和 JS 相似但是更紧凑些。有月牙形的元素。
Coq
：纯法，出现在战场后排，以精确著称。口癖是「You are unsound!」
Go
：和 C 很相似，不过枪械是多管的（并发性）？
Rust
：类似 C++ 但是防护更好？
