Sujet : Re: Why Python When There Is Perl?
De : nospam (at) *nospam* dfs.com (DFS)
Groupes : comp.os.linux.advocacyDate : 20. Mar 2024, 16:59:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <utetk2$1hsql$1@dont-email.me>
References : 1 2 3
User-Agent : Betterbird (Windows)
On 3/20/2024 9:16 AM, Yaxley Peaks wrote:
This is why the only acceptable language to use is lean4. Embrace purely
functional programming!
How do you do this in lean4?
----------------------------------------------------------------------------
characters = "ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789"
for i in range(len(characters)):
print(ord(characters[i]),end=',')
----------------------------------------------------------------------------
65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,48,49,50,51,52,53,54,55,56,57,