Публикации по теме 'purescript'
Правдивая история обуздания цепочек обещаний с помощью purescript
У меня была большая цепочка обещаний, которая последовательно выполняла кучу проверок смарт-контракта Ethereum в javascript, и это было своего рода болью. Этот код с радостью сделал бы все, что угодно, если бы возврат был опущен, сообщение было заменено на необходимый параметр или просто что угодно. И это очень много кода (611 строк однострочного обещания после однострочного обещания). Мне нужно было исправить это так или иначе.
Поскольку я много экспериментировал с purescript, мне было..
Вопросы по теме 'purescript'
Ошибка типа PureScript трудно понять
Это компилирует
foo ma = case ma of
[Just a] -> newRVar 0 >>= a
view :: forall a eff.
M.Map String (Linker Number a eff) ->
String ->
Eff...
303 просмотров
schedule
20.12.2023
Как объединить эффективные обработчики событий и пользовательские обновления событий в purescript-halogen?
В моем собственном проекте Halogen/Purescript я следую шаблону из Пример AJAX , где я разделяю свои действия на чистые Input и действенные Request .
Я хочу изменить свой обработчик событий, чтобы использовать поведение preventDefault , но не...
553 просмотров
schedule
29.02.2024
Поддерживает ли PureScript «строки формата», такие как C/Java и т. д.?
Мне нужно вывести число с ведущими нулями и как шесть цифр. В C или Java я бы использовал "%06d" в качестве строки формата для этого. Поддерживает ли PureScript строки формата? Или как мне этого добиться?
305 просмотров
schedule
22.05.2024
Как свернуть Either в PureScript?
У меня есть объект типа Either String (Either String Int) . Я хотел бы свернуть его до объекта типа Either String Int .
Есть ли в PureScript для этого функция?
360 просмотров
schedule
14.06.2024
В чем разница между pullFrom и connect в purescript-coroutines?
Я не уверен, что понимаю, почему в connect и pullFrom . rel="nofollow noreferrer">purescript-coroutines и когда вы будете использовать их обе. Глядя на типы, кажется, что они привыкли менять «направление общения» (я не уверен, что это правильный...
126 просмотров
schedule
06.12.2023
Скомпилируйте функцию PureScript в некаррированную функцию JavaScript
Следующая функция PureScript:
add :: Number -> Number -> Number
add a b = a + b
... компилируется в JavaScript следующим образом:
var add = function (a) {
return function (b) {
return a + b;
};
};
Я хотел бы...
131 просмотров
schedule
25.11.2022
Purescript: рисование изображения на холсте
Я хотел бы использовать Purescript для рисования изображения на холсте. Когда я сделал это в Javascript, это выглядело примерно так:
window.onload = function() {
var c=document.getElementById("myCanvas");
var ctx=c.getContext("2d");...
239 просмотров
schedule
23.12.2023
Найти все экземпляры определенного класса
Есть ли способ прагматически перечислить все экземпляры класса? В Pursuit я вижу, что у Extend есть 2 экземпляра, но что, если у меня есть другие экземпляры, объявленные в моей кодовой базе? Можно ли это сделать хотя бы в pulp repl ?
71 просмотров
schedule
04.11.2023
Можно ли получить общий экземпляр рекурсивного типа данных?
Я играю с некоторыми типами и компилятором PureScript. Это типы, которые я создал (вольно украл из purescript-dsl-example ) :
newtype User = User
{ id :: Int
, name :: String
}
data Command a = Add User a
| Remove Int a...
82 просмотров
schedule
02.12.2023
Понимание нового типа и когда его использовать
Я новичок в чистом скрипте и функциональном программировании.
Новые типы отличаются с точки зрения системы типов. Это дает дополнительный уровень безопасности типов.
Вот как выглядят начальные ~50 строк кода для моего Решателя судоку (пока):...
36 просмотров
schedule
19.01.2024
Экземпляр Eq с ограничениями класса типов и без них
Вот реализация Eq для моего алгебраического типа данных (ADT)
data Stateful a =
Advancing a
| Stable a
| Finished a
instance statefulEq :: (Eq a) => Eq (Stateful a)
where
eq (Advancing x) (Advancing y) = eq x y
eq (Stable x)...
19 просмотров
schedule
02.06.2024
Общие сведения об ошибке компилятора несоответствия типов в Purescript
Проблема:
Я не могу найти способ понять ошибку в этом коде:
import Prelude
import Data.Array.ST (STArray, modify, run, thaw, freeze)
mpi :: forall a. Array a -> Array a
mpi array = run do
mutableArray <- thaw array
freeze mutableArray...
22 просмотров
schedule
21.11.2022