Proposal: Implicit variables

# Abdul Shabazz (18 days ago)

Allow javascript to facilitate implicit variables by way of an advanced built-in reasoning engine or theorem prover. Thereby, allowing javascript to become a more powerful semantics driven language whereby the software developer need not always be bothered with implementation.

# Michael Luder-Rosefield (18 days ago)

Could you suggest an example?

# Abdul Shabazz (18 days ago)

[deleted by user]

# Abdul Shabazz (18 days ago)
# Abdul Shabazz (18 days ago)

[deleted by user]

# Abdul Shabazz (18 days ago)

[deleted by user]

# Isiah Meadows (18 days ago)

And why would this be broadly useful? Even Prolog doesn't go this far, and languages like Idris, Haskell (with its numerous GHC extensions), and C++ with its proposed concepts are the exception, not the norm, when it comes to having any significant level of built-in formal verification/proof checking.

Isiah Meadows me at isiahmeadows.com, www.isiahmeadows.com