> Types are "first class", because you can give types as input to
> functions. And "dependent types" are types that depend on the input.
I'm confused. So let us have a function, that takes a value as an
argument and returns a type, and this function is possible because
types are first-class objects. But this function is not the same as a
dependent type?
And hence SquareMatrix is not a dependent type?
(1) -> m : SquareMatrix(2, Integer) := matrix[[1,2],[9,8]]
┌1 2┐
(1) │ │
└9 8┘
Type: SquareMatrix(2,Integer)
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
