A64m_qb0

2.5K posts

A64m_qb0 banner
A64m_qb0

A64m_qb0

@A64mQ

+RTS -A64m -AL128m -qn[cores]

letloc l^r = start(r) Katılım Nisan 2019
85 Takip Edilen376 Takipçiler
Sabitlenmiş Tweet
A64m_qb0
A64m_qb0@A64mQ·
But in a time when 50 megabytes of memory chips can be obtained for under $4000, there is less need for complex GC algorithms. Such techniques as reference-counting, ephemeral GC, closure analysis, etc., may not really be necessary now that it is possible to use massive memories.
English
0
2
30
0
A64m_qb0
A64m_qb0@A64mQ·
@ericson2314_ concept: Hoare, C.A.R. Recursive data structures. (1975). doi:10.1007/BF00976239 implementation: Feather, Martin S. “A system for developing programs by transformation.” (1979).
English
2
0
2
101
John Ericson
John Ericson@ericson2314_·
Lazy web question: Is there a paper which introduced algebraic data types? Or did the ML people just... talk to David Turner somewhere in Scotland, and by the time a Hope paper was published both languages already used it?
English
3
1
4
359
A64m_qb0
A64m_qb0@A64mQ·
@ttforall Cardone, Felice, and J. Roger Hindley. "History of lambda-calculus and combinatory logic." Handbook of the History of Logic 5 (2006): 723-817.
English
0
0
1
59
A64m_qb0
A64m_qb0@A64mQ·
Sydney (Bing) о выборе JSON-библиотеки
A64m_qb0 tweet mediaA64m_qb0 tweet mediaA64m_qb0 tweet media
0
0
4
1.2K
A64m_qb0 retweetledi
András Kovács
András Kovács@andrasKovacs6·
I added Idris 2 benchmarks: #benchmarks" target="_blank" rel="nofollow noopener">github.com/AndrasKovacs/s… It came to light that both Agda and Idris 2 had quadratic parsing, only using non-operator functions and plain definitions. The Idris parser was fixed right away in this PR: github.com/idris-lang/Idr…
English
0
3
17
0
A64m_qb0 retweetledi
Tweag by Modus Create
Tweag by Modus Create@tweagio·
There are several different ways pattern-matches can go wrong in Haskell, and so GHC offers several different warnings about faulty pattern-matches. @RaeHaskell walks us through: youtu.be/Ferh1uLXOYQ
YouTube video
YouTube
English
0
2
7
0
A64m_qb0 retweetledi
Arnaud Spiwack
Arnaud Spiwack@aspiwack·
But there are some thoughts in this direction in this paper (though I don't think that their proposed interface is quite right still) arxiv.org/abs/1807.11267… 14/14
English
1
1
0
0
A64m_qb0
A64m_qb0@A64mQ·
а, ну и сейчас уже куча людей пишут экстеншоны, которые включены по умолчанию, и которые включены другими экстеншонами, так что может и на треть не сократится даже
A64m_qb0@A64mQ

ну не знаю, насколько GHC2021 тут помогает куча полезного туда не вошло (дерайвинг, рекорды, перегрузки, лямбда-кейс и т.д.) ну на треть список сократится, но такое никто и не заметит если не сказать

Русский
0
0
0
0
A64m_qb0 retweetledi
Arnaud Spiwack
Arnaud Spiwack@aspiwack·
The expletive newtype deco-expletive-rations everywhere. This is the real meat here. Here is how you compute the sum of a list: getSum $ foldMap Sum xs or coerce $ fold @‌_ @(Sum _) xs 8/14
English
2
1
2
0
A64m_qb0 retweetledi
Arnaud Spiwack
Arnaud Spiwack@aspiwack·
But sometimes you get to define a bunch of instances which are just a little bit too complex or specialised to be derived, but still mind-numbing for a human. And, I don't know, instance declaration take a lot of visual space and it ends up being a lot of clutter. 6/14
English
1
1
0
0
A64m_qb0 retweetledi
Arnaud Spiwack
Arnaud Spiwack@aspiwack·
The silly type-class-instance block. This one doesn't happen everywhere. But most every time you define a type you have to equip it with a bunch of type-class instances. Most of them are boring. Some can be derived, when most are such, then you are good. 5/14
English
1
1
1
0
A64m_qb0 retweetledi
Arnaud Spiwack
Arnaud Spiwack@aspiwack·
The many lines of import statements. They exist for a variety of reasons. Some good, some bad. They are annoying, pollute your git diffs a lot. But they are all at the top of the file, so it's not the worst. 3/14
English
2
1
2
0
A64m_qb0
A64m_qb0@A64mQ·
ну не знаю, насколько GHC2021 тут помогает куча полезного туда не вошло (дерайвинг, рекорды, перегрузки, лямбда-кейс и т.д.) ну на треть список сократится, но такое никто и не заметит если не сказать
Arnaud Spiwack@aspiwack

The Long Litany of LANGUAGE Laments. Uh… I meant Pragmas. This one is local, easily ignored, and largely alleviated by GHC2021. 2/14

Русский
0
0
0
0
A64m_qb0 retweetledi
Matti Palli 🧙‍♂️
Matti Palli 🧙‍♂️@tritlo·
My Licentiate thesis just dropped! The seminar itself is at 15:30 CET on Jan 17th, Zoom link available upon request (to deter spammers). After that, I'll be officially halfway done! In the meantime, enjoy ☺️ mpg.is/papers/gissura…
Matti Palli 🧙‍♂️ tweet media
English
7
20
120
0
A64m_qb0 retweetledi
Denis Moskvin, ανεπιθύμητος ξένος πράκτορας
Denis Moskvin, ανεπιθύμητος ξένος πράκτορας@deniok·
Я считаю, что пора прекратить делать идиотские переводы и заимствовать слова парсер, преттипринтер и тайпчекер. И пруфчекер заодно. Хотя бы для использования в профессиональной литературе.
Русский
3
4
19
0
A64m_qb0 retweetledi
Jackson Davis
Jackson Davis@jcdavis·
When the new grad asks why I haven’t review their terrifying PR yet
Jackson Davis tweet media
English
0
1
16
0
A64m_qb0 retweetledi
Csaba Hruska
Csaba Hruska@csaba_hruska·
My next goal is to upstream External STG to GHC. It will make the External STG Interpreter super easy to use.
English
0
4
38
0

Keşfet

@ericson2314_ @ttforall @RaeHaskell @aspiwack @Iceland_jack @_ @elonmusk @BarackObama