нет, но более ли?

Приблизительно настолько же, насколько scala более FP, чем COBOL

кстати соглашусь, идрис скорее ЛП чем ФП

Приблизительно настолько же, насколько scala более FP, чем COBOL

это все относительно

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

в идрисе даже напрямую инстансов для функций нет :)

в чем измеряется степень функциональности языка? :)

Способностью оперировать абстракциями, а не akka

Декларативность, Иммутабельность, Сиськи!11

Способностью оперировать абстракциями, а не akka

это не единицы

в идрисе даже напрямую инстансов для функций нет :)

Инстансов чего?

а ничего

нельзя написать instance Functor (->)

Ну я именно о таком уровне говорю.

Ну я именно о таком уровне говорю.

так надо указывать: бегиннер, интермидиэйт, флюент, вот это всё

нельзя написать instance Functor (->)

Потому что и некорректный инстанс, у (->) кайнд * -> * -> *, а для Functor нужен * -> *

Тут просто дело в терминологии. Я считаю, что зная синтаксис и базовые вещи ты уже можешь сказать - я знаю язык х. Но ты при этом не сможешь сказать, что я знаю его хорошо, или что я эксперт и вообще сеньор помидор

И для функции легко можно написать инстанс

попробуй :)

так надо указывать: бегиннер, интермидиэйт, флюент, вот это всё

Ну вообще, я просто видел там сверху вопросы типа: "а обязательно ли знать джаву для изучения скалы?" Мое имхо - желательно, но не обязательно. По ходу изучения скалы ты автоматом изучишь нужный минимум джавы.

попробуй :)

так писал же

люди, проблема при addSbtPlugin("com.typesafe.sbt" % "sbt-git" % "0.8.5")

не может скачать org.apache.commons#commons-compress;1.6!commons-compress.jar

мож кто у себя попробует?

попробуй :)

Просто конструктишь тип функций для нужного кайнда

Понятия Functor на уровн universe не существует

Это в недоFP типа scala, где даже кайндов полноценных нет, у компилятора нет проблем

не в этом дело

в идрисе (->) - не оператор

Не конструктор типа, ты хотел сказать

Именно в том и фишка, что это синтаксис, работающий с морфизмами на всех уровнях юниверса

Потому в скале и нет проблем, что там кроме уровня value и уровня типов больше нет ничего

Воеводский плачет от этого вашего shapeless

хм, а при чем тут воеводский?

hott точно так же в идрисе невыразим

https://github.com/fmota/HoTT-Idris/blob/master/bad.idr

?

Ок, 1:0

Давайте тогда вместо быдлоспоров о знании jvm, подумаем, как добавить нормальные quotient type ы в Idris, а в перспективе и в какой-нибудь лямбда-куб производный от Dotty

Всё одно лучше, чем считать себя фп-кодером, от того, что ты запихнул Free[Coyoneda[Future], ?], ?] в пул реквест и случайно прошёл ревью

А какой роскомнадзор удалил наши реплики "нет" "да"? это же был лучший момент вечера

а чо есть какой чятик по завтипам может?

чтоб не засорять тут мировой эфир

чот сомневаюсь

было бы неплохо позасорять вместо гнилых терок про синтаксис джавы ???

надо будет создать @idris_ru как 1.0 выйдет :)

+++, давайте

ну или type_theory_ru? :)

чтоб можно и про агду было

не, теорию уныло просто обсуждать

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

можно dependenttypes_ru или чото такое

можно да

naming things как известно одна из сложнейших проблем

ага :)

надо будет создать @idris_ru как 1.0 выйдет :)

так лучше сейчас сдеать

а когда у нас встреча будет?

какая встреча

митап

@fomkin говорил до нг должен быть

Давайте прям 31

да я за

Или может прям FP NY

Будем в топе унылых вечерин года

ERROR: S client not available

http://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html

ну как минимум happens before, представлять себе что где и в какой байткод генерируется, что такое invokedynamic, invokevirtual, SAM

Чой-то сложно. Когда-то читал про happens before, но забыл,акка все равно гарантирует. Но какие-то новые слова.спасибо!я не ради срача спросил,я пофакту пень в тюнинге джавы.

Чой-то сложно. Когда-то читал про happens before, но забыл,акка все равно гарантирует. Но какие-то новые слова.спасибо!я не ради срача спросил,я пофакту пень в тюнинге джавы.

очень советую доклады/статьи Шипилева, особенно про jmm, все понятным языком объясняет

Чой-то сложно. Когда-то читал про happens before, но забыл,акка все равно гарантирует. Но какие-то новые слова.спасибо!я не ради срача спросил,я пофакту пень в тюнинге джавы.

и, как уже говорил, вроде Денис Михайлов, лучше не брать с интернета портянки с параметрами jvm, может стать только хуже:)

расскажите пример из жизни, чтобы dependent types упростили существование

а гетерогенные листы не подходят?

ну мне нравится использовать полимфорные функции шеплейза; а для них нужны гетерогенные листы

кто знает почему может быть detach from HEAD на дженкинсе?

запускаю билд, и вместо мастера workspace в detached from ..

http://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html

You might ask, how does thisTransaction typecheck, since there is no longer a parameter with that name? In fact, thisTransaction is now a global definition

Вот это Одерски угарнул. Скоро на кофейной гуще придется гадать откуда берутся переменные)

появится слово explicit :) как в плюсах

мда

Да, пока кажется перебором. И пример дико синтетический, я бы такое на имплиситах в ревю не прпустил

@fomkin говорил до нг должен быть

Мне откровенно говоря не хочется собирать доклады и устраивать миниконференцию. Предлагаю просто бешно вломиться в какой-нибудь бар и люто нажраться как это делают дикие кабаны.

за скалу

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

Мне откровенно говоря не хочется собирать доклады и устраивать миниконференцию. Предлагаю просто бешно вломиться в какой-нибудь бар и люто нажраться как это делают дикие кабаны.

ну го

вот я за это

за скалу

как же подгорает от флюма :(

он троль

решил рабочие конфиги поправить чуть-чуть и всё пошло слонёнком

как же подгорает от флюма :(

не пользовался не могу ничего прокомментировать)

а потоками миррормейкром управляете?

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

может в будующем ¯\_(ツ)_/¯ или в каком проекте

Скаланы, а писал ли кто на скале микробенчмарки, и если да - то на чём? нашёл scalameter, но его мне не удалось завести с sbt, компиляция при использовании его DSL виснет наглухо, примеры вообще на старых снэпшотах сделаны и даже не компилируются

sbt-jmh

в репе есть и примеры

о, спасибо, вроде то, что надо

Мне откровенно говоря не хочется собирать доклады и устраивать миниконференцию. Предлагаю просто бешно вломиться в какой-нибудь бар и люто нажраться как это делают дикие кабаны.

Норм вариант