Д
все знакомые фронты говорят что он сейчас от нпм не особо отличается
Size: a a a
2020 February 04
A
всё так
K
Пролог-то нахрена
A
Kir
Пролог-то нахрена
для развития разработчиков, поднятия планки со дна хотя бы на миллиметр.
AH
Пролог, когда я про него прочитал, мозг вскрыл. Типа - а чо так можно было???
K
Пролог, когда я про него прочитал, мозг вскрыл. Типа - а чо так можно было???
Не без этого. Но, как я понимаю, оно требует теперь swi-prolog в зависимости?
K
Рекомендую сделать CE с возвратами и отсечками, для так сказать, большего погружения. Хрен знает, как отсечку делать, только. Ну и пролог-переменные не реализуемы
RL
Я когда то пролог студентам давал, для расширения кругозора. И самому разобраться.
K
Мне преподали пролог в универе, но окончательно въехал я после того, как прочитал про WAM. После чего я пошёл на нём фрилансить
K
А, не, отсечка вполне реализуема
K
K
В окамле их тоже нет, вот засада
K
https://gist.github.com/Heimdell/99b0a33a7f9f11816e8f1fcaec75970e - кто-нибудь знает, как слепить это из фарша чтобы оно не разваливалось?
Проблема явно в том, что fsc унифицирует
Проблема явно в том, что fsc унифицирует
'r с чем не следует, потому что 'r не экзистенциален, и в сигнатуре split одно из 'r должно быть свежей переменной.
AK
Мелисов с лютней забавно смотрится)
DS
Kir
Не очень понятно зачем, если можно эмулировать интерфейсом.
Не проще будет добавить синтаксис, чтобы можно было перегрузить операцию применения аргумента к чему-то и использовать тогда такие интерфейсы.
Типа как в скале:
identity(123)
Не проще будет добавить синтаксис, чтобы можно было перегрузить операцию применения аргумента к чему-то и использовать тогда такие интерфейсы.
Типа как в скале:
trait ~>[F[_], G[_]] {
def apply[T](f: F[T]): G[T]
}
object identity extends (Id ~> Id) {
def apply[T](t : T) = t
}
identity(123)
P
а зачем в фарше делегаты?
P
для чего они в шарпе, я понимаю
P
но тут?
DS
а зачем в фарше делегаты?
Для интеропа