3,612 reputation
21545
bio website connjur.uchc.edu
location Connecticut, USA
age 27
visits member for 2 years, 5 months
seen 2 hours ago

I work in a scientific computing group on the CONNJUR project, providing open-source software for NMR (Nuclear Magnetic Resonance) spectroscopy.

Check out some of my work on github:

  • NMRPyStar: an API for accessing archived NMR data files in the NMR-Star format used by the BMRB.

  • Miscue-js: validation of JSON files to deal with obnoxious and tricky interoperability issues such as number overflows and duplicate keys

Some technologies that I've used and like:

  • Python
  • git
  • Javascript
  • Haskell
  • Java
  • MySQL

Feb
19
answered In functional programming how does one achieve modularity through mathematical laws?
Feb
6
awarded  Enlightened
Feb
6
awarded  Nice Answer
Feb
5
comment Limitations of UML?
1 ... 2 ... 3?? Wait a second!!?? :)
Feb
2
awarded  Nice Question
Jan
31
revised What is the name of the functional argument in fold
oops, the traversable examples are not quite the same.
Jan
31
revised What is the name of the functional argument in fold
added 6 characters in body
Jan
31
awarded  Revival
Jan
31
answered What is the name of the functional argument in fold
Jan
28
comment Returning different types from one function in a dynamically typed language
What is the purpose of "But in a dynamically typed language, there may not even be a compiler."? I don't see how that's relevant to the question.
Jan
22
comment Why is inheritance only defined at compile-time?
It's not really correct to say that "there's no compilation in Javascript". Plus, it's pretty vague -- perhaps it's intended to mean that there's no static type-checking?
Jan
22
comment Why is inheritance only defined at compile-time?
Am I reading it wrong, or is this a circular argument? "Inheritance is only defined at compile time" because "in languages like C#, you can create an inheritance hierarchy at compile time"?
Jan
22
comment Why is inheritance only defined at compile-time?
s/strong/static/
Jan
20
comment Example of a javascript app using immutable data structures?
While it's a good point, this isn't an answer.
Dec
19
comment What are the safety benefits of a type system?
Typical static type systems reject many well-typed programs by design. (an alternative) (BTW, my criticism was only directed at the 3rd and 4th paragraphs.)
Dec
19
awarded  Popular Question
Dec
13
comment Are all scripting languages dynamically typed?
I actually think the Wikipedia article does a good job of illustrating the general confusion around the issue: "In principle any language can be used as a scripting language", "The term 'scripting language' is also used loosely to refer to [...]"; "[...] hence the ambiguity about whether a language 'is' a scripting language [...]", "A scripting language can be viewed as a [...]". (emphasis mine). A lot of vague words used there.
Dec
13
comment Are all scripting languages dynamically typed?
@user61852 that's a bit silly, isn't it? The problem here is that we don't have an objective, technical definition of "scripting language".
Dec
13
comment Are all scripting languages dynamically typed?
Many people use "scripting language" to mean "language that I don't like, for whatever reason" or "language whose type system I don't like". Please clearly define the term "scripting language" and give examples. (interesting article)
Dec
12
comment What are the safety benefits of a type system?
This sells dynamic typing short, failing to mention its primary benefits (the ones mentioned are handy by relatively unimportant). It also seems to imply something strange about unit tests -- yes, they're hard to do and have a cost, and that applies to statically-typed languages as well. What is this trying to say? It also fails to mention the limitations (by design) of current type systems, both in what they can express and in what errors they can catch.