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上進行連接了。
