SerVB
03/25/2022, 5:45 PMPiotr Krzemiński
03/25/2022, 6:28 PMSerVB
03/25/2022, 6:31 PMPiotr Krzemiński
03/25/2022, 6:32 PMmap
or filter
?SerVB
03/25/2022, 6:34 PMcan you also fetch an element from it by index?Nope, unfortunately
get
doesn't work. Some problem with type checking. I guess here we should just adjust the stdlib.
map or filter?They involve mutable list construction and it doesn't work atm