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

15:30пожаловаться #1

Jerzy Syrowiecki in fprog_spb

den_po

был чатик в телеграме, где хотели какое-то фп на плюсах делать. странный чатик.

есть @graninas, который не только хотел, но и сделал много интересных ФП библиотек на С++

Александр Гранин... in fprog_spb

15:30пожаловаться #2

АГ

А о ФП на плюсах слышал

Александр Гранин... in fprog_spb

15:30пожаловаться #3

АГ

Jerzy Syrowiecki

есть @graninas, который не только хотел, но и сделал много интересных ФП библиотек на С++

Спасибо. Экспериментальных, надо заметить

15:30пожаловаться #4

den_po in fprog_spb

про Александра я знаю. но тот чатик всё равно странный

15:31пожаловаться #5

Alexander Tchitchigi... in fprog_spb

@categories_plusplus что ли?

15:35пожаловаться #6

den_po in fprog_spb

да, оно

15:36пожаловаться #7

Jerzy Syrowiecki in fprog_spb

Leyλa

@cblp_su м?

то есть нет. не в этот раз. спасибо за предложение!

17:39пожаловаться #8

2020 August 04

χλ

Знает ли кто-нибудь что-нибудь про Modal Type System?

Типы в языках программирования, моделирования, представления знаний и жизни

00:17пожаловаться #9

Jerzy Syrowiecki in fprog_spb

χоρоший ☽☽☽ λисuчко

Знает ли кто-нибудь что-нибудь про Modal Type System?

t.me/typeslife

Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).

STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.

00:22пожаловаться #10

χλ

Типы в языках программирования, моделирования, представления знаний и жизни

Jerzy Syrowiecki

t.me/typeslife

Ого, и для этого есть чат

00:22пожаловаться #11

χλ

А тут что?

00:22пожаловаться #12

χоρоший ☽☽☽ λисuчко

Знает ли кто-нибудь что-нибудь про Modal Type System?

Я недавно писал простецкие тайпчекер с эвакуатором для модальной теории типов Пфеннинга и ко

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

χλ

Anton Trunov

Я недавно писал простецкие тайпчекер с эвакуатором для модальной теории типов Пфеннинга и ко

Звучит интересно

00:29пожаловаться #14

WIP Modal type theory typechecker and evaluator. Contribute to anton-trunov/modal-type-theory development by creating an account on GitHub.

χоρоший ☽☽☽ λисuчко

Звучит интересно

Тут можно найти readme со ссылками на статью и заметки, а также на примеры и пр.
https://github.com/anton-trunov/modal-type-theory

GitHub

anton-trunov/modal-type-theory

00:31пожаловаться #15

χλ

WIP Modal type theory typechecker and evaluator. Contribute to anton-trunov/modal-type-theory development by creating an account on GitHub.

Anton Trunov

Тут можно найти readme со ссылками на статью и заметки, а также на примеры и пр.
https://github.com/anton-trunov/modal-type-theory

GitHub

anton-trunov/modal-type-theory

Спасибо

00:31пожаловаться #16

χλ

Anton Trunov

Я недавно писал простецкие тайпчекер с эвакуатором для модальной теории типов Пфеннинга и ко

Извиняюсь за, возможно, глупый вопрос, но что есть эвакуатор?

00:32пожаловаться #17

Пожалуйста) автоисправление, эвалуатор

00:32пожаловаться #18

Peter Sovietov in fprog_spb

А есть ли чат у мат. логиков? У меня неожиданно возник довольно простой, судя по всему, вопрос по нотации.

09:04пожаловаться #19

Peter Sovietov

А есть ли чат у мат. логиков? У меня неожиданно возник довольно простой, судя по всему, вопрос по нотации.

ФП с типами — это надмножество логик) Можно здесь спрашивать или в завтипном чате