1. A user interface comprising:
at least one region that is non-active in a locked mode of a device; and
a reduced active region on top of the at least one non-active region, the reduced active region being displayed in a contrasting manner relative to the non-active region;
the reduced active region being configured to be expanded to reveal the at least one region that is non-active in a locked mode;
the reduced active region being configured to transition a state of the device from an idlelocked state to an activeunlocked state as the reduced active region is expanded and reaches an edge of the user interface, wherein the user interface opens to a set of user elements corresponding to an application revealed by the expanded active region.
2. The user interface of claim 1 wherein the reduced active region is configured to be expanded in size in response so as to reveal a user element underlying an expanded form of the reduced active region such that the expanded form of the reduced active region and the user element are caused to be concurrently displayed
3. The user interface of claim 1 further comprising a limited active region, the limited active region being configured to temporarily display a function of the limited active region when selected.
4. An apparatus comprising:
a processor; and
a memory storing computer program code, wherein the memory and stored computer program code are configured, with the processor, to cause the apparatus to at least:
cause at least a reduced active region and a non-active region to be displayed on a user interface when the apparatus is in a non-active mode;
cause at least one application icon associated with an activeunlocked state to be illuminated in an instance in which the reduced active region is moved at least partially over the at least one application icon;
change a state of the apparatus from a lockedin-active mode to an activeunlocked mode in an instance in which the reduced active region is moved into an unlock region of the user interface and the change is confirmed.
5. The apparatus of claim 4 wherein the memory and stored computer program code are also configured, with the processor, to cause the apparatus to cause the reduced active region to expand in size in response to its movement so as to reveal the at least one application icon underlying an expanded form of the reduced active region such that the expanded form of the reduced active region and the at least one application icon are caused to be concurrently displayed.
6. The apparatus of claim 4, wherein the memory and stored computer program code are also configured, with the processor, to cause the apparatus to expand a size of the reduced active region to reveal regions below the reduced active region that are associated with applications.
7. A computer program product stored in a memory comprising:
a non-transitory computer useable medium having computer readable code embodied therein for causing a computer to change a state of a device to an activeunlocked mode, the computer readable code means in the computer program product comprising:
computer readable program code for causing a computer to move a reduced active area over at least one application icon associated with an activeunlocked state of the device while the device is in the non-active locked mode;
computer readable program code for causing a computer to highlight the at least one application icon;
computer readable program code for causing a computer to move the reduced active area to an unlock region on a display of the device; and
computer readable program code for causing a computer to change the state of the device and open the highlighted application when the reduced active area is in the unlock region.
8. The computer program product of claim 7 further comprising computer readable program code for causing the reduced active region to expand in size in response to its movement so as to reveal the at least one application icon underlying an expanded form of the reduced active region such that the expanded form of the reduced active region and the at least one application icon are caused to be concurrently displayed.
9. The computer program product of claim 8 further comprising computer readable program code means for causing a computer to temporarily illuminate an partially active application region on the display when the reduced active region encompasses at least a portion of the partially active application region; and computer readable program code means for causing a computer to temporarily present a function of the illuminated partially active application area.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A system comprising:
at least one processor:
a memory connected to the at least one processor: and
a compiler component that when loaded into the at least one processor causes the at least one processor to:
perform static type checking in a static type system on a plurality of types and on a plurality of values defined in a plurality of modules in a runtime system that dynamically composes software programs from at least one module of the plurality of modules.
2. The system of claim 1, further comprising:
wherein at least one of the plurality of types is not a global type.
3. The system of claim 1, further comprising:
wherein at least one of the plurality of values is not a global value.
4. The system of claim 1, further comprising:
a compiler component that when loaded into the at least one processor causes the at least one processor to:
use a language mechanism to establish a local name binding to a first module of the plurality of modules within content of a second module of the plurality of modules.
5. The system of claim 1, further comprising:
a compiler component that when loaded into the at least one processor causes the at least one processor to:
map type nomenclature in the static type system to value nomenclature in the runtime system.
6. The system of claim 1, further comprising:
a compiler component that when loaded into the at least one processor causes the at least one processor to:
perform type checking at compile time by establishing an environment that corresponds to a runtime instance of a plurality of possible runtimes of the program.
7. The system of claim 1, further comprising:
a compiler component that when loaded into the at least one processor causes the at least one processor to:
determine runtime dependencies of a first module of the plurality of modules to at least a second module of the plurality of modules at compile time.
8. A method comprising:
receiving by a processor of a software development computer, program source code representing a plurality of modules that at runtime comprise a disjoint module universe;
analyzing content of the program source code representing the plurality of modules;
creating an environment wherein types and values from different disjoint universes of a dynamically composing runtime system are used to check the types of expressions described by imports and exports associated with the different disjoint universes.
9. The method of claim 8, further comprising:
mapping type nomenclature in a static type system to value nomenclature in the dynamically composing runtime system.
10. The method of claim 8, further comprising:
using a language mechanism comprising an import statement to establish a local name binding to a first module of the plurality of modules within content of a second module of the plurality of modules.
11. The method of claim 8, further comprising:
using an explicit declarative import within a first module of the plurality of modules to give a locally scoped name to an entity defined in a second module of the plurality of modules.
12. The method of claim 8, further comprising:
arranging a static type system to align with values of the dynamically composing runtime system, such that a name used to refer to an object at runtime is identical to a name used to refer to a type of the object in the static type system.
13. The method of claim 8, further comprising;
performing type checking at compile time by establishing an environment that corresponds to a runtime instance of a plurality of runtime instances of a program.
14. A computer-readable storage medium comprising computer-readable instructions which when executed cause at least one processor of a computing device to:
receive by a processor of a software development computer, program source code representing a plurality of modules that at runtime comprises a disjoint module universe;
analyze content of the program source code representing the plurality of modules;
create an environment wherein types and values from different disjoint universes are used to check type expressions using described imports and exports associated with the different disjoint module universes.
15. The computer-readable storage medium of claim 14, comprising further computer-readable instructions which when executed cause the at least one processor to:
arrange a static type system to align with runtime values of the disjoint module universe, such that a name used to refer to an object at runtime is identical to a name used to refer to a type of the object in the static type system.
16. The computer-readable storage medium of claim 14, comprising further computer-readable instructions which when executed cause the at least one processor to:
perform type checking at compile time by establishing an environment that corresponds to a runtime instance of a plurality of possible runtime instances of a program.
17. The computer-readable storage medium of claim 14, comprising further computer-readable instructions which when executed cause the at least one processor to:
use a language mechanism to establish a local name binding to a first module of the plurality of modules within content of a second module of the plurality of modules.
18. The computer-readable storage medium of claim 14, comprising further computer-readable instructions which when executed cause the at least one processor to:
redetermine dependencies between modules of the plurality of modules at compile time.
19. The computer-readable storage medium of claim 14, comprising further computer-readable instructions which when executed cause the at least one processor to:
use a language mechanism comprising an import statement to establish a local name binding to a first module of the plurality of modules within content of a second module of the plurality of modules.
20. The computer-readable storage medium of claim 14, comprising further computer-readable instructions which when executed cause the at least one processor to:
receive program source code written in TypeScript.