微信开发者工具是腾讯公司开发的一款用于微信小程序开发的软件。它提供了代码编辑、调试、预览等功能，可以帮助开发者更高效地开发和测试微信小程序。关于微信开发者工具所使用的编程语言，目前并没有官方的明确说明。
根据微信官方发布的信息，微信开发者工具主要支持以下几种编程语言：
1. JavaScript（小程序原生）：这是微信小程序的核心语言，用于编写小程序的逻辑和界面。在微信开发者工具中，JavaScript 代码可以直接运行，无需编译。
2. TypeScript：TypeScript 是一种由 JavaScript 超集演化而来的静态类型语言，主要用于提高代码的可读性和可维护性。在微信开发者工具中，TypeScript 代码可以正常编译和运行。
3. HTML/CSS：微信开发者工具支持直接在编辑器中编写 HTML 和 CSS 代码，以生成相应的小程序页面。
4. JSON：JSON 是一种轻量级的数据交换格式，常用于处理小程序的数据交互。在微信开发者工具中，JSON 文件可以直接使用，无需额外转换。
5. 图片资源：微信开发者工具支持直接打开本地图片资源，方便开发者进行图像处理和展示。
6. 视频资源：微信开发者工具支持直接打开本地视频资源，方便开发者进行视频播放和编辑。
7. 音频资源：微信开发者工具支持直接打开本地音频资源，方便开发者进行音频播放和编辑。
8. 第三方库：微信开发者工具支持导入和使用一些常用的第三方库，如 lodash、jQuery 等，以简化开发过程。
总之，微信开发者工具主要使用的是 JavaScript 作为核心语言，辅以 TypeScript、HTML/CSS、JSON、图片、视频和音频资源等其他辅助语言和格式。这些语言和格式的组合使得微信开发者工具能够支持复杂的小程序开发需求，并提供便捷的开发体验。
