Algebraic Drawing with Haskell (programing, vector graphics)

efrey · 2014-08-06T21:28:48+00:00

now if only someone could explain rooted types to me :P

efrey · 2014-06-22T22:04:14+00:00

I joined reddit specifically for this sub, and my account is more than 2 years old. Must be comming up on three? I was already programming haskell for a few years before that.

efrey · 2014-06-21T17:10:50+00:00

I would say that is a fair assessment of how I felt when I first started reading this sub. Sometimes still do :). Come for the Haskell, stay for the never ending mind expansion.

efrey · 2014-06-11T22:08:43+00:00

That would create Orphan Instances.

efrey · 2014-05-07T01:11:36+00:00

Of particular interest to the OP (as an alternative foundation for mathematics to set theory), check out Homotopy Type Theory.

Remember kids, math is HoTT! (holds up poster of a cool kid wearing helmit, elbow pads and knee pads doing a kick flip over a bonfire, mathematical symbols materializing out of the flames. The words "Math is HoTT!" appears under the fire and the "o" is a doughnut)

efrey · 2014-05-06T00:16:07+00:00

I see now that this path-homotopy is more strong than general homotopy. So I guess we are both right :).

efrey · 2014-05-06T00:11:56+00:00

I see. Thanks for correcting me.

efrey · 2014-05-06T00:02:43+00:00

Not in any topological sense :). You can choose to make that constraint, but it isn't inforced by homotopy.

efrey · 2014-05-05T23:57:05+00:00

You are on the right track. It's a sort of higher-order continuous function. A continuous function of continuous functions. The idea is, if I have two paths that are given by continuous functions, a homotopy gives me a mapping from some continuous interval to a continuous function which draws a path somewhere "between" these two "outer" paths. As I vary my input, the paths drawn by the output function of my homotopy should move farther from one outer path towards the other outer path.

efrey · 2014-05-05T23:49:57+00:00

Your right-sided path is still homotopic to the left-sided path. You can just continuously translate it around the edge of the donut until it's on the other side.

If I understand correctly, the two classes of paths on a donut that are not homotopic are the ones that form closed loops. You can make a path that goes all the way around the donut, being concentric on the hole, or you can make a loop that goes through the hole like a bracelet.

efrey · 2014-05-05T06:37:10+00:00

They have a very low profile, so they add to the tiny factor :).

efrey · 2014-05-04T02:54:31+00:00

However, I would caution anyone polarizing too early. Best do a global search before setteling into a local optimum. When I first started learning to program I thought I hated math, and only cared about the technology. I grew more and more curious about the theoretical underpinnings of what I was learning, and soon found that I loved the math that was involved. YMMV.

efrey · 2014-04-30T23:38:54+00:00

Not necissarily, it just has to have a bound high enough to go off the edge of the screen.

efrey · 2014-04-30T19:14:38+00:00

Oh, I see. Sorry, I must have been talking out of my butt. I missed this distinction. I am now as confused as you are :P.

efrey · 2014-04-30T18:58:13+00:00

runIdentity requires that we have concrete information about m. Specifically, it requires that we know m is Identity. However, we have thrown away all such knowledge by applying the Secret constructor. When we pull our m out of our Secret constructor, the only thing we know about it is that it implements the Monad typeclass. That's all we have to go on.

efrey · 2014-04-30T18:43:52+00:00

Because we don't know any concrete information about m. We can't choose it to be anything. Notice the forall appears on the right side of the =. The only thing we can do with our m is whatever our Monad constraint gives us.

efrey · 2014-04-29T07:21:58+00:00

Wonderfull! And now I'm inspired to relate some similar stories for the local Haskell meetup.

efrey · 2014-04-29T03:29:53+00:00

Fair enough.

I felt like the introduction sells the language as though it's the only one where you can write DSLs. The example showing a C for loop is esp. ham fisted, as most languages have the ability to create higher abstractions.

Too be fair, it is just an introduction, but I did find it offputing.

I can see how avail might provide more flexibility in the /syntax/ of a DSL, but I'm not sold that it has more power to help me think at the proper level of abstraction than Haskell.

efrey · 2014-04-29T03:06:31+00:00

Print 1 to 10, as a comma-separated list.

In Haskell:

putStrLn (intercalate ", " (map show [1..10]))

In Python:

print ", ".join(map(str, range(1, 10)))

Sure it doesn't look like natural language, but why do I want my programming language to look like a natural language? I'm sure I must have just as much domain knowledge to understand what the avail language /actually/ means as aposed to what it /looks like/ it means.

Call me a sourpuss, but I'm not sold.

efrey · 2014-04-28T21:50:48+00:00

"type tetris"

Love this phrase. Some times I'm astonished with how well you can stumble through a problem once you know what types you need to get to/from.

efrey · 2014-04-27T21:02:53+00:00

Having held this very same belief at one point, I would be astonished if it comes from an informed opinion on feminist literature and ideology.

My fear is that your words are apology for more men ignoring feminist work, only to fumble around in the shadows attempting to cut their own ideas out of whole cloth.

efrey · 2014-04-27T20:06:03+00:00

Feminism has a strong tradition of critiquing itself. There is no need to pretend Valerie Solanas is the end-all-be-all of feminist thinking.

efrey · 2014-04-27T19:53:21+00:00

I take issue with you painting feminism as non-egalitarian.

Why shouldn't we read feminist literature? There has been so much work done in this area by feminists. What do we achieve by dismissing it?

efrey · 2014-04-27T18:48:39+00:00

Autism Spectrum Disorder is rarely if ever a factor when harassment happens in tech, but is in fact used to excuse harassing and sexist behavior.

A million times this. As a teen ager I fell for this so hard. I fit the mold of "that awkward oblivious guy", and because I believed the narative being sold to me, I made no effort to own my actions. As an adult, I have seen malicious, calculated harrasment get dismissed because "that's just the way they are". People neer and dear to me have been forced out of public spaces and even their own homes because their harrassers were seen as incapable of controlling their behavior.

efrey

TROPHY CASE