Size: a a a

2020 May 14

JS

Jerzy Syrowiecki in fprog_spb
neFormal
Что функция делает? Где описание алгоритма?
очевидно, парсит URL из текста. чтобы ею пользоваться, алгоритм описывать не нужно
источник

K

Kakadu in fprog_spb
Кложуристы, а кто-нить использует core.logic? Может сможет рассказат как Вы его используете?
источник

YS

Yan Shkurinskiy in fprog_spb
Меня упоминали, зашел - не нашёл кто х(
источник

AV

Alexander Vershilov in fprog_spb
neFormal
Я бы показал, но уже не хочется. 😆
Уже нечего, процесс то уже прошёл
источник

n

neFormal in fprog_spb
Denis Shevchenko
Ты читал мой комментарий полностью? Или хочешь просто поспорить?
Ты понимаешь смысл слова "документация"?
источник

K

Kakadu in fprog_spb
Denis Shevchenko
parseURL :: Text -> Maybe URL

Даже если я не видел внутренний код этой функции, я точно знаю, что:

1. Она принимает одно текстовое значение.
2. Она возвращает либо URL, либо ничего.
3. Она не лезет во внешний мир.

Если же я вижу вот это:

parseURL :: Text -> Either ParseError URL

то уже знаю, что она возвращает либо URL, либо информацию об ошибке (если таковая случилась).
Про не лезет во внешний мир. Что на счет performUnsafeIO или как его там?
источник

AV

Alexander Vershilov in fprog_spb
В общем если я придумаю, когда смогу заранее спланировать доработки то напишу
источник

AV

Alexander Vershilov in fprog_spb
Kakadu
Про не лезет во внешний мир. Что на счет performUnsafeIO или как его там?
{-# LANGUAGE Safe #-} !!!
источник

AV

Alexander Vershilov in fprog_spb
(я сделаю вид, что я серьёзно)
источник

K

Kakadu in fprog_spb
Окей, я понял)
источник

n

neFormal in fprog_spb
Jerzy Syrowiecki
очевидно, парсит URL из текста. чтобы ею пользоваться, алгоритм описывать не нужно
Ровно до тех пор, пока не появляются условности. Так и на питоне люди по контексту понимают типы
источник

DS

Denis Shevchenko in fprog_spb
Kakadu
Про не лезет во внешний мир. Что на счет performUnsafeIO или как его там?
Да, такое возможно запихнуть в любую чистую функци. Но можно собрать проект в Safe-режиме - и тогда компилятор покажет все такие места.
источник

JS

Jerzy Syrowiecki in fprog_spb
Kakadu
Про не лезет во внешний мир. Что на счет performUnsafeIO или как его там?
performUnsafeIO не используют там, где это не нужно
источник

AV

Alexander Vershilov in fprog_spb
Kakadu
Окей, я понял)
xsafe теоритически должен помочь, но он не работает
источник

DS

Denis Shevchenko in fprog_spb
работает, но с оговорками
источник

AV

Alexander Vershilov in fprog_spb
Можно написать thustworthy в плохом модуле
источник

DS

Denis Shevchenko in fprog_spb
особенно если линзы подключить 😂
источник

JS

Jerzy Syrowiecki in fprog_spb
neFormal
Ты понимаешь смысл слова "документация"?
документация — это как типы, только не работает и быстро начинает расходиться с кодом
источник

AV

Alexander Vershilov in fprog_spb
Я ловил сегфолты в xsafe коде без использования unsafe операций
источник

YS

Yan Shkurinskiy in fprog_spb
Если бы у меня был опыт, скилл и прямые руки - показал бы свой флоу на хаскеле
источник