если stg типизированный - то тогда лезут с cmm

который типизированный настолько же насколько asm

а в RTS вообще почти все void *

О сколько нам открытий чудных готовит запуск бенчмарков. Откуда берутся 20х тормоза?

это 8.4 ?

Нет. 8.0

по сравнению с чем?

Два похожим куска кода. Один тормозит — другой нет

так это нормально

мне больше всего понравилось fold (U.foldr ..) vs (U.foldr (U.foldr )

в обоих случаях собирают билдер

второй тормозит в 20х или больше

корку разобрать я не осилил, т.к. во втором все заинлайнено и она ОГРОМНАЯ

@qnikst, если я буду, положим, свой ФЯП делать, можно в качестве бекенда использовать GHC для компиляции GHC Core?

А как кабал можно попросить сдампить корку?

это разумного вроде

@PineappleZombie -options-ghc=-ddump-all -ddump-to-files?

Backwarded from Антон не очень понял

вон clay вроде ghc исопльзует чтобы получить stg и из него сам в верилог собирает

@qnikst, если я буду, положим, свой ФЯП делать, можно в качестве бекенда использовать GHC для компиляции GHC Core?

это не очень просто будет, может сейчас такое и можно делать плагинами компилятора, а может и нет. Проще будет, наверное, хаскель генерировать

т.е. пишешь на haskell - получаешь verilog

если хочется компилировать свой язык в core/stg и потом просить ghc дособрать - то не знаю, наверное как-то плагинами возможно

вон clay вроде ghc исопльзует чтобы получить stg и из него сам в верилог собирает

я понял, что надо наоборот

это не очень просто будет, может сейчас такое и можно делать плагинами компилятора, а может и нет. Проще будет, наверное, хаскель генерировать

А если семантика не проецируется на семантику Хаскелля?

мне тоже так показалось

А если семантика не проецируется на семантику Хаскелля?

а на корку проецируется?

а на корку проецируется?

Корка ж вроде более низкоуровневая

да, там есть нюансы с case of, но в принципе разница, я думаю, того не стоит

@PineappleZombie -options-ghc=-ddump-all -ddump-to-files?

Нету такой опции. Ладно, накостылю что-нибудь на шелле

а если у языка система типов, к примеру, другая тут надо не корку а стг генерить

но свой стг запихать в гхц пайплайн еще сложнее, да и оптимизации все (кроме одной) для корки

но свой стг запихать в гхц пайплайн еще сложнее, да и оптимизации все (кроме одной) для корки

То есть как бекенд GHC не особо юзабелен

не особо

при этом если ты пишешь свои функции serialize/deserialize, то теги и списки можно убрать

Я бы не хотел этого делать. Хочу выводимые инстансы.

Нету такой опции. Ладно, накостылю что-нибудь на шелле

--ghc-options что-то такое есть

я не помню точно что

кстати typed оптимизации это круто

@qnikst там еще добавилось. а после срача у Серокеллов будем громко биться об ладонь.

Наша очередная встреча пройдет на общей площадке с другими ИТ-сообществами в рамках IT Global Meetup #12. Секция FProg будет представлена двумя докладами: - Обзор методов программирования для Web на языке OCaml Дмитрий Косарев, сотрудник Лаборатории языковых инструментов (СПбГУ / JetBrains Research), расскажет о том, как создавать Web-приложения на языке OCaml с помощью фреймворка Ocsigen, а также упомянет два способа заменить JavaScript с помощью OCaml. - Прагматичные зависимые типы для прагматичных программистов Вячеслав Шебанов, разработчик сервиса сообщений в VK, адепт строгой типизации, рассмотрит в своем докладе применение зависимых типов не столько для верификации, сколько для решения прикладных проблем программирования, в частности с использованием языка Idris. А на сладкое мы оставили дебаты за типизацию совместно с PiterJS Так ли нужна статическая типизация? Встречаемся 17 марта 2018 г. с 11:00 до 18:00 по адресу пр. Медиков д.3, к.1, КДЦ «Club House». Вход на мероприятие бесплатный, регистрация по ссылке https://piter-united.timepad.ru/event/672983/ Промокод: FProg

@lonokhov о, прикольно

если @termina1 не расскажет тут краткую версию доклада то возможно стоит ехать

прикладные завтипы не про Vec всегда интересны :Р

@lonokhov о, прикольно

только если ты билет не взял, то придется футболку покупать походу

/me успел

ничего страшного, авось не разорюсь

если вообще поеду, я ж ни разу не ездил, такую традицию разбивать

тебя же там поклонники ждут

:(

чего-то новый backendsecret скучный, дискуссии про метапроблемы, отписаться чтоли до тех пор как Шевченко не придёт

Я отписался

метапроблемы - проблемы обсуждения проблем в формате свитера?

У вас есть проблема, и вы решили использовать мета-программирование. Теперь у вас есть мета-проблема.

да

и всякие философствования о программировании и его проблемах

прикладные завтипы не про Vec всегда интересны :Р

собираюсь пойти в вглубь

без туториалов по идрису

Кстати про натягивание. Осталась ли у кого картинка с велосипедистом и String->String->String?

вот нету, она бы помогла

чего-то новый backendsecret скучный, дискуссии про метапроблемы, отписаться чтоли до тех пор как Шевченко не придёт

Он тоже подвязался туда чтоль?

Он тоже подвязался туда чтоль?

да, с 18марта

собираюсь пойти в вглубь

👍

собираюсь пойти в вглубь

круто

у вас есть проблема, вы пишите язык для решения этой проблемы

программисты используют ваш язык для решения всех проблем кроме вашей

функциональное программирование об этом

только там не язык а eDSL

(вторая часть не применима, правда)

почему там хаскель никто не представляет?

на дебаты никого не звали громко

хаскелисты немного вне ядра fprog_spb

в общем-то у меня было ощущение (когда я там стал появляеться) что там представлены динамические и теорем пруверы

без существенного количества людей в центре

из Serokell я там один раз @chshersh видел, вроде больше никого, я там 2 раза доклады делал

когда-то очень давно 1 раз из Selectel были

А @catamorphism ты там не видел?

А @astynax и @4e6?

Ишь... Обижаешь пацанов

это ж варяги

я про то, что все кто докладывал обычно там не присутвуют и приезжают

на правах смешных гостей, я в общем-то тоже там на таких же правах

(моё мнение может быть необъективно)