G
Есть какой-то аналог template arguments C++, чтобы можно было строить типы в компайл тайме?
Size: a a a
2021 February 28
IR
ну... просто параметры типов
IR
покажи код который ты хотел бы написать, в любом фэнтези синтаксисе
ЗП
G
покажи код который ты хотел бы написать, в любом фэнтези синтаксисе
Например вот (тапл с N интами)
https://godbolt.org/z/o49a55
https://godbolt.org/z/o49a55
G
Я могу считать типы в аргументах:
{-# LANGUAGE FlexibleInstances #-}
class N a where
nNested :: a -> Int
instance N a => N [a] where
nNested = succ . nNested . head
instance {-# OVERLAPS #-} N a where
nNested _ = 0
nNested ([[[[]]]]::[[[[()]]]]) -- gives `4`
но конструировать — нет (cannot construct infinite type)G
ну... просто параметры типов
С ними можно сделать подобное, как в годболте выше?
DB
Есть у кого-то хороший ресурс чтобы вкатиться в лисп с нуля?
в который лисп?
JS
Есть у кого-то хороший ресурс чтобы вкатиться в лисп с нуля?
A
Есть у кого-то хороший ресурс чтобы вкатиться в лисп с нуля?
JS
примерно такая же история, что и с хаскелем.. порекомендую через оф. сайт, имея под рукой петпроджект
офсайт чего именно? кажется, лиспов сегодня чуть больше двух: CL, Racket и Clojure
A
офсайт чего именно? кажется, лиспов сегодня чуть больше двух: CL, Racket и Clojure
..схемка ещё жива и сродни CL, говорят.. ну чего-то из списка выше, я думаю..
JS
..схемка ещё жива и сродни CL, говорят.. ну чего-то из списка выше, я думаю..
я слышал, что живая схемка — это Racket