16 Apr 2024 |
krftdnr | As Julia explains, and the comments on the Reddit post also explained, there is previous precedent in mathematics for using * for concatenation. | 18:03:27 |
ngn | i dont recall ever encountering * as concatenation (but im not a pro mathematician). ive seen || though, notably in cryptography. | 18:11:02 |
coltim | overloads I am familiar with: good. overloads I am not familiar with: bad | 18:11:09 |
stackofbears | Is * in Julia the monoid operation in general, or is it just overloaded to concatenation for strings? | 18:17:56 |
stackofbears | (or the free monoid op where applicable) | 18:21:56 |
devin.jl | it's overloaded with many things | 18:21:57 |
devin.jl | it's number multiplication, matrix multiply, and string cat | 18:22:16 |
ngn | all the operations usually denoted with juxtaposition - no operator at all :) | 18:23:47 |
stackofbears | https://github.com/JuliaLang/julia/issues/28348 🤔 | 18:26:17 |
anaseto | In reply to @ngn:matrix.org i dont recall ever encountering * as concatenation (but im not a pro mathematician). ive seen || though, notably in cryptography. The free product of groups can be seen as a kind of concatenation. It's the only thing that comes to mind, and I had to search a bit because I had only a fuzzy memory of the name. Except for use in language theory as mentioned in the reddit thread, which I suppose counts as mathematics too. | 18:37:28 |
ngn | hm, in language theory i'd assume a * is kleene's star (like in regex) | 18:39:54 |
ngn | * hm, in language theory i'd assume a * is kleene's star (like in regex - zero or more occurrences) | 18:40:27 |
anaseto | Yeah, I have some vague memory of seing it with another meaning in a book, but I kind of forgot about it, I may be wrong. | 18:43:16 |
stackofbears | icon is one language that does use || for string concat | 18:56:39 |
stackofbears | I swear there are more, but I don't remember who... | 18:57:02 |
ngn | stackofbears: sql? | 19:01:07 |
stackofbears | Oh, true! | 19:03:02 |
| tag_ferd11 joined the room. | 22:39:58 |
17 Apr 2024 |
| elliottdonn joined the room. | 21:18:19 |
elliottdonn | Redacted or Malformed Event | 21:20:02 |
loke | In reply to @_discord_194214927093858304:t2bot.io Oh, true! Rexx also uses that | 23:25:55 |
discodoug | I guess spammers don’t run stats to see if they get any bites… | 23:28:33 |
stackofbears | I don't think I'd ever heard of Rexx | 23:29:48 |
18 Apr 2024 |
Yarrow | Redacted or Malformed Event | 01:47:47 |
loke | stackofbears: it's the standard scripting language on zos and amigaos. And available on many other systems. | 02:53:27 |
loke | Oh, I think it was used back in the os2 days as well. | 02:53:43 |
tonyc1 | Vm/360, cms, there was a version of rexx for pcdos and early windiws | 04:16:56 |
loke | You can run it on the public domain version of MVS too. https://github.com/mvslovers/brexx370 | 05:10:38 |
| @ericwalter65:matrix.org joined the room. | 06:28:16 |
| @ericwalter65:matrix.org left the room. | 06:33:34 |