Телеграмм чат группы rust_offtopic страница 9911

https://repl.it/@Pzixel/NormalLowCopyleft

repl.it

NormalLowCopyleft

Repl.it is a simple yet powerful online IDE, Editor, Compiler, Interpreter, and REPL. Code, compile, run, and host in 50+ programming languages: Clojure, Haskell, Kotlin (beta), QBasic, Forth, LOLCODE, BrainF, Emoticon, Bloop, Unlambda, JavaScript, CoffeeScript, Scheme, APL, Lua, Python 2.7, Ruby, Roy, Python, Nodejs, Go, C++, C, C#, F#, HTML, CSS, JS, Rust, Swift, Python (with Turtle), R, Bash, Quil, Crystal, Julia, Elixir, Nim, Dart, Reason NodeJs, Erlang, TypeScript, Pygame, Love2D, Tkinter, Java Swing, Emacs Lisp (Elisp), PHP Web Server, SQLite, Java, PHP CLI, Pyxel

О, отлично спс. Я как-то так норм решение и представлял, но с foldr запутался.

16:59пожаловаться #1

фолды наше всё

Фолд в Идрис не работает часто из-за зав. типов, ахаха

16:59пожаловаться #2

Или сложный тип пиши, да

16:59пожаловаться #3

Вафель in rust_offtopic

Gymmasssorla

Не будем спорить, будем читать пост Антона о перегрузке

Какой?

17:01пожаловаться #4

polunin.ai in rust_offtopic

исключение это то же что бесконечнео время работы - боттом

Тогда чистая функция является тотальной одновременно?

17:01пожаловаться #5

Но в моей задаче фолд пригоден, т.к. списки без зав. части

17:01пожаловаться #6

polunin.ai

Тогда чистая функция является тотальной одновременно?

Когда она одновременно чистая и тотальная))) хз

17:02пожаловаться #7

polunin.ai

Тогда чистая функция является тотальной одновременно?

любая тотальная функция чистая, наоборот вроде нет

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

хотя нет наверное

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

на самом деле грязные тотальные функции это что-то странное

17:03пожаловаться #10

polunin.ai in rust_offtopic

Gymmasssorla

Когда она одновременно чистая и тотальная))) хз

Ссылочно прозрачная функция - та для которой выходные данные ссылочно прозрачны. А если выходных данных нет, то значит и ссылочной прозрачности нет

17:03пожаловаться #11

хотя нет наверное

Почему нет? Сисколлы же нечистые

17:04пожаловаться #12

но вообще

fn foo() -> i32 {
   static mut COUNTER: i32 = 0;
   unsafe {
      COUNTER += 1; // с переполнением
   }
   COUNTER
}

По идее грязный тотальный

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

polunin.ai in rust_offtopic

Пр попытке обращения к каунтеру не может возникнуть состояния гонки в рантайме?

17:04пожаловаться #14

polunin.ai

Пр попытке обращения к каунтеру не может возникнуть состояния гонки в рантайме?

скорее всего возникает, поэтому ансейф

17:05пожаловаться #15

по это не сильно важно

17:05пожаловаться #16

просто как пример

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

17:05пожаловаться #18

http://degoes.net/articles/easy-monads

John A De Goes

A Beginner-Friendly Tour through Functional Programming in Scala

An educational experiment that strips away jargon and develops some functional machinery from first-principles

17:06пожаловаться #19

вообще 3 разных свойства разделяют: тотальность, детерминированность и чистоту