произвольную автозамену символов не называйте лигатурой, пожалуйста

я имел в виду замену глифов на непохожие в FiraCode, использующую лигатурный механизм юникода

Нет

Точнее, можно прикрутить, но через боль

Собственно неравно - это именно то, что значит != в си-подобных

Кто так сказал? Почему-то думал, что лигатура должна заменять комбинацию символов на тот один символ, что они значат в комбинации

это определение лигатуры. если тебе нравятся глифозаменители, говори, что ты используешь глифозаменители, а не лигатуры

я имел в виду замену глифов на непохожие в FiraCode, использующую лигатурный механизм юникода

и я о том же. Лигатура, это когда "перо не отрываем при написании нескольких символов"

лигатура не должна убирать символы. лигатуры — хорошо, замены — плохо

& — это лигатура «et», на минуточку.

Собственно неравно - это именно то, что значит != в си-подобных

в онтопике не значит. а Фира якобы для всех, в отличие от Хасклига

Хотя технически «&» это логограмма, конечно.

именно! А не лигатура

Вот это лигатуры

Ну а с фирой всё просто. Тонский изначально писал, что фира под JS заточена, поэтому там != и !== заменяются на двойное и тройное «не равно». Хаскелем пришлось пожертвовать.

В имаксе есть замена lambda на символ лямбды при отображении лиспокода. Никто это не называет лигатурой

& — это лигатура «et», на минуточку.

не все это забыли https://fonts.google.com/specimen/Exo+2

а что с haskellX стоит посмотреть после SPJ?

В имаксе есть замена lambda на символ лямбды при отображении лиспокода. Никто это не называет лигатурой

что-то про Candy это называется

я человек простой: вижу, как разработчик шрефта называет это лигатурами — сам называю это лигатурами https://www.fsd.it/pragmatapro/PragmataPro_Haskell_liga.png

что-то про Candy это называется

типа того, да

я человек простой: вижу, как разработчик шрефта называет это лигатурами — сам называю это лигатурами https://www.fsd.it/pragmatapro/PragmataPro_Haskell_liga.png

действительно, есть лигатурный механизм в юникоде, предназначенный для лигатур, но разработчики шрифтов не всегда правильно его абьюзят

что-то про Candy это называется

в Leksah вроде бы тоже

я человек простой: вижу, как разработчик шрефта называет это лигатурами — сам называю это лигатурами https://www.fsd.it/pragmatapro/PragmataPro_Haskell_liga.png

Там нигде нет замены символов на другие. Только объединение

я человек простой: вижу, как разработчик шрефта называет это лигатурами — сам называю это лигатурами https://www.fsd.it/pragmatapro/PragmataPro_Haskell_liga.png

Так и надо

А то собрались тут академики

Ещё какие-то термины придумывают

Там нигде нет замены символов на другие. Только объединение

Хмм. Таки != заменяет. Фу

А то собрались тут академики

академики, вон в свою башню!

Там нигде нет замены символов на другие. Только объединение

в разделе "markdown checklist" на https://www.fsd.it/shop/fonts/pragmatapro/ есть ссылка: https://www.fsd.it/wp-content/uploads/markdown_checklist.gif

А зачем - непонятно, просто чтобы позанудствовать, ведь и так всем понятно чтт что значит

/= -> ≠ вот это норм

->. -> 🍭 тоже

А зачем - непонятно, просто чтобы позанудствовать, ведь и так всем понятно чтт что значит

Ты сам же недавно был был против того, чтобы вещи называть не своими именами?

А зачем - непонятно, просто чтобы позанудствовать, ведь и так всем понятно чтт что значит

"Скрипт" = всем понятно, что "язык с дин типизацией"

Больше типов богам типов!

с апмерсандом сложное историческое наследие. как с ss → ʃs → ß, p/c → %

"Скрипт" = всем понятно, что "язык с дин типизацией"

Turtle?

"Скрипт" = всем понятно, что "язык с дин типизацией"

мне непонятно

В этом чатике всем понятно должно быть :) Это ж местная шутейка

"Скрипт" = всем понятно, что "язык с дин типизацией"

Нет, вещи же вообще не связаны

Что мешает скрипту проходить стат проверку?

в разделе "markdown checklist" на https://www.fsd.it/shop/fonts/pragmatapro/ есть ссылка: https://www.fsd.it/wp-content/uploads/markdown_checklist.gif

когда ширина меняется, это ещё хуже

Ты сам же недавно был был против того, чтобы вещи называть не своими именами?

Нет, я не знаю, откуда такой вывод. Я бвл против формализмов, утверждая, что общепринятный смысл терминах в головах куда важнее изначального определения

Но я это утврждал довольно давно, так что мб ты не про это

Я за то, чтобы называть вещи своими именами, а не так как "и так всем понятно"

Больше типов богам типов!

это про πроцессы и πараллелизм?

Нет, я не знаю, откуда такой вывод. Я бвл против формализмов, утверждая, что общепринятный смысл терминах в головах куда важнее изначального определения

"Общепринято", что монада, это "сложная хрень, чтобы делать IO". jQuery ещё

Как раз от разброда в головах спасает единая терминология. Максимально формальная

это про πроцессы и πараллелизм?

И co-ncurrency

"Общепринято", что монада, это "сложная хрень, чтобы делать IO". jQuery ещё

Должен уточнить, что в "определенном скоупе, в котором идёт обсуждение"

И co-ncurrency

они прямо в наши хаскельные типы их закодировали?

Так что да, для людей, не использующий монады, определение, что монада - это старинная херь для ио - куда лучшее и полезное определение, чем определение в головах хаскелистов или математиков. В скоупе хаскелистов обратное. В скоупе математиков у монады тоже не такое определение, как у хаскелистов

@anton_rich будет жить. Поприветствуем!

они прямо в наши хаскельные типы их закодировали?

Кто-то сталкивался с тем, что на Arch Linux stack build валится с Attempt to free invalid pointer 0x...? Конкретнее, пытаюсь собрать https://github.com/jpmorganchase/constellation

Очень похоже на https://github.com/commercialhaskell/stack/issues/2926

А как лучше сделать [Maybe (a, b)] -> ([a], [b])?

unzip . catMaybes

ой, нет, нужно сделать [Maybe (a, [b])] -> ([a], [b])

не тотально же

тут непонятно что делать

надо тогда какие-то дефолты для Nothing

не тотально же

Почему

Пара пустых списков же

надо тогда какие-то дефолты для Nothing

Зачем? Мне нужно собрать все a в список, а ещё сконкатенировать все существующие [b], если все элементы Nothing, то получится ([], [])

λ import Control.Arrow λ import Control.Monad λ import Data.Maye λ second join . unzip . catMaybes $ [Just (1, [2,3]), Nothing] ([1],[2,3]) или second mconcat . unzip . catMaybes

Отвечая на свой же вопрос. В Arch что-то не так c libleveldb.so, если заменить библиотекой от ubuntu - работает. Спасибо.

@greenest_pig будет жить. Поприветствуем!

еее, спам

какая сейчас в хаскеле система типов, System D?

System F omega :D

":D" - часть названия? 🤔

Конечно

а где про это написано?

Вообще я думал, что систем ф омега - это что-то старое, мб даже времен репорта

А сейчас DC там какой-нибудь

мне ответили в лс, так что всем пока

Ясно, тайные сведения

сейчас какая-то модификация System FC

сейчас какая-то модификация System FC

Что значит С?

по-моему было

System-F-omega-coerce-join

System FC была с 7.0 c 7.4 SystemFC↑ с 8.0 как-то еще по другому называется, не помню, какие там закорючки, System FC with Explicit Kind Equality короче