Elm:
Substrings extraheren

Hoe te:

Elm maakt het gemakkelijk. Laten we beginnen met String.slice:

import String exposing (slice)

volledigeTekst : String
volledigeTekst = "Hallo, Elm wereld!"

-- Het extraheren van "Elm"
subtekenreeks : String
subtekenreeks = slice 7 10 volledigeTekst

-- Uitvoer: "Elm"

Laten we nu iets dynamischer worden met String.left en String.right:

import String exposing (left, right)

-- De eerste 5 tekens krijgen
linkseTekst : String
linkseTekst = left 5 volledigeTekst

-- Uitvoer: "Hallo"

-- De laatste 5 tekens krijgen
rechtseTekst : String
rechtseTekst = right 5 volledigeTekst

-- Uitvoer: "orld!"

Diepgaand

Historisch gezien is het extraheren van substrings zo oud als het programmeren zelf. In Elm, zoals in andere functionele talen, zijn de functies voor het manipuleren van strings onveranderlijk - ze retourneren nieuwe strings in plaats van het origineel te veranderen.

Er bestaan alternatieven zoals String.dropLeft en String.dropRight. Deze trimmen karakters van één van de uiteinden van de string:

import String exposing (dropLeft, dropRight)

-- De eerste 7 tekens verwijderen
verwijderdLinksTekst : String
verwijderdLinksTekst = dropLeft 7 volledigeTekst

-- Uitvoer: "Elm wereld!"

-- De laatste 6 tekens verwijderen
verwijderdRechtsTekst : String
verwijderdRechtsTekst = dropRight 6 volledigeTekst

-- Uitvoer: "Hallo, Elm"

Wat betreft implementatie, deze functies zijn ingebouwd in de Elm standaardbibliotheek en gaan om met Unicode, hoewel er overwegingen moeten worden gemaakt met betrekking tot Unicodes surrogate paren en combinerende karakters.

Zie Ook

• Elm String module documentatie: https://package.elm-lang.org/packages/elm/core/latest/String
• Elm gids over strings: https://guide.elm-lang.org/strings/
• MDN Web Docs over Unicode: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/charAt