I still don't get what is a field... So in the example above, which types are we mapping from, and which types are we mapping to?
This comment was marked helpful 0 times.
arjunh
Specifically, Liszt provides the following features:
a) Mesh elements (vertices, cells, faces, edges)
b) Sets (for grouping mesh elements, such as cells in a mesh, vertices in a cell, etc)
c) Topological relationships (obtain neighboring elements of a mesh element)
d) Fields (store data, using a map from all mesh elements of particular type to a value)
e) Parallelism (a parallel for-comprehension; this is not a for-loop, as there are no loop-dependencies).
It also constrains the programmer to statically-typed non-recursive functions (presumably to improve/make possible reasoning about the parallelization/locality/synchronization of the program).
This comment was marked helpful 0 times.
Q_Q
The way to read the
val Temperature = FieldWithConstVertex,Float
is:
Define a function from a vertex to a float, which returns the temperature at that vertex. The initializer is the floating point value 0.0f.
I still don't get what is a field... So in the example above, which types are we mapping from, and which types are we mapping to?
This comment was marked helpful 0 times.
Specifically, Liszt provides the following features:
a) Mesh elements (vertices, cells, faces, edges) b) Sets (for grouping mesh elements, such as cells in a mesh, vertices in a cell, etc) c) Topological relationships (obtain neighboring elements of a mesh element) d) Fields (store data, using a map from all mesh elements of particular type to a value) e) Parallelism (a parallel for-comprehension; this is not a for-loop, as there are no loop-dependencies).
It also constrains the programmer to statically-typed non-recursive functions (presumably to improve/make possible reasoning about the parallelization/locality/synchronization of the program).
This comment was marked helpful 0 times.
The way to read the val Temperature = FieldWithConstVertex,Float is: Define a function from a vertex to a float, which returns the temperature at that vertex. The initializer is the floating point value 0.0f.
This comment was marked helpful 0 times.