Code

String map performance improvement#9470

Code

Merged

cartermp merged 11 commits intodotnet:masterdotnet/fsharp:masterfrom abelbraaksma:String-map-perfabelbraaksma/fsharp:String-map-perfCopy head branch name to clipboardJun 27, 2020

+35-7

Commits

Commits on Jun 17, 2020

• Simplify and improve perf of String.length

  abelbraaksma

  committed
  9268073

  Copy full SHA for 9268073

• Improve performance of String.map

  abelbraaksma

  committed
  890ed1f

  Copy full SHA for 890ed1f

• Revert "Simplify and improve perf of String.length"

  abelbraaksma

  committed
  10e5833

  Copy full SHA for 10e5833

• Resolves dotnet#9470 (comment)

  abelbraaksma

  committed
  6c6b672

  Copy full SHA for 6c6b672

• Lingering space

  abelbraaksma

  committed
  c054bb2

  Copy full SHA for c054bb2

• Change String to use new to clarify use of ctor

  abelbraaksma

  committed
  e2cde1b

  Copy full SHA for e2cde1b

• Merge remote-tracking branch 'upstream/master' into String-map-perf

  abelbraaksma

  committed
  b546153

  Copy full SHA for b546153

Commits on Jun 18, 2020

• Add some better tests for String.map, add side-effect test

  abelbraaksma

  committed
  332420e

  Copy full SHA for 332420e

• Add tests to ensure the mapping function is called a deterministically amount of times

  abelbraaksma

  committed
  1b9bf85

  Copy full SHA for 1b9bf85

• Fix typo

  abelbraaksma

  committed
  0dd8922

  Copy full SHA for 0dd8922

Commits on Jun 19, 2020

• Remove "foo" from String.map tests

  abelbraaksma

  committed
  83ac13d

  Copy full SHA for 83ac13d