current community chat blog Stack Overflow Meta Stack Overflow Stack Overflow Careers Sign up or log in to customize your list. more stack exchange communities Stack Exchange sign up log in tour help Tour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site stack overflow careers Stack Overflow Questions Tags Users Badges Unanswered Ask Question Take the 2-minute tour × Stack Overflow is a question and answer site for professional and enthusiast programmers. It's 100% free, no registration required. Is it possible to realize the benefits of dependent typing using macros in Lisp? up vote 5 down vote favorite 1 This is an honest question, not a a tr...