Turning the IDE Inside Out with Datalog

摘要

tl;dr: I made a prototype IDE in which language semantics are specified in datalog, powered by a datalog interpreter written in TypeScript, running the browser. Demo here.MotivationWhat is an IDE?When…

欢迎在评论区写下你对这篇文章的看法。

评论

首页 - Wiki
Copyright © 2011-2024 iteam. Current version is 2.137.1. UTC+08:00, 2024-11-23 00:39
浙ICP备14020137号-1 $访客地图$