You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
'Identifiers sometimes have leading zeros, in which case it may be helpful to store them as string.': This is a very important point and I would stress it even more. Students should understand the structure of the identifier before choosing the type. Otherwise, they may run into problems later where multiple groups are accidentally collapsed in one, e.g. because 01234 is read as 1234 and then cannot be distinguished from 1234. Seen against this background, you could consider to discuss the option asstring for the import statement, otherwise the damage may have already been done.
The text was updated successfully, but these errors were encountered:
01234
is read as1234
and then cannot be distinguished from1234
. Seen against this background, you could consider to discuss the optionasstring
for theimport
statement, otherwise the damage may have already been done.The text was updated successfully, but these errors were encountered: