*programming

4da 09.02.2012 08:59

Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cu...

Теперь система типов может таскать размер с массивом, помимо его типа.
Интерес, конечно, скорее теоретический, нежели практический.

programming, fp, shen, math
#oiheft
readd comment
4da 03.02.2012 13:23

GHC 7.4 вышел
http://www.haskell.org/ghc/docs/7.4.1/ht...

programming, haskell
#oionfi
readd comment
4da 26.01.2012 15:09

Хорошая презенташка:
Pragmatic FP with Haskell
http://code.haskell.org/~dons/talks/padl...

programming, haskell
#ofeinz
readd comment
4da 25.01.2012 11:02

/...Однажды в Борланде я спросил Паоло, который занимался обеспечением локализации джейбилдера, и был большой фанат динамических языков, из которых в Борланде был известен только перл, мол, Паоло, не западло, будучи таким фанатом динамических языков, посвящать свои дни пропаганде статического? Паоло сказал — я ... more →

прекрасное, programming, win
#ofetfe
re1 comment
Do you really want to delete ?

*programming is used by:

Hirthwork McGillah

hirthwork

0xd34df00d

0xd34df00d

analizer

analizer

4DA

4da

Mагог Магогович

magog

Minoru

Minoru

gelraen

gelraen

kb

kb

lexszero

lexszero

Cthulhu

Cthulhu

RainerGomes

RainerGomes

desperate donkey

odin

dorfe

dorfe

beardog

beardog

16+

238328

Darth Bricktop

Like-all

Monah Tuk

hatred

jabber

jabber

lovesan

lovesan

Ky6uk

Ky6uk

Apepe Devil

Apepe

Evgeny I. E. Omelchenko

Elemir

Octocat

octocat

Sectoid

Sectoid

Джордж Ричмонд

richmond

asmer

asmer

chemikadze

chemikadze

Crazy_Owl

Crazy_Owl

Вона блює і співає.

ruda

Rejjin

Rejjin

Myp

Myp

der_FeniX

der_FeniX

ClanMax

ClanMax

ʎǝuoɥǝʞɐus

snakehoney

SetazeR

setazer

mva

mva

Michael Pogoda

MPogoda

K900

K900

anonymous_owl

anonymous_owl

Amberize

Amberize

Kakadu

Kakadu

Александр Марков

komar

13oz

13oz

svtk

svtk

Смерть Неизбежна

lHooFool

Marisa Waller

Marisa

Хотеть!

xotetb

sayafag

Проба оперения

17eyes

skyw00lf

skyw00lf

Amparo Dios

AmparoDios

Ствол

Dulo_T-34

Kirsche

Kirsche

DOMr

DOMr

Bender Bending Rodríguez

DJm00n

nexeuse

nexeuse

Артс

arts

psymatic

psymatic

Spiritual ecstasy

rapture

няша

generatorglukoff

Maxim Kirenenko

part1zano

taras

taras

профессиональный говноед

ulidtko

ascrazy

ascrazy

Johan

johan

oberon86

oberon86

nstm0

nstm0

Softovick

Softovick