这里讲一个「女程序员」的故事。
互联网的世界里，程序员似乎与“男性”二字有了概念关联。哪家公司有个女程序员，简直可以作为项目组里的吉祥物。
女程序员真的那么罕见吗？数理分析能力真的是女孩子的弱项？并不是。毕竟，世界公认的首位计算机程序员，是女的。
她的名字是埃达·洛夫莱斯（Ada Lovelace），我们更熟悉的是她的婚前名字：埃达·拜伦。没错，她的父亲，就是著名英国大诗人拜伦。她被后世公认为是第一位计算机程序员。
得益于家庭环境与母亲的良好视野，埃达从小接受了良好的教育。在经过多位家庭教师的教导后，埃达师从奥古斯塔斯·德摩根（Augustus De Morgan）。这位数学家也是个牛人，陈述了德摩根定律，将数学归纳法的概念严格化，而且在月球上有一座纪念自己的火山：德摩根环形山。
酷爱数学的她，做了与编程相关的很多工作。
在1842年与1843年期间，埃达花了9个月的时间翻译意大利数学家路易吉·米那比亚讲述查尔斯·巴贝奇「计算机分析机」的论文。在译文后面，她增加了许多注记，详细说明用该机器计算伯努利数的方法，被认为是世界上第一个计算机程序。
有人怀疑，这只是翻译而已。但巴贝奇在他所著的《经过哲学家人生》亲口承认了：
“我认为她为米那比亚的备忘录增加许多注记，并加入了一些想法。虽然这些想法是由我们一起讨论出来的，但是最后被写进注记里的想法确确实实是她自己的构想。我将许多代数运算的问题交给她处理，这些工作也与伯努利数的运算相关。在她所送回给我的文档，更修正了我先前在程序里的重大错误。”
埃达的贡献很多。
简单点儿说，她写了算法，提炼了理论。
· 埃达提出了伯努利数的经典计算方法。2014年打破伯努利数世界记录的Wolfram，使用的依然是这个算法。
· 探讨了机器的工作原理，讲述了操作队列如何在分析机中工作。在“操作纸带”中阐述了“循环”以及“循环的嵌套”的相关概念。
· 创造了很多原作者未提出的想象，她曾预言道：“这个机器未来可以用来排版、编曲或是各种更复杂的用途。”
· 表示“我们可以将其看作是机器分析的代表，通过机器提供的操作和数学符号，我们的工作和这个领域的理论可以更进一步。”
“无论如何编程，分析机都不能自己做出决策。它只能完成我们让它做的事情……它的证明只能协助我们证明我们已经懂得的东西。”这与现代编程理念极其匹配。
很遗憾，她的工作，很久都没得到重视。一直到1936年图灵又将通用计算的概念提出来，电子计算机发明的时候，人们才重新认识到埃达的工作的价值。
她死后一百年，1953年，埃达之前对查尔斯·巴贝奇的《分析机概论》所留下的笔记被重新公布，并被认为对现代计算机与软件工程造成了重大影响。
通用计算是什么？即使很底层的系统，用最简单的结构，也可以拥有通用计算的能力。埃达分析的分析机，差一点点，就走到了现代计算机的路线。当之无愧地说，埃达•洛夫莱斯是提出通用计算概念的第一人，对人类科技甚至文明的发展做出了巨大贡献。
人们用了很多方法来记住她。
在1980年12月10日，美国国防部制作了一个新的计算机编程语言—Ada。
美国国防部标准局为了记念埃达，以她的生日设立了一个编号MIL-STD-1815。
英国计算机公会每年都颁发以埃达为名的奖项。
有很多文学、影视作品在致敬她，比如1997年的电影《孕育埃达》。
这位伟大的女程序员，做了庞大细致的工作，却像很多天才一样，英年早逝。
1852年11月27日，埃达因病去世，享年36岁。护理事业先驱、埃达的朋友南丁格尔写道：“他们说埃达不可能活这么久，如果不是大脑中强劲的生命力，她坚持不了。”
埃达的母亲为其制作了墓碑，刻有埃达作的一首十四行诗，题为“彩虹”（The Rainbow）。
简单翻译一下：
深鞠一躬，感谢所有在这希望之门前悲戚的人。
在真理炫彩间跨越，风雨中自有自然的笑与泪。
到底是诗人的女儿，写的真好。这个星球上，那些真正为人类发展作出贡献的杰出女性，值得被我们真正的纪念。
