Можно посмотреть, как гугл попытался пропихнуть дарт и сразу понять, что это за причины

Яванский сценарий звучит как термин про начало войны

дак эльмом пользуйтесь

Языки с зачаточными системами типов, компилирующиеся в жс странный ответ на вопрос "почему никто не вводит новые технологии в веб"

думаю не о том, что нужно менять то, что есть. можно же предложить альтернативы. Хоть сейчас и мода на однообразие хотя, однообразие в ожидаемом функционале и намекает на возможность упростить язык для навигатора

думаю не о том, что нужно менять то, что есть. можно же предложить альтернативы. Хоть сейчас и мода на однообразие хотя, однообразие в ожидаемом функционале и намекает на возможность упростить язык для навигатора

ну где-то ещё есть хромиум, поддерживающий дарт, вот тебе многообразие

почитаю про dart. Пасиб! ?? я думал о языке без xml и без js что-нибудь попроще и понадёжнее

почитаю про dart. Пасиб! ?? я думал о языке без xml и без js что-нибудь попроще и понадёжнее

Go

Как правильно перевести browsers?

веб-обозреватель

> it's not possible to directly interact with JavaScript libraries in Dart. ? > Doesn’t generate consumable JavaScript https://www.slant.co/versus/126/383/~golang_vs_dart

А как вы относитесь к тому, что другие языки тащат из Haskell концепции и выдают это за *Великие Изобретения* (ТМ), ни словом не обмолвившись, откуда это пришло? И есть ли такие вещи в самом Haskell? Не считая прямого наследия от ML-языков, конечно.

такого почти не бывает же

А как вы относитесь к тому, что другие языки тащат из Haskell концепции и выдают это за *Великие Изобретения* (ТМ), ни словом не обмолвившись, откуда это пришло? И есть ли такие вещи в самом Haskell? Не считая прямого наследия от ML-языков, конечно.

Хорошо отношусь, ещё не хватало копирастии в ЯП

Все языки тащат у всех, и это прекрасно

Все языки тащат у всех, и это прекрасно

+

Anton (@uuttff8?) Kuzmin (0) увеличил репутацию Ilya Pershin (1)

да не особо тащат

чаще велосипеды с квадратными колесами изобретают

чаще велосипеды с квадратными колесами изобретают

я бы даже сказал без колес

веб-обозреватель

клика (клиент, кликать) кликало клюка (+ глюк)

А мышь -- кликуша

Ну... Ок.

мышь и так норм.

Я однажды потроллил их чатик на эту тему :))

что-то никто не запомнил

когда это было?

Ну, скалисты, например, активно ратуют за позицию, что их for - это нечто уникальное.

например, какой скалист?

клика (клиент, кликать) кликало клюка (+ глюк)

А Haskell - это Колмогоров или Марков, тоже ничё так

А Haskell - это Колмогоров или Марков, тоже ничё так

Тогда уж Шейнфинкель, для восстановления справедливости

А Haskell - это Колмогоров или Марков, тоже ничё так

АНДРЕЙ

АНДРЕИЧ

ААМ

советский аналог хаскеля бейнса карри - андрей андреич марков

Марков уже в рефале осуществлён

ну вот. С именем почти определились. Осталось описать язык и написать компилятор.

Ну Марков не будет функциональным + рефал, да

Как там с суперкомпиляцией-то? Не смогли?

Ну Марков не будет функциональным + рефал, да

Если бы я закончил матмех, то генеологию математическую от маркова бы вёл как раз

Как там с суперкомпиляцией-то? Не смогли?

Ещё в советское время ж смогли

Ну начали смагивать же

А потом выяснилось, что сложно некоторые структуры сворачивать, разве нет?

Насколько я понимаю уже когда стали к джаве в нулевые прикручивать выяснилось

Ну вот и я что-то такое читал. Дальше продвижений не было?

Ну это хз, турчин давно престарелый западный академик. Я только с советской историей знаком

Но я думаю, что это классическая задача, сводящаяся к проблеме останова. Если у тебя рекурсивные ссылки в данных не ограничены никак, то суперкомпиляция требует оракула.

В рефале работало, потому что там ссылок и указателей нету

ну вот. С именем почти определились. Осталось описать язык и написать компилятор.

в гхц в парсере кейворды на кириллические поменять и все

когда это было?

24 июля

например, какой скалист?

Да я их помню разве

в гхц в парсере кейворды на кириллические поменять и все

если ГХЦ считать совершенством, то можно скормить ему АСТ, минуя парсер. А парсер вывести в отдельную либу. Тогда можно будет настраивать ГХЦ на любой язык.

Но я думаю, что это классическая задача, сводящаяся к проблеме останова. Если у тебя рекурсивные ссылки в данных не ограничены никак, то суперкомпиляция требует оракула.

Что-то ещё делают: https://research.jetbrains.org/ru/news/seminar-on-homeomorphic-embedding-for-supercompilation-termination

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

Эмм, наверное, надо развернуть мысль?

Наверное это он мне

Ну и хорошо

Эмм, наверное, надо развернуть мысль?

По аннотации в три строчки сложно судить, но выглядит так, будто они делают вложение языка в его тотальное подмножество, для которого суперкомпиляция уже нормально работает. Иными словами -- выделяют в языке устойчивые тотальные структуры (индукцию, например) и суперкомпилируют только их, а сложные рекурсивные не трогают так, будто это целостные атомарные термы. Похожие хаки с оптимальной редукцией делают. Но это гипотеза, конечно

суперкомпиляция это специализация + global program optimization с явным разворачиванием условий и оптимизацией с их учётом?

или я все не правильно понимаю и стоит почитать?

Я это так же себе представляю.

ERROR: S client not available

На fprog статья была

Сейчас...

http://fprog.ru/2011/issue7/ -- там "Суперкомпиляция: идеи и методы"

Последний хороший обзор, который я читал. Думал, может, с 2011-го что-то ещё появилось. Кто-нить в курсе?

Можно попробовать посмотреть работы от Geoff Hamilton

+

@hsslbch будет жить. Поприветствуем!

@dmitryfrolove будет жить. Поприветствуем!

Есть тут люди знакомые с APS standard?

это вообще из какой области?

Похоже https://www.apsstandard.org

O_O

Это похоже на виндовое администрирование

Подскажите, пожалуйста, как понять эту запись?

Это из статьи Олега Киселёва "Typed Tagless Final Interpreters"

http://okmij.org/ftp/tagless-final/course/lecture.pdf

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

внутрь Wrapped можно положить значение любого типа, реализующего ExpSYM

Видимо, Haskell придется учить в любом случае, так как он, судя по-всему, lungua-franca в фп

В скале нет forall, потэтому придется сделать отдельный трейт с этим методом

Полиморфная функция forall a. f a - > a внутри типа-обертки

Полиморфная это значит, что функцию с сигнатурой f Int -> Int ты туда уже не засунешь

Полиморфная функция forall a. f a - > a внутри типа-обертки

там нет такого

trait ForAllWithExpSYM { def apply[Repr: ExpSYM]: Repr }

final case class Wrapped(unwrap: ForAllWithExpSYM) extends AnyVal

там нет такого

Действительно, вид стрелки перепутал, то что выше можно не читать

C Either думаю понятно