Телеграмм чат группы fprog

Идрис II аль-Азхар ибн Идрис I ибн АбдуллахИдрис I ибн Абдуллах (араб. إدريس الثاني الأزهر ابن إدريس الأكبر‎; 791 — 828) — сын Идриса I, основателя династии Идрисидов в Марокко, халиф.

Wikipedia

Идрис ибн Абдуллах

Идрис I ибн Абдуллах (араб. إدريس بن عبدالله‎; 745 (0745) — 791) — правнук Хасана ибн Али (и, таким образом, потомок пророка Мухаммеда), который бежал в 784 году с вольноотпущенником Рашидом от преследований Аббасидов на запад Северной Африки, где многие берберские племена, одни добровольно (ауреба), другие под силой оружия, признали его имамом. В 789 году своё подданство признали и правители Танжера и Тлемсена. В это время Идрис основал город Фес.

источник

12:52пожаловаться #14

A

Antonio in fprog_spb

если кому интересно: немного пересекается с темой вчерашнего доклада (только ats, а не idris)
след вторник, 21:00 MSK, zoom
https://www.meetup.com/Berlin-Functional-Programming-Group/events/275690047/

Meetup

ATS: Why Linear Types are the Future of Systems Programming

Tue, Feb 9, 2021, 7:00 PM: With Aditya "Deech" Siram!This talk will explore why ATS, a linearly typed ML for systems programming, should be the inspiration for the next generation of systems programmi

источник

13:01пожаловаться #15

A

Antonio in fprog_spb

запись обещают выложить)

источник

13:03пожаловаться #16

MP

Mike Potanin in fprog_spb

Yuuri

https://github.com/idris-lang/Idris2 :)

GitHub

idris-lang/Idris2

A purely functional programming language with first class types - idris-lang/Idris2

Меня больше заинтересовал https://granule-project.github.io/granule.html

The Granule Project

Language

The Granule Project: A Research Project Studying the Next Generation of Functional Programming Languages

источник

13:28пожаловаться #17

D

Denis Buzdalov in fprog_spb

Yuuri

Идрис II аль-Азхар ибн Идрис I ибн АбдуллахИдрис I ибн Абдуллах (араб. إدريس الثاني الأزهر ابن إدريس الأكبر‎; 791 — 828) — сын Идриса I, основателя династии Идрисидов в Марокко, халиф.

Wikipedia

Идрис ибн Абдуллах

Идрис I ибн Абдуллах (араб. إدريس بن عبدالله‎; 745 (0745) — 791) — правнук Хасана ибн Али (и, таким образом, потомок пророка Мухаммеда), который бежал в 784 году с вольноотпущенником Рашидом от преследований Аббасидов на запад Северной Африки, где многие берберские племена, одни добровольно (ауреба), другие под силой оружия, признали его имамом. В 789 году своё подданство признали и правители Танжера и Тлемсена. В это время Идрис основал город Фес.

Язык назван-то в честь https://ivortheengine.fandom.com/wiki/Idris

Ivor the Engine Wiki

Idris | Ivor the Engine Wiki | Fandom

источник

14:51пожаловаться #18

DG

Denis Gabidullin in fprog_spb

Mike Potanin

Меня больше заинтересовал https://granule-project.github.io/granule.html

The Granule Project

Language

The Granule Project: A Research Project Studying the Next Generation of Functional Programming Languages

А никто не видел сводной таблички:
* по X — существующие системы типов
* по Y — языки, которые эти системы поддерживают
?

источник

15:03пожаловаться #19

DG

Denis Gabidullin in fprog_spb

Как тут:
https://en.wikipedia.org/wiki/Comparison_of_programming_languages_by_type_system

Только среди языков вида Haskell/Agda/Idris/Idris2/Coq/F*/Granule/...

И с более детальным описанием системы типов.

Wikipedia

Comparison of programming languages by type system

This is a comparison of the features of the type systems and type checking of multiple programming languages.

источник

15:03пожаловаться #20