Ciao Jeremy Footnote to last.
The only issue I can see with "Tiddly" is it can evoke "diminutive" with possible semantic resonance of "under-powered / featured" (which it definitely isn't, rather the opposite). But, TBH, I'm not sure non-British speakers would have that possible chain of meanings. Even with that as a possible issue, "Tiddler" remains a very apposite descriptor of "fundamental fragments" ... In usage it also works semantically as an "efficient unit" ... for instance a Tiddler that does a list is highly efficient and direct. So the label "Tiddler" I think remains suitably flexible and fits well actual usage in building wholes from fragments using fragments that compound fragments. I doubt anyone could do better on "Tiddler." Best wishes Josiah Jeremy Ruston wrote: >> >> d) If it’s not called TiddlyWiki then we’d probably want to rename >> “tiddler” too >> > > In a discussion some months ago on Twitter it became clear to me you need > to be British to immediately "get" Tiddler ... Other English speakers, > Americans and Australians, for instance, don't have the immediate visceral > understanding of what it means. They simply don't label those small fish > like Brits do, or have an affective relation to them. > > BUT I'm not sure "Tiddler" ever needs to go or even "Tiddly". > > Why? Because they have semantic clout because they not been infiltrated by > other meanings so you can "Let the words mean what you want them to mean". > I think that is good. Most well-named software does that ... it creates a > semantic field of it own. And for Tiddly & Tiddler its done that, I think. > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/7ef221f6-b4c0-4884-a9e5-c58df526dc2d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
