Migration level: Difference between revisions
m (Text replacement - "</source>" to "</syntaxhighlight>") Tags: Mobile edit Mobile web edit |
(APL+Win) |
||
Line 1: | Line 1: | ||
{{Built-ins3|Migration level|⎕ML| | {{Built-ins3|Migration level|⎕ML|)EvLevel|⎕CS}}, '''Evolution level''', or '''Compatibility setting''' is a number that, in [[Dyalog APL]], [[APL+Win]], and [[APLX]] respectively, specifies exact behaviour relative to [[APL2]]. In Dyalog APL and APL+Win, a lower value represents a behaviour closer to the original [[NARS]] specification, while a higher the value represents a behaviour closer to APL2. In APLX, a lower value matches APL2 while a higher value indicates higher [[backwards compatibility]] with [[APL.68000]]. | ||
== APL+Win settings == | == APL+Win settings == | ||
[ | {|class=wikitable | ||
! Feature | |||
! <syntaxhighlight lang=apl inline>)EvLevel 0</syntaxhighlight> | |||
! <syntaxhighlight lang=apl inline>)EvLevel 1</syntaxhighlight> | |||
! <syntaxhighlight lang=apl inline>)EvLevel 2</syntaxhighlight> | |||
|- | |||
| Dyadic <syntaxhighlight lang=apl inline>⊂</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[Partitioned Enclose]] | |||
| [[Partition]] | |||
|- | |||
| Monadic <syntaxhighlight lang=apl inline>↓</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[Split]] | |||
| [[SYNTAX ERROR]] | |||
|- | |||
| Monadic <syntaxhighlight lang=apl inline>∊</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[Type]] | |||
| [[Enlist]] | |||
|- | |||
| Monadic <syntaxhighlight lang=apl inline>↑</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[Mix]] | |||
| [[First]] | |||
|- | |||
| Monadic <syntaxhighlight lang=apl inline>⊃</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[First]] | |||
| [[Mix]] | |||
|- | |||
| [[Bracket indexing]] of a [[strand]] | |||
| [[EVOLUTION ERROR]] | |||
| indexing applied to strand as a whole | |||
| [[EVOLUTION ERROR]] | |||
|- | |||
| Unparenthesised [[strand]] [[assignment]] | |||
| assigned value distributed to names | |||
| [[EVOLUTION ERROR]] | |||
|- | |||
| <syntaxhighlight lang=apl inline>(/)</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[Replicate]] [[function]] | |||
| [[EVOLUTION ERROR]] | |||
|- | |||
| <syntaxhighlight lang=apl inline>(\)</syntaxhighlight> | |||
| [[EVOLUTION ERROR]] | |||
| [[Expand]] [[function]] | |||
| [[EVOLUTION ERROR]] | |||
|} | |||
=== Work-arounds === | |||
APL+Win provides [[system function]] alternatives to the functions that are affected by moving to evolution level 2: | |||
{|class=wikitable | |||
| [[Partitioned Enclose]] | |||
| <syntaxhighlight lang=apl inline>⎕PENCLOSE</syntaxhighlight> | |||
|- | |||
| [[Split]] | |||
| <syntaxhighlight lang=apl inline>⎕SPLIT</syntaxhighlight> | |||
|- | |||
| [[Type]] | |||
| <syntaxhighlight lang=apl inline>⎕TYPE</syntaxhighlight> | |||
|- | |||
| [[Mix]] | |||
| <syntaxhighlight lang=apl inline>⎕MIX</syntaxhighlight> | |||
|- | |||
| [[First]] | |||
| <syntaxhighlight lang=apl inline>⎕FIRST</syntaxhighlight> | |||
|- | |||
| [[Replicate]] [[function]] | |||
| <syntaxhighlight lang=apl inline>⎕REPL</syntaxhighlight> | |||
|- | |||
| [[Expand]] [[function]] | |||
| <syntaxhighlight lang=apl inline>⎕EXPAND</syntaxhighlight> | |||
|} | |||
== Dyalog settings == | == Dyalog settings == |
Revision as of 16:05, 20 February 2024
⎕ML )EvLevel ⎕CS
|
Migration level (⎕ML
, )EvLevel
, ⎕CS
), Evolution level, or Compatibility setting is a number that, in Dyalog APL, APL+Win, and APLX respectively, specifies exact behaviour relative to APL2. In Dyalog APL and APL+Win, a lower value represents a behaviour closer to the original NARS specification, while a higher the value represents a behaviour closer to APL2. In APLX, a lower value matches APL2 while a higher value indicates higher backwards compatibility with APL.68000.
APL+Win settings
Feature | )EvLevel 0
|
)EvLevel 1
|
)EvLevel 2
|
---|---|---|---|
Dyadic ⊂
|
EVOLUTION ERROR | Partitioned Enclose | Partition |
Monadic ↓
|
EVOLUTION ERROR | Split | SYNTAX ERROR |
Monadic ∊
|
EVOLUTION ERROR | Type | Enlist |
Monadic ↑
|
EVOLUTION ERROR | Mix | First |
Monadic ⊃
|
EVOLUTION ERROR | First | Mix |
Bracket indexing of a strand | EVOLUTION ERROR | indexing applied to strand as a whole | EVOLUTION ERROR |
Unparenthesised strand assignment | assigned value distributed to names | EVOLUTION ERROR | |
(/)
|
EVOLUTION ERROR | Replicate function | EVOLUTION ERROR |
(\)
|
EVOLUTION ERROR | Expand function | EVOLUTION ERROR |
Work-arounds
APL+Win provides system function alternatives to the functions that are affected by moving to evolution level 2:
Partitioned Enclose | ⎕PENCLOSE
|
Split | ⎕SPLIT
|
Type | ⎕TYPE
|
Mix | ⎕MIX
|
First | ⎕FIRST
|
Replicate function | ⎕REPL
|
Expand function | ⎕EXPAND
|
Dyalog settings
Dyalog APL currently offers the following settings:
⎕ML=0
|
Z←∊R
|
Monadic ∊ is interpreted as Type rather than Enlist.
|
⎕ML=1
|
Default behaviour | |
⎕ML≥2
|
Z←↑R
|
Monadic ↑ is interpreted as First rather than Mix.
|
Z←⊃R
|
Monadic ⊃ is interpreted as Mix rather than First.
| |
Z←≡R
|
Monadic ≡ returns a positive rather than a negative value, if its argument has non-uniform depth.
| |
⎕ML=3
|
R←X⊂[K]Y
|
Dyadic ⊂ is interpreted as Partition (⊆ ) rather than Partitioned Enclose.
|
⎕TC
|
The order of the elements of ⎕TC is the same as in APL2.
|
Work-arounds
When migrating to Dyalog APL, the below drop-ins for the affected built-ins allow setting ⎕ML←1
while preserving code behaviour. It is then safe to programmatically (as shown in the rightmost column) change all occurrences of the affected built-ins with their respective covers.
Migrating from | Define | Then run this on all code |
---|---|---|
⎕ML=0
|
Epsilon←{×⎕NC'⍺':⍺∊⍵ ⋄ ⊃0⍴⊂⍵} |
'''[^'']+''' '∊'⎕R'&' 'Epsilon'
|
⎕ML=2
|
UpArrow←{×⎕NC'⍺':⍺↑⍵ ⋄ ⊃⍵} RightShoe←{×⎕NC'⍺':⍺↑⍵ ⋄ ↑⍵} EqualUnderbar←|≡ |
'''[^'']+''' '↑' '⊃' '≡'⎕R'&' 'UpArrow' 'RightShoe' 'EqualUnderbar'
|
⎕ML=3
|
UpArrow←{×⎕NC'⍺':⍺↑⍵ ⋄ ⊃⍵} RightShoe←{×⎕NC'⍺':⍺↑⍵ ⋄ ↑⍵} EqualUnderbar←(|≡) LeftShoe←{×⎕NC'⍺':⍺⊆⍵ ⋄ ⊂⍵} quadTC←(⎕UCS 8 13 10) |
'''[^'']+''' '↑' '⊃' '≡' '⊂' '⎕TC'⎕R'&' 'UpArrow' 'RightShoe' 'EqualUnderbar' 'LeftShoe' ' quadTC'
|
Alternatively, the definitions can be used directly inside the text substitutions, whereby one avoids polluting existing code with these cover names.
APLX settings
APLX treats the value as a collection of individual bits, thus allowing the combination of an exact set of behaviours:
⎕CS←1 |
Stranding is done before bracket indexing |
⎕CS←2 |
The name class of an invalid name is 4 rather than ¯1. |
⎕CS←4 |
Format (⍕ ) and default output uses the same width for all columns, rather than determining the width separately for each column.
|
External links
Documentation
APL glyphs [edit] | |
---|---|
Information | Glyph ∙ Typing glyphs (on Linux) ∙ Unicode ∙ Fonts ∙ Mnemonics ∙ Overstrikes ∙ Migration level |
Individual glyphs | Jot (∘ ) ∙ Right Shoe (⊃ ) ∙ Up Arrow (↑ ) ∙ Zilde (⍬ ) ∙ High minus (¯ ) ∙ Dot (. ) ∙ Del (∇ )
|