Публикации по теме 'purescript'
Машинное отделение
Несколько слов из умов, которые строят Sylo.
Этот пост является первым из серии «отдел за отделом», в которой мы познакомим вас с людьми, благодаря которым Sylo работает.
Можно сказать, что бэкэнд-команда - это функциональное сердце такой компании, как наша; так с чего лучше начать?
Без лишних слов, вот несколько мыслей нашего ведущего инженера Феликса Шлиттера, разработчика PureScript Рохита Гровера, старшего инженера Скотта Твинейма, старшего инженера Джона Карло Сан Педро и..
Типы распаковки с помощью foldMap
Это Урок 10 из серии Сделайте скачок с JavaScript на PureScript . Обязательно прочитайте введение в серию, где я расскажу о целях и структуре, а также об установке, компиляции и запуске PureScript. Я буду публиковать новый учебник примерно раз в месяц. Так что возвращайтесь почаще, впереди еще много всего!
Индекс | ‹---------------- Введение ‹ Урок 9 | Урок 11› Урок 27 ››
Добро пожаловать в Урок 10 из серии Сделайте скачок от Javascript к PureScript..
Принудительная проверка на null с помощью разветвления составного кода с помощью Either
Примечание. Это Урок 3 из серии Сделайте скачок с JavaScript на PureScript . Обязательно прочитайте введение в серию, в которой мы освещаем цели и схему, а также установку, компиляцию и запуск PureScript. Я буду публиковать новый учебник примерно раз в месяц. Так что возвращайтесь почаще, впереди еще много всего!
Индекс | ‹ ‹ Урок 2 | Урок 4, часть 1› Урок 27 ››
Схема серии и примеры кода javascript были заимствованы с разрешения курса egghead.io..
Вопросы по теме 'purescript'
Функция не может использовать вывод типа, но я не понимаю, почему
Итак, вот моя тупая песочница для игры с Applicatives в PureScript.
module Main where
import Debug.Trace
data Foo a
= Foo a
instance showFoo :: (Show a) => Show (Foo a) where
show (Foo a) = "I pity da (Foo " ++ (show a) ++ ")"
instance...
110 просмотров
schedule
23.04.2022
Записи в PureScript
Я не совсем понимаю, почему это работает:
module Records where
type Element e = { element :: String, label :: String | e }
type Sel = ( value :: Number, values :: [Number] )
type Select = Element Sel
в то время как это говорит Cannot unify...
1589 просмотров
schedule
27.08.2022
Системное имя типа PureScript
Как правильно назвать систему типов, используемую в PureScript? Я ищу документы об этом и доказательства того, что это правильно.
В частности, поскольку система типов позволяет решить исключение как проблему скрытого канала связи, когда кто-то...
394 просмотров
schedule
03.10.2023
Purescript - невозможно объединить тип
Я новичок в Purescript (а также в Haskell), и у меня возникла ошибка, связанная с невозможностью унификации. Изначально у меня было:
newtype Domain = Domain String
newtype Keyword = Keyword String
type Result = {
domain :: Domain,...
314 просмотров
schedule
03.06.2023
Неизвестный модуль Data.List в psci
Я установил purescript с пивом
$ brew install purescript
Там нет проблем. когда я загружаю PSCI repl и делаю это:
import Data.List
я получил
Error in module $PSCI:
Unknown module Data.List
Что я делаю не так?
ОБНОВЛЕНИЕ...
1769 просмотров
schedule
31.12.2022
Конфликтующий импорт
Я могу запустить этот код в Haskell
module Foo where
test = 1
module Bar where
test = 2
module Main where
import Foo
import Bar
main = print "test"
Но компилятор PureScript возвращает ошибку
Конфликтующий импорт для теста из модулей...
102 просмотров
schedule
18.09.2023
Используйте purescript-галоген (с мякотью)
Следуя PureScript в качестве примера , я использую pulp для установки пакетов.
Галоген требует virtual-dom в качестве дополнительной зависимости. Из документации и примеров пакетов мне кажется, что его добавление включает в себя набор...
414 просмотров
schedule
06.02.2022
Ошибка: не удается найти модуль './pulp'
Попытка установить PureScript и пульпу на Windows 7 через node.js 5.3.0:
npm install -g purescript
npm install -g pulp
cd some-empty-dir
pulp init
Установки вроде бы работали правильно, но pulp всегда вылетает с ошибкой:
module.js:328...
746 просмотров
schedule
02.08.2022
Каков идиоматический способ работы с наследованием от javascript?
Например, библиотека javascript имеет эту иерархию
class Base
class Foo:Base
class Bar:Base
и эта функция
calc(x:Base) : Int
calc(new Bar())
Как написать эту функцию на PureScript?
foreign import calc :: ??? -> Int
137 просмотров
schedule
01.02.2023
Как мне смоделировать типобезопасный индекс в Purescript?
В моем приложении я хотел бы индексировать наборы объектов безопасным для типов способом, используя структуру, аналогичную индексу реляционной базы данных. Например, я мог бы захотеть проиндексировать набор объектов User в зависимости от возраста и...
204 просмотров
schedule
19.02.2022
многострочное логическое выражение в Haskell
У меня есть функция findEntryByAddress , которая имеет встроенное объявление filterEntry . Я хотел бы добавить еще одну логическую проверку, но тогда в одной строке было бы слишком много символов.
Как я могу разделить логическое выражение, по...
435 просмотров
schedule
20.06.2022
Конкатенация строк в Purescript
Играем с purescript и сталкиваемся со странной проблемой с конкатенацией строк. Я загрузил и импортировал Prelude , Data.List , Data.Maybe и Data.String (также пытался импортировать Data.Array ), но PSCi по-прежнему не распознает (++) . Это...
2467 просмотров
schedule
25.07.2023
Purescript Tutorial: журнал неизвестных значений
У меня около часа в изучении PureScript, и я наткнулся на препятствие, просматривая PureScript с помощью примера учебного пособия , рекомендованного PureScript на своем сайте. (Конкретно я нахожусь в разделе 2.10). Мне удалось все установить, и я...
1067 просмотров
schedule
10.06.2023
Почему у Eff нет стрелки для последнего возвращаемого значения
В превосходной книге по PureScript объясняется, что
fullName :: forall r. Record (firstName :: String, lastName :: String | r) -> String
fullName person = person.firstName <> " " <> person.lastName
а затем сравнивает монаду...
88 просмотров
schedule
01.01.2024
Стандартные операторы юникода в purescript
Глядя на это:
https://github.com/purescript/purescript/issues/1929
Я вижу, что в чистом скрипте есть поддержка юникода, например.
id :: ∀ a. a -> a
Есть ли где-нибудь список операторов по умолчанию?
579 просмотров
schedule
05.09.2022
Error vs ErrorEvent — используйте catchException в Purescript для обработки исключения
Я пытаюсь воспроизвести пример из книги Read PureScript by Example .
Я получаю эту ошибку:
Could not match type
Error
with type
ErrorEvent
Вот код, который я использовал, чтобы попытаться сделать POC из этого примера.
import...
335 просмотров
schedule
15.11.2022
Purescript Reuse Argonaut JSON Decoding for Affjax Respondeable
Я пытаюсь получить некоторые данные JSON с сервера Haskell, но у меня проблемы с экземпляром Respondeable, а также с Affjax в целом. Я определил EncodeJson + DecodeJson с помощью Data.Argonaut.Generic.Aeson (GA), но я не могу понять, как совместить...
776 просмотров
schedule
14.03.2022
Psci Uncaught ReferenceError: требование не определено при использовании порта
Я запускаю psci с портом, например
pulp psci -- -p9000
и это несовместимо с
Uncaught ReferenceError: require is not defined
at PSCI.Data.BigInt (bundle.js:52952)
at bundle.js:53042
Нашел это здесь...
227 просмотров
schedule
10.05.2023
Повторяющаяся ошибка исключения
Попытка вызвать Eff из Aff :
import Prelude
import Control.Monad.Aff (Aff, launchAff)
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Class (liftEff)
import Control.Monad.Eff.Console (CONSOLE, log)
import Control.Monad.Eff.Exception...
30 просмотров
schedule
21.07.2022
Как преобразовать частичные функции в безопасные (возможно) функции?
Я хочу, чтобы было удобнее использовать определяемую библиотекой partialfunc или написать обратный вызов с частичным сопоставлением с образцом. вот так,
partialMaybe :: forall a b. (Partial => a -> b) -> a -> Maybe b
Я не смог...
246 просмотров
schedule
26.10.2022