qq_33943772的博客

一、泛型（Generics）：（一）、泛型与引用能力（Generics and Reference Capabilities）：！掌握泛型基础语法：[TypeName: ClassName ReferenceCapability]class Foo[T: Any val]如果不指明引用能力，编译器便不会在引用能力上限制：class Foo[A: Any]如果你想对任意类...

（如果你有更好的翻译，请务必联系我。我们需要和Rust术语做到翻译看齐）1.总览（特译：https://tutorial.ponylang.io/reference-capabilities.html）：我们已经学了很多有关Pony类型系统的知识，之后是表达式语法，在有关引用能力的这章里，我们会学到另一Pony类型系统组件级别的知识点。目前好像没有一款主流编程语言支持这一特性。那么什么是引...

写在前面的：博主的开发环境是Ubuntu Studio 17.10 64bit & Windows 7 32bit, 由于在Windows下安装失败，所以只讲一下Linux的安装方式（笑，其实我推荐的是Docker安装，在哪儿都可以）如果你出了一些奇奇怪怪的错误，可以上这个网站:https://playground.ponylang.org/，官方的Web IDE，用来学习没什么问...

写在前面的：很久没有更新了，今天把以前的博客更新修订了一下，感觉良好。今儿个在新系统布置Pony开发环境时，鼓捣了半天Docker for Windows，实在是心累。无意间敲开了通往新大陆的门，就算是给Pony的Windows Users/Funs一个彩蛋吧。诸君请赏

写在前面的：这次咱们来唠唠Pony的基础类型，这里说的基础类型指的不是int, string, boolean, float什么内置数据类型，而是Pony中用来定义类型的几种方法，分别是:Class, Primitive, Actor, Trait, Interface, Struct, Type Alias, Type ExpressionsClass:class关键字用于声明一个类...

写在前面的：这次咱们要鼓捣鼓捣的是Primitive，直译是原始人，原始的事物，我意译一下就是原类。那么什么是原类呢？这意味着你无须创建一个对象（或者说只存在一个实例，对于用户定义的原类来说），你就可以调用它的方法（类似于静态类）。它就像一个盒子，你不必打个标签（创建对象），以彰显你对它的所有权。你直接就可以用里面的东西（方法）。来自官网的解释：A primitive is si...

写在前面的：Actor是Pony的并发模型，一个Actor就是一个线程，Pony将创建线程变得简单，但也使安全并发的语法变得复杂。Actor:用关键字actor声明一个Actor。一个Actor很像类，但一个Actor还可以有行为(Behavior)。行为用be关键字定义，它就像一个永远返回空值（None）的函数.例：actor Hello let _name: St...

写在前面的：在Pony中，有两种方式扩展类、原类以及Actor: Trait（特性）和 Interface（接口）。编程语言中，扩展方式大体上就分为名义上（nominal）和结构上（structural）两种。看看官网是怎么从这方面介绍Pony的与众不同之处的：Like other object-oriented languages, Pony has subtyping. That i...

写在前面的：本节我们就要结束类型的学习了。就剩下三个方式了：Struct, Type Alias, Type Expressions。其中我们会涉及一些比较新的概念：C FFI（Foreign Function Interface）：https://tutorial.ponylang.io/c-ffi.html、Union/Intersection Type。1.Structs:你不会...

一、字面量（Literals）:（一）Bool值：没啥要说的，就是true和false????（二）数值（Numeric Literals）：支持类型：U8, U16, U32, U64, U128, USize, ULong I8, I16, I32, I64, I128, ISize, ILong F32, F64当然，作为一门现代编程语言，Pony支持自动类型推导，但有时候它...