Python
我使用的python是Anaconda内置，并经过conda update更新之后的python3.7.2，版本信息如：
之后的配置过程使用3.5+的python应该不会出现问题
Redis
Redis是一款数据库，除此之外我并不知道更多它的特性和使用Redis搭建代理池的原因（太菜）。在Redis的官方网站上只有Linux的安装包，虽然在Github上有Redis3和Redis4的Windows版源代码，但为了追求最新的Redis5，我还是选择了Docker。
Docker
其实上一段我撒了一个慌，我是因为对Redis4进行各种编译、适配的操作无果后，才终于放弃直接在Windows上进行配置。随后我发现了Docker这一大神器，证明我的选择是正确的。此外，我在安装Docker之后立刻将VMware卸载了，为何？
根据我自己的理解，Docker是一款基于操作系统终端（如Windows的cmd）、借用了部分Linux终端特性、使用镜像（mirrors/images）和容器（containers）来对开发软件进行管理和运行的操作系统。没错，Docker是（我理解上的）一款操作系统，在Windows上运行时需要启用Hyper-V虚拟机服务——而VMware的运行与Hyper-V不兼容，所以我将VMware就卸载了（反正我用其他系统的虚拟机也不多hhh）。具体的安装细节在之后描述。
镜像应该好理解，就是在官方/非官方的服务器上提供程序/文件的便捷下载途径。但容器是什么呢，依我使用Redis的经验（两天）来看，容器应该与"服务器"的概念相似。
介绍到这里，搭建环境的思路就很清晰了。既然Windows上不能直接配置Redis，那么可以在Docker上下载Redis的镜像、创建Redis的一个容器、并确定好容器的接口和主机号，运行Redis容器就可以在windows上进行连接了。
