M
А ну не ты первый придумал
Size: a a a
2020 May 09
G
а то я сижу и как баран смотрю на формулу как на новые ворота
G
так бы запустил и сразу понял
M
Ябл подобное хотел толкать вроде даже стандарты и тд изобрели
M
Но трабла в инструментах и кодинге
M
Хот по биологии есть книжка прикольная
M
Там можно клетку видами резать
M
Смотреть че внутри
GK
хочу чтобы в мат книгах формулы писали на языке программирования чтобы можно было тупо на своем пк запустить и поиграться, будет намноооого легче понять что автор имеет ввиду
У Сассмана (который автор SICP) есть пара таких книжек: по механике и что-то по математике, где вместо формул используется scheme :)
M
А ну не плохо
M
Ну я бы всеравно выбрал что то си подобное
M
Конечно подкупает идея использовать хаскель в виду того что он прям хорошо для матана
M
Но я бы наверное отдал предпочтение питону
G
почему не использовать Coq
G
он же для этого и создан
ED
void* —
ED
𝐦
Классные стикеры)