#haskell - Sat 24 Mar 2007 between 00:00 and 00:05

NY Lost Funds



Philippaddarius: I know. Lennart suggested it at the last FitA, too
ddariusThat could get very evil... and entertaining.
edwardki still want overloadable application, so you can make things like [1..] 5 make sense or use function application syntax to dereference array elements
Philippayeah, rebinding it to something involving unsafePerformIO would be a great way to break cow-orkers' heads
donsdcoutts: seems like chsingBottoms is yours to play with now.
dcouttsdons: aye, so it seems
ddariusPhilippa: We have that to an extent with mdo
dcouttsdons: and ndm thinks Collin isn't much interested in SmallCheck
Philippayeah, except most of the neat uses I can think of involve something that isn't a monad
edwardki admit though that i'll never get my particular wish in haskell though
sorearedwardk: I want that one too
actionddarius enjoys chasing bottoms.
ddariusenjoys chasing bottoms.
Philippabecause involving a monad means you can't do assorted nifty tricks without running into the halting problem
you chase, I'll catch?
edwardksorear: still juggling some typing issues its causing in my toy compiler =)
donsdcoutts: right.
CaleThe *real* problem with developing an alternate prelude isn't that it's impossible to rebind the syntax.
ddariusI've caught enough...
edwardkthe real problem with the prelude is inertia
CaleIt's that the entirety of fptools has to be recompiled against your new prelude for it to be useful.
ddariusI meant mdo with Identity would essentially allow it, no?
donsCale: well, you can provide your own base
and your own Prelude, with -fno-implicit-prelude
dcouttsedwardk: I know the mathematicians love that kind o thing, but they have the advantage of having a syntactical context, if you're in one area of mathematics you can have syntax mean something different to another area without having to unify them in a single (type) system.
CaleThat's true
donsyou just ignore the existing base package
edwardkso what is a good name for a functor with return?
dcoutts: yeah
Caleedwardk: pointed functor
sorearI'm going to keep base, just ditch the prelude.
edwardkmaybe just "Pointed" to keep the class name short?
donssorear: dive in. dcoutts and i've rewritten the entire list package the last two weeks, you could do the same.
sorearsplit it up and move the pieces into meaningfully named modules.
donsless talk, more code!
soreardons: good idea.
dcouttsedwardk: so although you can make sense of [1..] 5, it'll confuse the hell out of everyone else when they type that by mistake :-)
Philippasorear: most of the pieces're already in other modules anyway
edwardkdcoutts: heh
CaleI still want a Prelude which gets imported by default when I don't import any modules.
edwardki really do like it for array accesses and things like that, the list case is just an example

Page: 2 9 16 23 30 37 44 51 58 65 72 

IrcArchive

NY Lost Funds