String length: Difference between revisions
Content added Content deleted
Line 1,610: | Line 1,610: | ||
=={{header|Standard ML}}== |
=={{header|Standard ML}}== |
||
⚫ | |||
{{works with|Standard ML of New Jersey|SML/NJ|110.60}} |
{{works with|Standard ML of New Jersey|SML/NJ|110.60}} |
||
{{works with|Moscow ML|2.01}} |
{{works with|Moscow ML|2.01}} |
||
{{works with|MLton|20061107}} |
{{works with|MLton|20061107}} |
||
⚫ | |||
{{needs-review|Standard ML}} |
|||
<lang sml>val strlen = size "Hello, world!";</lang> |
<lang sml>val strlen = size "Hello, world!";</lang> |
||
===Character Length=== |
===Character Length=== |
||
{{works with|Standard ML of New Jersey|SML/NJ|110.74}} |
|||
<lang sml>val strlen = size "Hello, world!";</lang> |
<lang sml>val strlen = UTF8.size "Hello, world!";</lang> |
||
=={{header|Tcl}}== |
=={{header|Tcl}}== |