LINUX.ORG.RU

Idris


12

1

Всего сообщений: 20

Development
kookoo

15

Вышла новая версия 0.4.0 языка программирования Idris 2

idris зависимые типы функциональное программирование

t184256,

Development
monk

283

Зависимые типы, жидкие типы. Что лучше?

idris liquid haskell racket

monk,

Development
kookoo

19

Вышел новый релиз Idris 2 версии 0.3.0

idris зависимые типы функциональное программирование

anonymous,

Development
kookoo

1

Idris 2 почти готов для интерпрайза

idris java зависимые типы

AndreyKl,

Talks
kookoo

63

Как вам борщ²?

elixir erlang idris

yu-boot,

Development
kookoo

31

В Идрис 2 завезли Жабаскрипт кодогенератор

idris javascript node

dave,

Development
kookoo

13

Вышел Idris 2 версия 0.2.0

idris self-hosted зависимые типы

anonymous,

Talks
kookoo

5

Idris 2 теперь стал self-hosted

idris scheme self-hosted

AndreyKl,

Development
BRATISLAVA

31

Пруфы и Петросянство

idris зависимые типы пятница

next_time,

Development
kookoo

31

Стали доступны исходные коды Idris 2

idris зависимые типы функциональное программирование

kookoo,

Talks
Unununij

33

Накидайте книжек по теории типов

agda coq idris

Begpoug,

Development
mimimimi

30

Как вы дебажите код написанный на этих ваших чистых ФП языках?

haskell idris функциональное программирование

AndreyKl,

Development
mimimimi

22

Польза зависимых типов

idris зависимые типы

Crocodoom,

Development
mimimimi

11

Idris meets CL

common lisp idris lispworks

Virtuos86,

Development
mimimimi

4

Есть ли для Haskell библиотека для представления монетарных величин

haskell idris деньги

anonymous,

Development
mimimimi

11

Idris & Unicode

idris unicode

Unununij,

Development
mimimimi

14

Idris & JVM

gc idris jvm

AndreyKl,

Development
Unununij

3

решено Тупняк и Idris

haskell idris нубвопрос

Unununij,

Development
Oxdeadbeef

42

Стоит ли изучать Idris (вместо Haskell)?

haskell idris функциональное программирование

anonymous,

Talks
e1nste1n

2

Idris 1.0

idris зависимые типы

e1nste1n,