maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems
MIT License
219 stars 44 forks source link

GeneralUtilities #402

Open maxitg opened 4 years ago

maxitg commented 4 years ago

The problem

The build-in GeneralUtilities package seems to have a lot of useful functionality, and we don't currently use it in SetReplace. If we can be reasonably sure that it's not going to break in the future Wolfram Language version, we should start using it.

Examples

Some examples where it can be useful (feel free to add more):

Scope (and ModuleScope)

Scope allows one to have local variables (like Block or Module). However, it detects them automatically (at definition time), so that they don't have to be manually tracked. This will reduce potential mistakes due to the mismatch of lists of Module variables, and will make the code simpler. This will eliminate the need for a linter to do that.

KeyAddTo (and KeyUnionTo, KeyPrependTo, KeyAppendTo, KeyJoinTo)

KeyAddTo assumes a default value of 0 for non-existing keys, and will also return the new value. It is useful, for example, in deleteFromVertexIndex in setSubstitutionSystem$wl.m, where the Scan function can simply be replaced with

If[KeyAddTo[index, #, -1] === 0, index[#] =. ] 

SetUsage

SetUsage has significantly more features than usageString, see ? SetUsage.

taliesinb commented 3 years ago