大约有 43,000 项符合查询结果（耗时：0.0643秒） [XML]
Why not be dependently typed?
I have seen several sources echo the opinion that "Haskell is gradually becoming a dependently-typed language". The implication seems to be that with more and more language extensions, Haskell is drifting in that general direction, but isn't there yet.
...
What are the differences between NP, NP-Complete and NP-Hard?
What are the differences between NP , NP-Complete and NP-Hard ?
11 Answers
11
...
Does Haskell require a garbage collector?
I'm curious as to why Haskell implementations use a GC.
8 Answers
8
...
Extract first item of each sublist
I am wondering what is the best way to extract the first item of each sublist in a list of lists and append it to a new list. So if I have:
...
Python str vs unicode types
Working with Python 2.7, I'm wondering what real advantage there is in using the type unicode instead of str , as both of them seem to be able to hold Unicode strings. Is there any special reason apart from being able to set Unicode codes in unicode strings using the escape char \ ?:
...
Is there a way to create multiline comments in Python?
I have recently started studying Python , but I couldn't find how to implement multi-line comments. Most languages have block comment symbols like
...
Avoid browser popup blockers
I'm developing an OAuth authentication flow purely in JavaScript and I want to show the user the "grant access" window in a popup, but it gets blocked.
...
Constructor in an Interface?
I know it's not possible to define a constructor in an interface. But I'm wondering why, because I think it could be very useful.
...
In Git, how can I write the current commit hash to a file in the same commit
I'm trying to do a fancy stuff here with Git hooks, but I don't really know how to do it (or if it's possible).
7 Answers
...
Storing time-series data, relational or non?
I am creating a system which polls devices for data on varying metrics such as CPU utilisation, disk utilisation, temperature etc. at (probably) 5 minute intervals using SNMP. The ultimate goal is to provide visualisations to a user of the system in the form of time-series graphs.
...