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

там то наверняка всё ок

там только == существовать будет наверное

хм, алиас типосемьи это же обобщение над просто тайп алиасом

то есть в принципе при наличии типосемей type можно выпиливать

?

type P a b = a -> b type family T a b :: Type type instance T a b = a -> b

то есть, алиас семьи это как обычный тайп только с расширенным паттерн-метчингом и клозами

точно зига

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

эти GADT и семья данных не эквивалентны

Попробуй принять SBool a на вход, по GADT-у сможешь паттерн-матчить, по семье данных не сможешь.

Другая семантика в GADT у тебя в рантайме будет храниться 0 (False) или 1 (True), в зависимости от конструктора в data family конструктор на каждый тип один, то есть 0 (False instance) и 1 (True instance)

@kana_sama У тебя могут быть даже инстаны data family представлены GADT-ами

data family F a b data instance F Int a where FII :: F Int Int FIB :: F Int Bool data instance F Bool a where FBI :: F Bool Int FBB :: F Bool Bool

хм

я понял разницу в семантике

в датасемьях каждый инстанс это вообще отдельный тип

а в gadt это один тип, индексированный разными типами

вопрос вроде как исчерпан

о лол

блин хаскель чат такой быстрый. раза 3 в день открываю а там по 200 непрочитаных накапливается

https://combot.org/chat/-1001043143583 но кстати тоже дохленький

как бы фп и здоровье не оче совместимы

как бы фп и здоровье не оче совместимы

rip

у моего брата рак из-за фп появился

ох вы и идиоты

превратили фп чат в какую-то херню

у моего брата рак из-за фп появился

у моего брата тоже, но потом он стал читать Егора Бугаенко и излечился

ого

Скала тут не в моде?

интересно поможет ли ему

Скала тут не в моде?

наверное да

а где она в моде вообще

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

как тут про раст например пишут

лол

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

список мне на емейл кому не похуй на скалу

автору скалы

да на самом деле скалистов полно

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

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

ненадо монад

админ фп чата

@@@

ненадо монад

/

https://github.com/telegram-ru/rules/blob/master/code-of-conduct.md

че думаете

как бы фп и здоровье не оче совместимы

у раста 65%

https://github.com/telegram-ru/rules/blob/master/code-of-conduct.md

плохо

https://github.com/telegram-ru/rules/blob/master/code-of-conduct.md

скучно

у раста 65%

ну там не оче фп

есть чат свифта?

@ios_ru

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

хм

а отдельно от мобильной разработки

лол

думаю что в том чате можно и про отдельно говорить

http://combot.org/chat/-1001063580584

раст живее ios

ERROR: S client not available

кто бы знал

лол

?

-2

https://github.com/hwayne/awesome-cold-showers

https://github.com/hwayne/awesome-cold-showers

Hype: "Static Typing reduces bugs." Shower: A review of all the available literature (up to 2014), showing that the solid research is inconclusive, while the conclusive research had methodological issues. Caveats: Does not cover other possible benefits of static typing, like documentation. Does not address research on gradual type systems, like mypy or Typescript.

В пасте не соврал

Бесполезные типы для ? которые подделывают результаты в пейперах чтобы научрук одобрил

unironically система типов мне довольно часто помогала

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

https://github.com/hwayne/awesome-cold-showers

Hype: "Formal Verification is a great way to write software. We should prove all of our code correct." Shower: Extensive literature review showing that formal methods are hard to learn, extremely expensive to apply, and often miss critical bugs. Caveats: Written in 2000 and doesn't cover modern tools/techniques, such as TLA+ or dependent typing. Notes: Part of Peter Gutmann's thesis, "The Design and Verification of a Cryptographic Security Architecture".

Ха, щас зига прочитает

И все

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

Ну в иде это можно и без компилятора аж

не хочу иде

Ну мы же про эффективность

А так норм канешна

Шутки, уничтожающие достоинство, это неплохо.

лол

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

Я не менял мнения.

ты ж говорил никакой абстракции от файловой системы

Никакой, да.

так судя по последним твоим словам, ты такое хочешь сделать

Нет, я подумываю над таким вариантом маппинга: $mol_view_tree => /mol/view_tree/ Тогда при публикации в npm можно было бы использовать scoped имена вида @mol/view_tree Ну и скорее всего это плохая идея.

import {view_tree} from 'mol'?

Нет, сейчас так: const { $mol_plot_pane } = require( 'mol_plot_all' )

а scoped что даст?

в мол теперь ИМПОРТЫ

когда свой язык будет

зачем во всех словах префикс mol?