DR
Да
Size: a a a
2021 June 01
X
Почитай про Хиндли-Милнера
X
А что за язык ты придумал?
o
pascal 2
AB
https://online.stanford.edu/courses/soe-ycscs1-compilers - но это может быть более базовым, чем тебе хочется
https://plzoo.andrej.com/ - дистиллированные примеры
можно почитать пейперы и посмотреть внутрь gradualizer, но он может быть чересчур real-world для использования в качестве примера. можно попробовать списаться с авторами
https://plzoo.andrej.com/ - дистиллированные примеры
можно почитать пейперы и посмотреть внутрь gradualizer, но он может быть чересчур real-world для использования в качестве примера. можно попробовать списаться с авторами
Aß
Types and Programming Languages, B. C. Pierce; Software Foundations второй том
DR
Жаль в первом не указан список тем (и сколько уделяется типам)…. Так-то тематику компиляторов и опыт создания своих языков (с динамической типизацией) есть.
DR
Вот, кажется то, что мне нужно: https://plzoo.andrej.com/language/poly.html
Спасибо, очень интересный ресурс!
Спасибо, очень интересный ресурс!
AB
а если не секрет, тебе зачем?
DR
Есть ETL тул поверх кликхауза, есть свой язык, который транслируется в данный момент в SQL кликхауза - и в этом языке есть проблемы с типами.
Чтобы всё работало - нужно понимать какие типы входят в функции и какие возвращаются из функций. Т.е. по сути нужно до выполнения запроса понимать на каких этапах какие типы.
В общем, нужно перед тем, как отправлять запрос - понимать корректный он или нет - и если проблема с типами - указать на неё конечному пользователю. А то, как я помню кликхауз не очень понятные ошибки возвращает.
Чтобы всё работало - нужно понимать какие типы входят в функции и какие возвращаются из функций. Т.е. по сути нужно до выполнения запроса понимать на каких этапах какие типы.
В общем, нужно перед тем, как отправлять запрос - понимать корректный он или нет - и если проблема с типами - указать на неё конечному пользователю. А то, как я помню кликхауз не очень понятные ошибки возвращает.
DR
И соответственно есть определённое количество человекомесяцев на решение этой проблемы, потому что ошибки, связанные с этим всплывают то тут, то там.
X
В чём отличие use и import?
DR
import импортирует только функции и макро из выбранного модуля, а use вызывает макрос __using__/1 - который может сделать почти всё что угодно, наимпортировать из 10-ка модулей, сгенерировать функции и в целом выполнить какой-нибудь кусок кода.
DE
Всем привет!
В эту пятницу (4 июня) проводим очередной elixir drink-up в Питере. Как всегда будем тереть за жизнь или elixir и будем рады всем кто придет
https://www.meetup.com/ru-RU/Elixir-Lang-St-Petersburg/events/nnnrgsyccjbgb
В эту пятницу (4 июня) проводим очередной elixir drink-up в Питере. Как всегда будем тереть за жизнь или elixir и будем рады всем кто придет
https://www.meetup.com/ru-RU/Elixir-Lang-St-Petersburg/events/nnnrgsyccjbgb
X
Это что получается, Application использует сам себя?
ŹR
JavaScript использует Java?
T
это другой модуль
X
Понял
X
Для некоторых и разница между этими языками неочевидна
T
ну мы таких всуе упоминать не будем, правда ведь?