Идрис Эльба няшка, же.

Окамль же!

>>4731439
Глаза красивые. И руки.

Haskell.

>>4731455
Идрис это хаскель с блнеджеком и зависимыми типами

>>4731469
А юзербаза у него не 3,5 человека?

>>4731455
Слишком чистый.

>>4731471
Думаю нет, правда не так много как у модного молодёжного rust.

Прочитай SICP и HTDP, если еще не. Дискретную математику, думаю, уже подтянул - приступай к Haskell, дальше можешь учить Idris и Adga.

>>4731480
Не нравится чистота, есть Data.IORef, набрасывай в код мутабельность хоть лопатой.

>>4731499
А зачем, если есть OCaml, в котором мутабельность лежит рядом?

>>4731438

> F*

Ужасно неприлично звучит! И что вы только с этими штуками делаете? Н-не то чтобы мне было интересно, но всё же!

>>4731438
C++

>>4731504
Угу в котором до сих пор нет параллельного мусоросборника и инт в котором 31 бит. Нинужен.

>>4731594
Не нужны.

>>4731595

>инт в котором 31 бит

Недополнительный код что ли? И как это сочетается с процессорами и сопроцессорами?

>>4731977

>И как это сочетается с процессорами и сопроцессорами?

Никак. Никто не говорил о старшем бите.

>>4731962
А о, что перечислено в ОП-посте, нужно, что ли?