p
новый парсер должен улучшить это дело
Это в 0.13? А когда? А не пробовали собрать компилятор из ветки с cst?
Size: a a a
2019 April 28
p
хаха, да, со временем даже как-то привыкаешь к этому и перестаёшь замечать, что это сложно. начинаешь сходу классифицировать и почти сразу "угадывать" что не так
В целом привыкаешь, но иногда все же сидишь, и втыкаешь типы / комментишь чтоб понять где отломалось.
ЗП
2019 May 02
YP
Как spago haloen v5.0.0-rc.4 поставить? Чет не нашел в доке способ указать версию.
ЗП
наверное ее можно указать в dhall файла
YP
Гы, в packages.dhall в примерх как подключить свежий halogen.
2019 May 04
AG
p
👍
2019 May 09
p
Подскажите, как и почему это работает в случае с массивом?
Разве это не impredicative polymorphism? Которого в PS нет?
Со списком ожидаемо не работает, но текст ошибки сбивает с толку.
http://try.purescript.org/?gist=6183cc3901977853c7aeea25e51b3cd7
Разве это не impredicative polymorphism? Которого в PS нет?
Со списком ожидаемо не работает, но текст ошибки сбивает с толку.
http://try.purescript.org/?gist=6183cc3901977853c7aeea25e51b3cd7
module Main where
import Prelude
import Data.Maybe
import Data.Array
import Data.List ( List( .. ), (:) )
import Control.Monad.Eff ( Eff )
main :: Eff () Unit
main = pure unit
type Poly = forall a . a -> a
poly :: Poly
poly = \ a -> a
fooA :: Array Poly
fooA = [ poly, poly ]
{-
The type variable a has escaped its scope, appearing in the type
List (a1 -> a1) -> List (a1 -> a1)
-}
-- fooL :: List Poly
-- fooL = poly : poly : Nil
-- baz :: Maybe Poly
baz :: _
baz = index fooA 0
VY
в пурсе вроде есть impredicative polymorphism
VY
но узнал я об этом только сейчас
p
в пурсе вроде есть impredicative polymorphism
Тогда что не так в примере с List.
VY
там он выводит
fooL :: forall a. List (a -> a)
p
Да, понятно что он выводит. Это нормально. Очевидно, что List Poly - более общий тип, и он сюда как-бы подходит ( если бы полиморфизм был импредикативным ). Просто система вывода не умеет выводить полиморфные типы высших рангов, поэтому выводит
forall a . List ( a -> a )p
Если определить
Будет такая же проблема как с List Poly:
Проблема в cons:
Мы хотим специализировать
Это тоже, в общем, понятно.
——
Допустим у нас есть магический конструктор массивов, [], который допускает:
( почему? )
Как тогда выводится
Разве мы не пытаемся специализировать
fooA :: Array Poly
fooA = poly : poly : []
Будет такая же проблема как с List Poly:
Array (a1 -> a1) -> Array (a1 -> a1)
Проблема в cons:
cons :: forall a. a -> Array a -> Array a
Мы хотим специализировать
a как Poly, а для этого нам нужен impredicative polymorphism ( IP ) Это тоже, в общем, понятно.
——
Допустим у нас есть магический конструктор массивов, [], который допускает:
[ poly, poly ] :: Array Poly
( почему? )
Как тогда выводится
index fooA 0
index :: forall a. Array a -> Int -> Maybe a
Разве мы не пытаемся специализировать
a в Poly? Почему это не IP?2019 May 12
p
p
Бинарь для x86-64 linux
VY
прям на порядки быстрее? или чуть-чуть?