ML
Тоже хочу, но возможно он слишком сложноват для типов.
Надо свой язык писать (на окамле конечно же - он же для компиляторов и подходит)
Надо свой язык писать (на окамле конечно же - он же для компиляторов и подходит)
Ну я имел в виду мапы/списки
Size: a a a
2020 April 28
ML
Без нужды каждой конфигурации давать осмысленное название
СГ
Фиг знает это.
Просто с этого надо начинать названия вариантов, что бы они определись как PV
Как видишь тип эффектов отдельно не описан, он выводится на лету.
Просто с этого надо начинать названия вариантов, что бы они определись как PV
Как видишь тип эффектов отдельно не описан, он выводится на лету.
Можно поподробней про это?
I
Можно поподробней про это?
Про варианты тут хорошо описано https://dev.realworldocaml.org/variants.html
Это как обычные варианты (tagged union types), только вместо явного типа - структурная типизация.
Позволяет в разных местах программы объявлять варианты,
а потом где-то в корне паттерн матчить - и все типы должны сойтись (или не скомпилится)
Это как обычные варианты (tagged union types), только вместо явного типа - структурная типизация.
Позволяет в разных местах программы объявлять варианты,
а потом где-то в корне паттерн матчить - и все типы должны сойтись (или не скомпилится)
СГ
Про варианты тут хорошо описано https://dev.realworldocaml.org/variants.html
Это как обычные варианты (tagged union types), только вместо явного типа - структурная типизация.
Позволяет в разных местах программы объявлять варианты,
а потом где-то в корне паттерн матчить - и все типы должны сойтись (или не скомпилится)
Это как обычные варианты (tagged union types), только вместо явного типа - структурная типизация.
Позволяет в разных местах программы объявлять варианты,
а потом где-то в корне паттерн матчить - и все типы должны сойтись (или не скомпилится)
Прикольно. Должен быть где то подвох
I
https://i.gyazo.com/cf2e3de2a4bb9bb944db929c0955072c.png
Возможно, я пока не глубоко копал.
На этом кстати сделана либка для json сериализации (yojson)
Вот тут матчишь union-types - и выводится обощенный тип, даже с вложенностью.
Возможно, я пока не глубоко копал.
На этом кстати сделана либка для json сериализации (yojson)
Вот тут матчишь union-types - и выводится обощенный тип, даже с вложенностью.
AN
Попытался рзгрести гору комментов под этим постом про С++. Все не осилю, но вот например нашел: https://habr.com/ru/post/497114/#comment_21551234
ВС
Попытался рзгрести гору комментов под этим постом про С++. Все не осилю, но вот например нашел: https://habr.com/ru/post/497114/#comment_21551234
Автор конечно еще та писака
AN
Автор конечно еще та писака
Кризис у него
ВС
Я позволил себе хотеть больше никогда не писать на плюсах, и у меня появились крылья.
ВС
«И я воспарил, как птица в синем небе»
AN
Я позволил себе хотеть больше никогда не писать на плюсах, и у меня появились крылья.
Хорошо написано между прочим
ВС
Хорошо написано между прочим
И я о том же. В программисты сейчас идут все. Даже талантливые люди
AN
Сколько ботов набежало
Х
Всем привет.Вопрос не по языку.В Postgresql в поле varchar хочу записать предложение “Hello world”, выдает ошибку синтаксиса (примерное положение “world”).Почему то выдает ошибку на слова после пробела😐
AN
Всем привет.Вопрос не по языку.В Postgresql в поле varchar хочу записать предложение “Hello world”, выдает ошибку синтаксиса (примерное положение “world”).Почему то выдает ошибку на слова после пробела😐
По какому языку? Какая либа? Какая блоха?
AM
Запрос что ли с текстом ошибки покажите...
AN
А, мои глаза. Так это ошибка внутри постгри