"The key insight is that runtime checks can provide compile-time information," #functionalprogramming #dependenttypes source: https://www.reddit.com/r/ProgrammingLanguages/comments/t8waye/what_are_all_the_situations_you_cant_do_compile/ - ThreadSky | a Reddit-style client for Bluesky

abuseofnotation.mathstodon.xyz.ap.brid.gy • 34 days ago

"The key insight is that runtime checks can provide compile-time information,"
#functionalprogramming #dependenttypes

source: https://www.reddit.com/r/ProgrammingLanguages/comments/t8waye/what_are_all_the_situations_you_cant_do_compile/

Comments