Bidirectional evaluation for general—purpose programming

Patent metadata

Field	Value
Publication number	US-11301243-B2
Application number	US-202117227227-A
Country	US
Kind code	B2
Filing date	Apr 9, 2021
Priority date	Jul 27, 2018
Publication date	Apr 12, 2022
Grant date	Apr 12, 2022

Abstract

A method of facilitating bidirectional programming of a user may include receiving an original program source code and evaluating the original program source code in the forward direction to generate a program output. The evaluation may occur in a programming environment. The program output may be displayed, and an indication of the user corresponding to modifying the program output may be received. The modified program output may be evaluated to generate an updated program source code, wherein the updated program source code, when evaluated, may generate the modified program output. The modified program output may be displayed in a display device of the user. A computing system including a bidirectional programming environment may also be included.

First claim

What is claimed:

1. A method of facilitating bidirectional programming of a user, comprising:
receiving, via a processor, an original program source code,
evaluating the original program source code to generate a program output,
displaying, in a first display device of the user, one or both of (i) the original program source code, and (ii) the program output,
receiving an indication of the user corresponding to modifying the program output; and
evaluating the modified program output to generate an updated program source code,
wherein the updated program source code, when evaluated, generates the modified program output; and
wherein evaluating the modified program output to generate the updated program source code includes at least one of a tail-recursive optimization, a merging closure optimization or an edit difference optimization.

2. The method of claim 1 , wherein the original program source code includes one or more instructions encoded in a general-purpose computer programming language.

3. The method of claim 1 , wherein evaluating the original program source code to generate the program output includes generating HTML output.

4. The method of claim 1 , wherein evaluating the modified program output to generate the updated program source code includes applying a user-defined lens to the modified program output.

5. The method of claim 1 , further comprising, displaying, in a second display device of the user, one or both of (i) the updated program source code, and (ii) the modified program output.

6. The method of claim 5 , wherein the user interacts with the second display device of the user to accept the modified program output.

7. The method of claim 5 , wherein the updated program source code includes a plurality of ambiguous candidate source codes, each of which, when evaluated, generate the modified program output.

8. The method of claim 7 , wherein displaying the updated program source code is based on applying a heuristic to automatically select one of the plurality of ambiguous candidate source codes.

9. A computing device configured for bidirectional programming of textual data by a user via a graphical user interface, the computing device comprising:
at least one display device,
at least one processor,
at least one memory, including computer-readable instructions that, when executed by the at least one processor, cause the computing device to:
display, in the at least one display device, an original program source code and a program output corresponding to evaluated original program source code,
receive, via the graphical user interface, an indication of the user corresponding to modifying the program output; and
evaluate the modified program output to generate an updated program source code using at least one of a tail-recursive optimization, a merging closure optimization or an edit difference optimization.

10. The computing device of claim 9 , wherein the original program source code includes one or more instructions encoded general-purpose computer programming language.

11. The computing device of claim 9 , including further instructions that, when executed cause the computing device to:
output HTML.

12. The computing device of claim 9 , including further instructions that, when executed, cause the computing device to:
apply a user-defined lens to the modified program output.

13. The computing device of claim 9 , wherein the updated program source code includes a plurality of ambiguous candidate source codes, each of which, when evaluated, generate the modified program output.

14. The computing device of claim 13 , including further instructions that, when executed, cause the computing device to:
apply a heuristic to automatically select one of the plurality of ambiguous candidate source codes.

15. The computing device of claim 9 , including further instructions that, when executed cause the computing device to:
display, in the at least one display device, one or both of (i) the updated program source code, and (ii) the modified program output.

16. The computing device of claim 15 , including further instructions that, when executed, cause the computing device to:
listen for a graphical user interface event corresponding to an action of a user, wherein the action represents the user's acceptance of the modified program output.

17. A computing device including a non-transitory computer-readable medium storing a programming environment application that, when activated, causes the computing device to:
evaluate, in a forward direction, an original program source code to generate an output,
receive, via an input device, an indication of a user, the indication affecting a state of the output,
evaluate, in a reverse direction, the output, to generate an updated program source code, wherein evaluating the output to generate the updated program source code includes at least one of a tail-recursive optimization, a merging closure optimization or an edit difference optimization; and
display, in a display screen, the output and the updated program source code.

18. The computing device as recited in claim 17 , wherein the updated program source code includes a plurality of ambiguous candidate source codes, and wherein the programming environment application further causes the computing device to:
display, in the display screen, the plurality of ambiguous candidate source codes,
receive, via the input device, a selection of the user corresponding to one of the plurality of ambiguous candidate source codes; and
in response to the selection of the user, display, in the display screen, the one of the plurality of ambiguous candidate source codes.

19. A method of facilitating bidirectional programming of a user, comprising:
receiving, via a processor, an original program source code,
evaluating the original program source code to generate a program output,
displaying, in a first display device of the user, one or both of (i) the original program source code, and (ii) the program output,
receiving an indication of the user corresponding to modifying the program output; and
evaluating the modified program output to generate an updated program source code,
wherein the updated program source code, when evaluated, generates the modified program output,
wherein the updated program source code includes a plurality of ambiguous candidate source codes, each of which, when evaluated, generate the modified program output; and
wherein displaying the updated program source code is based on applying a heuristic to automatically select one of the plurality of ambiguous candidate source codes.

20. A computing device configured for bidirectional programming of textual data by a user via a graphical user interface, the computing device comprising:
at least one display device,
at least one processor,
at least one memory, including computer-readable instructions that, when executed by the at least one processor, cause the computing device to:
display, in the at least one display device, an original program source code and a program output corresponding to evaluated original program source code,
receive, via the graphical user interface, an indication of the user corresponding to modifying the program output,
evaluate the modified program output to generate an updated program source code, wherein the updated program source code includes a plurality of ambiguous candidate source codes, each of which, when evaluated, generate the modified program output; and
apply a heuristic to

Assignees

• Univ Chicago

Inventors

• Mayer Mikaël
• Chugh Ravi

Classifications

• G06F8/355 Primary

  Round-trip engineering · CPC title

• G06F8/71 Primary

  Version control (security arrangements therefor G06F21/57); Configuration management · CPC title

• G06F8/31

  Programming languages or programming paradigms · CPC title

• G06F8/34

  Graphical or visual programming · CPC title