Proposal: Implicit variables

classic Classic list List threaded Threaded
7 messages Options
Reply | Threaded
Open this post in threaded view
|

Proposal: Implicit variables

Abdul Shabazz
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
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Implicit variables

Michael Rosefield
Could you suggest an example?

On Wed, 9 May 2018 at 14:50 Abdul Shabazz <[hidden email]> 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
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss

_______________________________________________
es-discuss mailing list
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
Reply | Threaded
Open this post in threaded view
|

Re: Re: Proposal: Implicit variables

Abdul Shabazz
In reply to this post by Abdul Shabazz
See my prior thread:


--
Abdul S.

_______________________________________________
es-discuss mailing list
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
Reply | Threaded
Open this post in threaded view
|

Re: Re: Proposal: Implicit variables

Abdul Shabazz
In reply to this post by Michael Rosefield
See my prior thread: 


On Wed, May 9, 2018 at 09:55 Michael Luder-Rosefield <[hidden email]> wrote:
Could you suggest an example?

On Wed, 9 May 2018 at 14:50 Abdul Shabazz <[hidden email]> 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
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
--
Abdul S.

_______________________________________________
es-discuss mailing list
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
Reply | Threaded
Open this post in threaded view
|

Re: Re: Re: Proposal: Implicit variables

Abdul Shabazz
In reply to this post by Michael Rosefield
*See my prior thread:



On Wed, May 9, 2018 at 09:56 Abdul Shabazz <[hidden email]> wrote:
See my prior thread:


On Wed, May 9, 2018 at 09:55 Michael Luder-Rosefield <[hidden email]> wrote:
Could you suggest an example?

On Wed, 9 May 2018 at 14:50 Abdul Shabazz <[hidden email]> 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
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
--
Abdul S.
--
Abdul S.

_______________________________________________
es-discuss mailing list
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
Reply | Threaded
Open this post in threaded view
|

Re: Re: Proposal: Implicit variables

Abdul Shabazz
In reply to this post by Abdul Shabazz
Request please of a moderator to help clean up this thread ;)
--
Abdul S.

_______________________________________________
es-discuss mailing list
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss
Reply | Threaded
Open this post in threaded view
|

Re: Re: Proposal: Implicit variables

Isiah Meadows-2
In reply to this post by Abdul Shabazz
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
[hidden email]
www.isiahmeadows.com


On Wed, May 9, 2018 at 9:58 AM, Abdul Shabazz <[hidden email]> wrote:

> See my prior thread:
>
> https://esdiscuss.org/topic/proposal-inline-javascript
>
>
> --
> Abdul S.
>
> _______________________________________________
> es-discuss mailing list
> [hidden email]
> https://mail.mozilla.org/listinfo/es-discuss
>
_______________________________________________
es-discuss mailing list
[hidden email]
https://mail.mozilla.org/listinfo/es-discuss