深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
沃森 (人工智能程序)
沃森的软件由數種不同語言寫成，包含Java、C++和Prolog等，并且采用Apache Hadoop框架做分布式计算，还有Apache UIMA（Unstructured Information Management Architecture）框架、IBM DeepQA软件和SUSE Linux Enterprise Server 11 操作系统。“……超过100项不同的技术被用在自然语言分析、来源识别、寻找并生成假设、挖掘证据以及合并推翻假设。”