Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tormeh
on March 31, 2015
|
parent
|
context
|
favorite
| on:
Shen: A Sufficiently Advanced Lisp [video] (2014)
The question is whether types are the most productive area to focus on when developing better compile-time checks. Maybe it would be better to design languages that solve problems by other means.
tluyben2
on April 1, 2015
[–]
With Shen you can use them when you want. So you can create things fast and add types / tests / proofs when you want and when it seems prudent.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
