Open RubenVerg opened 3 years ago
Well, normal |
and |>
have different height, placed next to each other they would look strange. Is there any reason you want that?
Tuples. I can now write (1, 2) ||> funct, and I'd like to write (1, 2, 3, 4, 5, 6) ||||||> funct the same way
Get Outlook for Androidhttps://aka.ms/ghei36
From: Nikita Prokopov notifications@github.com Sent: Friday, January 29, 2021 2:55:20 PM To: tonsky/FiraCode FiraCode@noreply.github.com Cc: Ruben Vergani RubenVerg@outlook.com; Author author@noreply.github.com Subject: Re: [tonsky/FiraCode] Arbitrary-long pipes (#1191)
Well, normal | and |> have different height, placed next to each other they would look strange. Is there any reason you want that?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHubhttps://emea01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Ftonsky%2FFiraCode%2Fissues%2F1191%23issuecomment-769818797&data=04%7C01%7C%7C12f81a1ee5cb49de1c6908d8c45d848b%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637475253216718579%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=uuW7EPCHG16hk7IKdwB1Xg%2BfCp4OakSpUGW%2FdixGjAk%3D&reserved=0, or unsubscribehttps://emea01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAMRJI3BCKA46U3OXGYI62JLS4K44RANCNFSM4WYPGNUA&data=04%7C01%7C%7C12f81a1ee5cb49de1c6908d8c45d848b%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637475253216728574%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=cLtIRHF0%2FDvk0aWtLNFwShv3mPKak9LYBzXs0N8%2F5X0%3D&reserved=0.
In which language?
Any language that support extension to defined types (eg Scala)
No, this isn't something in a standard library (yet?)
Get Outlook for Androidhttps://aka.ms/ghei36
From: Nikita Prokopov notifications@github.com Sent: Friday, January 29, 2021 2:58:55 PM To: tonsky/FiraCode FiraCode@noreply.github.com Cc: Ruben Vergani RubenVerg@outlook.com; Author author@noreply.github.com Subject: Re: [tonsky/FiraCode] Arbitrary-long pipes (#1191)
In which language?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHubhttps://emea01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Ftonsky%2FFiraCode%2Fissues%2F1191%23issuecomment-769820646&data=04%7C01%7C%7C152b4ee7f975421b429208d8c45e0500%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637475255370045260%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=U1j58m1SOtMM0kPnNkt47MTVsflNzHrBuWSSA6kuC7c%3D&reserved=0, or unsubscribehttps://emea01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAMRJI3FGAWYH257LRZUHZZ3S4K5J7ANCNFSM4WYPGNUA&data=04%7C01%7C%7C152b4ee7f975421b429208d8c45e0500%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637475255370045260%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=FuPUhDUXrCjOYfqutV%2B5UxMAIq7oLpNGOsN3Xr3D82g%3D&reserved=0.
F# has this in the standard library, at least for lengths 1, 2 and 3, forwards and backwards (https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/symbol-and-operator-reference/)
These 6 are the 6 that already exist in Fira Code
Get Outlook for Androidhttps://aka.ms/ghei36
From: AsmPrgmC3 notifications@github.com Sent: Friday, January 29, 2021 3:08:29 PM To: tonsky/FiraCode FiraCode@noreply.github.com Cc: Ruben Vergani RubenVerg@outlook.com; Author author@noreply.github.com Subject: Re: [tonsky/FiraCode] Arbitrary-long pipes (#1191)
F# has this in the standard library, at least for lengths 1, 2 and 3, forwards and backwards (https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/symbol-and-operator-reference/)
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHubhttps://emea01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Ftonsky%2FFiraCode%2Fissues%2F1191%23issuecomment-769825953&data=04%7C01%7C%7C5d8e2cf9503a4ff7bced08d8c45f5ad9%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637475261104883678%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=8sQczaPPr2NHeoFJuCPVBuBEPDW%2FQmCsI0TlKeGlI2I%3D&reserved=0, or unsubscribehttps://emea01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAMRJI3HTTP7LZVSN5DSGSXDS4K6N3ANCNFSM4WYPGNUA&data=04%7C01%7C%7C5d8e2cf9503a4ff7bced08d8c45f5ad9%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637475261104893674%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=MQ%2FJOypheWmhIPpGRvrk15OUGIcluWpy2KGZlWyrOC0%3D&reserved=0.
Oh, right. Sorry.
The "pipe" operators (
|>
etc) are supported with up to three "bars" (that is,|> ||>
and|||>
plus the backwards variants).It'd be interesting to be able to have the ligatures with an arbitrary number of bars, or at least render the last two as a pipe.