Proposal: Implicit variables

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.
-- 
Abdul S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180509/d53aed1f/attachment.html>

Could you suggest an example?

On Wed, 9 May 2018 at 14:50 Abdul Shabazz <ahshabazz2017 at gmail.com> wrote:

> 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.
> --
> Abdul S.
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180509/6f973c74/attachment-0001.html>

See my prior thread:

https://esdiscuss.org/topic/proposal-inline-javascript


-- 
Abdul S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180509/ca5d12b3/attachment.html>

See my prior thread:

https://esdiscuss.org/topic/proposal-inline-javascript


On Wed, May 9, 2018 at 09:55 Michael Luder-Rosefield <rosyatrandom at gmail.com>
wrote:

> Could you suggest an example?
>
> On Wed, 9 May 2018 at 14:50 Abdul Shabazz <ahshabazz2017 at gmail.com> wrote:
>
>> 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.
>> --
>> Abdul S.
>>
> _______________________________________________
>> es-discuss mailing list
>> es-discuss at mozilla.org
>> https://mail.mozilla.org/listinfo/es-discuss
>>
> --
Abdul S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180509/75b95910/attachment.html>

*See my prior thread:

https://esdiscuss.org/topic/proposal-inline-javascript



On Wed, May 9, 2018 at 09:56 Abdul Shabazz <ahshabazz2017 at gmail.com> wrote:

> See my prior thread:
>
> https://esdiscuss.org/topic/proposal-inline-javascript
>
> On Wed, May 9, 2018 at 09:55 Michael Luder-Rosefield <
> rosyatrandom at gmail.com> wrote:
>
>> Could you suggest an example?
>>
>> On Wed, 9 May 2018 at 14:50 Abdul Shabazz <ahshabazz2017 at gmail.com>
>> wrote:
>>
>>> 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.
>>> --
>>> Abdul S.
>>>
>> _______________________________________________
>>> es-discuss mailing list
>>> es-discuss at mozilla.org
>>> https://mail.mozilla.org/listinfo/es-discuss
>>>
>> --
> Abdul S.
>
-- 
Abdul S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180509/5ca8a7d1/attachment.html>

Request please of a moderator to help clean up this thread ;)
-- 
Abdul S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180509/d76c05db/attachment.html>

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


On Wed, May 9, 2018 at 9:58 AM, Abdul Shabazz <ahshabazz2017 at gmail.com> wrote:
> See my prior thread:
>
> https://esdiscuss.org/topic/proposal-inline-javascript
>
>
> --
> Abdul S.
>
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>