В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1589 membersпожаловаться на группу
2021 March 18

JS

Jerzy Syrowiecki in Haskell
а можно наоборот — в статических пользоваться одним типом там, где это нужно.

правда, это синтаксически обычно плохо выглядит, поэтому появляется поддержка языка, как dynamic в C#
источник
23:53пожаловаться#1

JS

Jerzy Syrowiecki in Haskell
Egor Zorin
А как же метапрограммирование или как там..
с ним всё хорошо, независимо от типов
источник
23:54пожаловаться#2

JS

Jerzy Syrowiecki in Haskell
Egor Zorin
А как же метапрограммирование или как там..
с типами метапрограммирование чуть удобнее
источник
23:54пожаловаться#3

EZ

Egor Zorin in Haskell
Jerzy Syrowiecki
с ним всё хорошо, независимо от типов
А я вроде читал что это можно только на динамических, но не проверял)
источник
23:54пожаловаться#4

L

Lierdakil in Haskell
Egor Zorin
А я вроде читал что это можно только на динамических, но не проверял)
Вас обманули
источник
23:55пожаловаться#5

JS

Jerzy Syrowiecki in Haskell
Egor Zorin
А я вроде читал что это можно только на динамических, но не проверял)
в Расте и Хаскеле есть отличные макросы с типами
источник
23:55пожаловаться#6

EZ

Egor Zorin in Haskell
Lierdakil
Вас обманули
(((
источник
23:56пожаловаться#7

JS

Jerzy Syrowiecki in Haskell
Egor Zorin
А я вроде читал что это можно только на динамических, но не проверял)
в С++ есть шаблоны (тоже метапрограммирование) и скоро будет код для этапа компиляции как в Хаскеле
источник
23:56пожаловаться#8

L

Lierdakil in Haskell
Jerzy Syrowiecki
а можно наоборот — в статических пользоваться одним типом там, где это нужно.

правда, это синтаксически обычно плохо выглядит, поэтому появляется поддержка языка, как dynamic в C#
Кстати да, из хаскела же тоже можно сделать динамически типизированный язык. Непонятно зачем, но можно. Typeable же. А ещё если не обращать внимание на DataKinds то на уровне типов хаскел выглядит почти как "динамически типизированный" (kind-ированный?)
источник
23:57пожаловаться#9

JS

Jerzy Syrowiecki in Haskell
Lierdakil
Кстати да, из хаскела же тоже можно сделать динамически типизированный язык. Непонятно зачем, но можно. Typeable же. А ещё если не обращать внимание на DataKinds то на уровне типов хаскел выглядит почти как "динамически типизированный" (kind-ированный?)
да, Typeable в компиляторе + Dynamic в библиотеке
источник
23:57пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
Lierdakil
Кстати да, из хаскела же тоже можно сделать динамически типизированный язык. Непонятно зачем, но можно. Typeable же. А ещё если не обращать внимание на DataKinds то на уровне типов хаскел выглядит почти как "динамически типизированный" (kind-ированный?)
потому что все типы — одного типа Type?
источник
23:58пожаловаться#11

L

Lierdakil in Haskell
Jerzy Syrowiecki
потому что все типы — одного типа Type?
Именно поэтому.
источник
23:58пожаловаться#12
2021 March 19

L

Lierdakil in Haskell
Jerzy Syrowiecki
потому что все типы — одного типа Type?
Но ещё конечно потому что проверка kind-ов в то же время когда и проверка типов, то есть в "рантайме" -- все типы же вычисляются при компиляции. Но это странный способ смотреть на вещи, да.
источник
00:01пожаловаться#13

JS

Jerzy Syrowiecki in Haskell
Lierdakil
Но ещё конечно потому что проверка kind-ов в то же время когда и проверка типов, то есть в "рантайме" -- все типы же вычисляются при компиляции. Но это странный способ смотреть на вещи, да.
напомнило https://aphyr.com/posts/342-typing-the-technical-interview
источник
00:06пожаловаться#14

JS

Jerzy Syrowiecki in Haskell
язык типов не только динамический, но и логический
источник
00:06пожаловаться#15

L

Lierdakil in Haskell
Jerzy Syrowiecki
язык типов не только динамический, но и логический
Ну смотря с какой стороны посмотреть. Если писать на тайпклассах, то тайпкласс на уровне типов это логический предикат, да. Но есть ведь ещё закрытые семейства типов -- на них можно вполне функциональный код писать.
источник
00:08пожаловаться#16

L

Lierdakil in Haskell
Jerzy Syrowiecki
напомнило https://aphyr.com/posts/342-typing-the-technical-interview
А эта статья меня в своё время вдохновила разобраться с тем как язык типов вообще работает. Но она не самые свежие техники использует, потому что она по мотивам type level insanity 2007 года, а закрытые семейства типов  у нас появились только в 14-м вроде. Я не пробовал, но на первый взгляд там многое можно упростить.
источник
00:14пожаловаться#17

O

Ortofax in Haskell
как-то можно ghci заставить напечатать типы для всех интересующих меня подвыражений внутри функции?
источник
03:50пожаловаться#18

O

Ortofax in Haskell
ну да, достаточно же сделать на них :: _
источник
04:06пожаловаться#19

I

Ivan in Haskell
Ortofax
ну да, достаточно же сделать на них :: _
этому трюку я только что научился, пока тут сижу разбираю материал этого господина:
https://www.youtube.com/watch?v=N9RUqGYuGfw
YouTube
JSON Parser 100% From Scratch in Haskell (only 111 lines)
Twitch: https://www.twitch.tv/tsodingGitHub Repo: https://github.com/tsoding/haskell-jsonMy Haskell Setup: https://www.youtube.com/watch?v=5p2Aq3bRuL0Unusual...
источник
04:23пожаловаться#20